2020-06-17 10:30:05 +00:00
|
|
|
{{ toctree(includehidden=theme_sidebar_includehidden, collapse=true) }}
|
2019-04-23 18:55:23 +00:00
|
|
|
{% 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 %}
|