vertical" data-spy="affix" role="navigation" aria-label="main navigation">
    {% if not (logo and theme_logo_only) %}
      <a href="{{ pathto(master_doc) }}">Home</a>
    {% endif %}

    {% block menu %}
      {% set toctree = toctree(maxdepth=4, collapse=theme_collapse_navigation, includehidden=True) %}

      {% if toctree %}
        {{ toctree }}
      {% else %}
        <!-- Local TOC -->
        <div class="local-toc">{{ toc }}</div>
      {% endif %}
    {% endblock %}
  </div>

  <div role="conten