diff --git a/docs/source/mjtheme/layout.html b/docs/source/mjtheme/layout.html index 4f35f6209..2fcb27dd7 100644 --- a/docs/source/mjtheme/layout.html +++ b/docs/source/mjtheme/layout.html @@ -145,7 +145,55 @@ {%- block extrahead %} {% endblock %} -
+
+ {%- block header %}{% endblock %} {%- block relbar1 %}{{ relbar() }}{% endblock %} diff --git a/docs/source/mjtheme/page.html b/docs/source/mjtheme/page.html index 362f2347e..33c41b808 100644 --- a/docs/source/mjtheme/page.html +++ b/docs/source/mjtheme/page.html @@ -9,59 +9,6 @@ #} {% extends "layout.html" %} -{% block header %} - -{% endblock %} - {% block body %} {{ body }} {% endblock %}