+ <a href="{{ pathto(master_doc) }}" class="icon icon-home"> {{ project }}
+ {% endif %}
+
+ {% if logo %}
+ {# Not strictly valid HTML, but it's the only way to display/scale it properly, without weird scripting or heaps of work #}
+ <img src="{{ pathto('_static/' + logo, 1) }}" class="logo" />
+ {% endif %}
+ </a>
+
+ {% if theme_display_version %}
+ {%- set nav_version = version %}
+ {% if READTHEDOCS and current_version %}
+ {%- set nav_version = current_version %}
+ {% endif %}
+ {% if nav_version %}
+ <div class="version">
+ {{ nav_version }}
+ </div>
+ {% endif %}
+ {% endif %}
+
+ {% include "searchbox.html" %}
+
+ {% endblock %}
+ </div>
+
+ <div class="wy-menu wy-menu-vertical" data-spy="affix" role="navigation" aria-label="main navigation">
+ {% 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 %}