2019-05-17 12:29:03 +00:00
|
|
|
{{ toctree(includehidden=theme_sidebar_includehidden, collapse=theme_sidebar_collapse) }}
|
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 %}
|