diff --git a/docs/_templates/layout.html b/docs/_templates/layout.html --- a/docs/_templates/layout.html +++ b/docs/_templates/layout.html @@ -16,6 +16,27 @@ {% endblock %} + +{# copied from sphinx_rtd_theme/layout.html, with the extra System Administration link #} +{%- block menu %} + {%- set toctree = toctree(maxdepth=theme_navigation_depth|int, + collapse=theme_collapse_navigation|tobool, + includehidden=theme_includehidden|tobool, + titles_only=theme_titles_only|tobool) %} + {%- if toctree %} + {{ toctree }} + {%- else %} + +
{{ toc }}
+ {%- endif %} + +
+ + +{%- endblock %} + {% block content %}