{# This manages paradigm layouts, which all have a table structure and are more or less simple to render. #} {% block template_doc %}{% if TEMPLATE_DOC %} Customizations: - remove full paradigm link {% endif %}{% endblock %} {% if layout %} {# when this appears the second time in the mobile style, the IDs are different #} {% set multiple_types = layout|length > 1 %} {% set use_dropdown = layout|length > 3 %} {# Construct the navigation menu when there are multiple paradigm types generated for this entry. #} {# TODO: if there are tons of tabs need a different UI, dropdown? #} {{ mobile_layout_index }} {% if multiple_types %} {% if use_dropdown %}
{% else %} {% endif %} {% endif %}{{ layout_desc }}
{% endif %}