diff options
Diffstat (limited to 'doc/_themes/sphinx13/layout.html')
| -rw-r--r-- | doc/_themes/sphinx13/layout.html | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/doc/_themes/sphinx13/layout.html b/doc/_themes/sphinx13/layout.html index f6f858a57..afab3693b 100644 --- a/doc/_themes/sphinx13/layout.html +++ b/doc/_themes/sphinx13/layout.html @@ -32,15 +32,15 @@ {%- block content %} <div class="document"> <div class="sphinxsidebar" role="navigation" aria-label="main navigation"> - {%- include "searchbox.html" %} - <div> - <h3>{{ _('Contents') }}</h3> - {%- if pagename != "index" %} + {%- include "searchbox.html" %} + <div class="sphinxsidebar-navigation__contents"> + <h3>{{ _('On this page') }}</h3> {{ toc }} - {%- else %} - {{ toctree(includehidden=True, maxdepth=3) }} - {%- endif %} - </div> + </div> + <div class="sphinxsidebar-navigation__pages"> + <h3>{{ _('Site navigation') }}</h3> + {{ toctree(includehidden=True, maxdepth=3, titles_only=True) }} + </div> </div> {%- block document %} <div class="body" role="main"> |