{# -*- engine: jinja -*- #} {% extends "base.html" %} {% block html_title %}{{filename}} - {{info.head}}{% endblock %} {% block breadcrumb %}Index/{{filename | replace("/", " / ")}}{% endblock %} {% block sidebar_tree %} {# Show current file in sidebar #}
← Back to Index
{{filename}}
{% endblock %} {% block summary %} {% include "source_page.summary.html" %} {% endblock %} {% block content %} {% include "source_page.content.html" %} {% endblock %}