{% include "head.html" %}
{{ config.label_theme }} {% for theme in config.themes %}
{% endfor %}
{% if config.sponsor_url %} {% endif %} {{ config.label_about }}

{{ config.title }}

{{ config.subtitle }}

{% for item in top_level %} {% if item.has_submenu %} {% else %} {% endif %} {% endfor %}
{% for filter_name, filter_info in filters.items() %}
{% for option in filter_info.options %} {% endfor %}
{% endfor %}
{{ config.label_pick_category }}
{% if config.done_html %} {% endif %}
{% if config.layout == "enriched" %} {% endif %}

{# A category landing page says, in the markup, which category it is and what is in it. The game above is all JavaScript state, so this is the only part of the page a crawler can read — and the item names are what people search for. The list is closed: those names are the answers. #} {%- if category %}

{{ category.label }}

{%- if category.intro %}

{{ category.intro }}

{%- endif %} {%- if category.names %}
{{ config.label_contents }} ({{ category.count }})

{{ category.names | join(' · ') }}{% if category.hidden %} …{% endif %}

{%- endif %}
{%- endif %} {% for footer_id, footer_html in config.footers.items() %} {% endfor %} {%- if category_index %} {%- endif %}
{{ version }}
{% if config.analytics_html %} {{ config.analytics_html | safe }} {% endif %}