{% extends "page.html" %}

{% block toc %}{% endblock toc %}