diff --git a/docs/_layouts/docs.html b/docs/_layouts/docs.html index 3e0e4ccce2..b8a2a73d12 100644 --- a/docs/_layouts/docs.html +++ b/docs/_layouts/docs.html @@ -12,14 +12,7 @@ {% include nav-home.html %} - - -
+
{% include nav-docs.html %}