{% set page_title = 'Source coverage' %} {% extends "base.jinja.html" %} {% block head_css %} {{ super() }} {% endblock head_css %} {% block title %}{{ page_title }}{% endblock title %} {% block viewtype %}coverage-tree-view{% endblock %} {% block layout_nav %} {# {% include "_shared/doc_nav.jinja.html" %} #} {% endblock layout_nav %} {% block aside_header_content %} {# {% include "_shared/aside_header.jinja.html" %} #} {% endblock aside_header_content %} {% block aside_content %} {% include "_shared/nav.jinja.html" %} {% endblock aside_content %} {% block header_content %}

{{ page_title }}

{% endblock header_content %} {% block content %} {# {% for source_file in document_tree.source_tree.source_files %} {{ source_file.in_doctree_source_file_rel_path }} {% endfor %} #}
{%- endfor -%} {%- endif -%} {%- endfor -%}
{% endblock content %}