Add index settings page

amanuensis/server/lexicon/settings/settings.jinja

@@ -85,16 +85,16 @@
 {% endif %}
 
 {% if page_name == "index" %}
-    <h3>Article Indexes</h3>
+<h3>Article Indexes</h3>
-    <details id="index-definition-help">
+<details id="index-definition-help">
     <summary>Index definition help</summary>
     <p>An index is a rule that matches the title of a lexicon article based on its <em>index type</em> and <em>pattern</em>. A <em>char</em> index matches a title if the first letter of the title (excluding "A", "An", and "The") is one of the letters in the pattern. A <em>range</em> index has a pattern denoting a range of letters, such as "A-F", and matches a title if the first letter of the title is in the range. A <em>prefix</em> index matches any title that begins with the pattern. An <em>etc</em> index always matches a title.</p>
     <p>When a title is to be sorted under an index, indices are checked in order, sorted first by descending order of <em>logical priority</em>, and then by alphabetical order of index pattern. The title is sorted under the first index that matches it.</p>
     <p>On the contents page, indices and the articles under them are displayed sorted instead by <em>display order</em> and then alphabetically by pattern.</p>
     <p>The <em>capacity</em> of an index is the number of articles that may exist under that index. If an index is at capacity, no new articles may be written or created via phantom citation in that index.</p>
     <p>To add an index, fill in the type and pattern in the blank row and save your changes. To remove an index, set the type to blank. Note: If you change the type or pattern of an index, all index assignments will be reset. Avoid changing index definitions during gameplay.</p>
-    </details>
+</details>
-    <form action="" method="post" novalidate>
+<form action="" method="post" novalidate>
     {{ form.hidden_tag() }}
     <table id="index-definition-table">
         <tr>
@@ -123,10 +123,10 @@
         {% endfor %}
     </table>
     <p>{{ form.submit() }}</p>
-    </form>
+</form>
-    {% for message in get_flashed_messages() %}
+{% for message in get_flashed_messages() %}
-    <span style="color:#ff0000">{{ message }}</span><br>
+<span style="color:#ff0000">{{ message }}</span><br>
-    {% endfor %}
+{% endfor %}
 {% endif %}
 
 {% if page_name == "publish" %}