{% extends "master.html" %} {% block main %} {% if output %} {% endif %}
{% if form.non_field_errors %}{{form.non_field_errors}}{% endif %}
Type your SQL here:
{{form.data}} {% if form.data.errors %}{{form.data.errors}}{% endif %}
...or upload a file: {{form.datafile}}
{% if output %}
{{output|safe}}
{% else %}
{% endif %}
{% if proc_time %}Processed in {{proc_time}} seconds.{% endif %}

Options

General Options
{{form.remove_comments}}
{{form.highlight}} {% if form.highlight.errors %}
    {{form.highlight.errors
{% endif %}
Keywords & Identifiers
{{form.keyword_case.label}}: {{form.keyword_case}}
{{form.identifier_case.label}}: {{form.identifier_case}}
Indentation & Margins
{{form.n_indents}} {{form.n_indents.label}}
Empty field means leave indentation unchanged.
Output Format {{form.output_format}}
This software is in development.
{% endblock %}