{% if intro_tutorial or tutorial %} {% endif %}
{% if menu != False %} {% include "incl/menubar.html" %} {% endif %} {# Can't reindent this as it may contain preformatted code blocks whose indentation is important. #} {% block full_width_content %}{% endblock %}
{% if is_teacher or is_second_teacher %}
{% endif %} {% block scripts %} {% block additional_scripts %}{% endblock %} {# We must mark the JSON safe -- in script tags HTML entities are not allowed #} {% endblock %}