{%- block sidebarsearch %}
{%- include "searchbox.html" %}
{%- endblock %}

{%- block menu %}
  {%- set toctree = toctree(maxdepth=theme_navigation_depth|int,
                            collapse=theme_collapse_navigation|tobool,
                            includehidden=theme_includehidden|tobool,
                            titles_only=theme_titles_only|tobool) %}
  {%- if toctree %}
    {{ toctree }}
  {%- else %}
    <!-- Local TOC -->
    <div class="local-toc">{{ toc }}</div>
  {%- endif %}
{%- endblock %}