2018-10-27 12:41:35 +02:00
|
|
|
<br style="line-height:16px">
|
|
|
|
<h3>{{ _('Navigation') }}</h3>
|
|
|
|
{{ toctree(includehidden=theme_sidebar_includehidden, collapse=theme_sidebar_collapse) }}
|
|
|
|
{% if theme_extra_nav_links %}
|
|
|
|
<hr />
|
|
|
|
<ul>
|
|
|
|
{% for text, uri in theme_extra_nav_links.items() %}
|
|
|
|
<li class="toctree-l1"><a href="{{ uri }}">{{ text }}</a></li>
|
|
|
|
{% endfor %}
|
|
|
|
</ul>
|
|
|
|
{% endif %}
|
2019-11-29 16:26:39 +01:00
|
|
|
<hr />
|
|
|
|
<ul>
|
|
|
|
<li class="toctree-l1"><a href="{{pathto('genindex.html', 1)}}">Index</a></li>
|
|
|
|
</ul>
|