{% extends "!layout.html" %} {% block extrahead %} {% endblock %} {% block sidebartitle %} {%- set _logo_url = logo_url|default(pathto('_static/' + (logo or ""), 1)) %} {% if not theme_logo_only %}{{ project }}{% endif %} {%- if logo or logo_url %} {%- endif %} {%- if theme_display_version %} {%- set nav_version = release %} {%- if nav_version %}
{{ nav_version }}
{%- endif %} {%- endif %} {% include "searchbox.html" %} {% endblock %} {% block menu %} {# The singlehtml builder doesn't handle this toctree call when the toctree is empty. Skip building this for now. #} {% if 'singlehtml' not in builder %} {% set global_toc = toctree(maxdepth=theme_navigation_depth|int, collapse=theme_collapse_navigation|tobool, includehidden=theme_includehidden|tobool, titles_only=theme_titles_only|tobool) %} {% endif %} {{ project }} {% if global_toc %} {{ global_toc }} {% else %}
{{ toc }}
{% endif %} {% endblock %}