         {{ nav_version }}
                </div>
              {% endif %}
            {% endif %}

            {% include "searchbox.html" %}

            {% endblock %}
          </div>

          {% 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=1,
                       