{% extends "base.html" %} {% block extrahead %} {{ super() }} {% endblock %} {% block announce %} {% endblock %} {% block scripts %} {{ super() }} {% endblock %} {% block htmltitle %} {% if page and page.toc is defined and page.toc.items is defined and page.toc.items %} {% set page_specific_title = page.toc.items[0].title %} {% elif page %} {% set page_specific_title = page.title | striptags %} {% else %} {% set page_specific_title = "" %} {% endif %} {%- if page_specific_title -%} {{ page_specific_title }} - {{ config.site_name }} {%- else -%} {{ config.site_name }} {%- endif -%} {% endblock %}