{% extends "!layout.html" %} {% block extrahead %} {% 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, includehidden=True) %} {% endif %} {% if global_toc %} {{ global_toc }} {% else %}