{% extends "base.html" %} {% if project == 'SQL 99' %} {% set extra_script_files = [ '_static/language_data.js', '_static/searchtools.js', ] %} {% else %} {% set extra_script_files = [ '_static/language_data.js', ] %} {% endif %} {% if page_source_suffix %} {% set suffix = page_source_suffix %} {% else %} {% set suffix = source_suffix %} {% endif %} {%- block doctype -%} {%- endblock %} {%- block extra_head %} {% endblock %} {%- block scripts %} {{ super() }} {%- endblock %} {# Silence the sidebar's, relbar's #} {% block header %}{% endblock %} {% block relbar1 %}{% endblock %} {% block relbar2 %}{% endblock %} {% block sidebarsourcelink %}{% endblock %} {%- block content %} {% include "navbar.html" %}