diff --git a/docs/_includes/header.html b/docs/_includes/header.html new file mode 100644 index 00000000..69d2321a --- /dev/null +++ b/docs/_includes/header.html @@ -0,0 +1,18 @@ + + +
+

{{ site.title }}

+
diff --git a/docs/_includes/navbar.md b/docs/_includes/navbar.md deleted file mode 100644 index 5959b991..00000000 --- a/docs/_includes/navbar.md +++ /dev/null @@ -1,81 +0,0 @@ -{% raw %} - -{% endraw %}