diff --git a/docs/_includes/github-corner.html b/docs/_includes/github-corner.html new file mode 100644 index 00000000..d98d33ad --- /dev/null +++ b/docs/_includes/github-corner.html @@ -0,0 +1,27 @@ + + + diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html index b47ebdf8..f3f9c3f0 100644 --- a/docs/_layouts/default.html +++ b/docs/_layouts/default.html @@ -20,6 +20,8 @@
Skip to the content. + {% include github-corner.html %} +