{% endblock %}
{% comment %}TODO: There is a problem with the context tags which update context only in their
blocks, so actually the tag must be rendered twice, one for content and one for TOC
menu{% endcomment %}
{% block context_menu %}{% document_context page_instance %}
{% if document_toc %}
{% trans "Table of content" %}
{{ document_toc }}
{% endif %}
{% with document_navigation as tree_descendants %}
{% if tree_descendants %}