{# This block should set html_title appropriately -#} {% block title %} {% endblock title -%}
{{ html_title | default(value=config.title) | safe }}
{#TODO: only generate this for the home page #}
<
/
> htm
x
{% if page and page.path is starting_with("/examples") %}
{% else %}
{% endif %}
docs
reference
examples
talk
essays
Search
Star
{% if page and page.extra and page.extra.custom_classes %} {% set disp_classes = page.extra.custom_classes %} {% else %} {% set disp_classes = "" %} {% endif %}
{% block content %} {% endblock content -%}