{% if theme_home_link != 'hide' %} {{ project }} {% endif %} {% if logo_url %}
{% endif %}
{% if theme_search != "hide" %} {%- include "searchbox.html" %} {% endif %}
{% block menu %} {% set toctree = toctree(maxdepth=2, collapse=False, includehidden=True) %} {% if toctree %} {{ toctree }} {% else %}
{{ toc }}
{% endif %} {% endblock %}