diff --git a/docs/_layouts/main.html b/docs/_layouts/main.html index 6f0bab15..ace80b37 100644 --- a/docs/_layouts/main.html +++ b/docs/_layouts/main.html @@ -5,6 +5,7 @@ {{ site.title }}{% if page.title %} | {{ page.title }}{% endif %} + {% include header.html %} diff --git a/docs/_layouts/page.html b/docs/_layouts/page.html index e7005d0a..980b6c14 100644 --- a/docs/_layouts/page.html +++ b/docs/_layouts/page.html @@ -2,10 +2,15 @@ layout: main --- -