{% extends "base.html" %}
{% block extrahead %}
{#- Material links theme.favicon without a type. Declare the SVG explicitly,
add a PNG for browsers without SVG favicons (Safari before 26), and an
opaque touch icon, which Safari otherwise looks for at the site root. -#}
{#- The logo mark (docs/stylesheets/extra.css) animates on the first page of
a visit, and on the page a click on it leads to; on every other page it
is at rest. Inline in the head, so that it runs before the first paint. -#}
{% endblock %}
{% block tabs %}
{{ super() }}
{#- The observation under the active tab drops in when the section changes,
not on every page of it. Right after the tabs, before they are painted. -#}
{% endblock %}