Add some internal navigation for platform admin

There are way too many links in the top nav now (when you’re using the
site as a platform admin).

And how often are you going to look at the letter jobs page really?

This commit adds some internal navigation for the platform admin area of
the platform, copying the style that works for navigating a single
service.

app/templates/views/letter-jobs.html

@@ -1,11 +1,11 @@
-{% extends "withoutnav_template.html" %}
+{% extends "views/platform-admin/_base_template.html" %}
 {% from "components/page-footer.html" import page_footer %}
 
 {% block per_page_title %}
   Letter jobs
 {% endblock %}
 
-{% block maincolumn_content %}
+{% block platform_admin_content %}
 
     <h1 class="heading-large">Letter jobs</h1>
 

app/templates/views/platform-admin/_base_template.html

@@ -0,0 +1,34 @@
+{% extends "withoutnav_template.html" %}
+{% from "components/textbox.html" import textbox %}
+{% from "components/checkbox.html" import checkbox %}
+{% from "components/page-footer.html" import page_footer %}
+
+{% block maincolumn_content %}
+
+  <div class="grid-row">
+    <div class="column-one-quarter">
+      <p class="heading-medium">
+        Platform admin
+      </p>
+      <nav class="navigation">
+        {% for link_text, url in [
+          ('Summary', url_for('main.platform_admin')),
+          ('Live services', url_for('main.live_services')),
+          ('Trial mode services', url_for('main.trial_services')),
+          ('Providers', url_for('main.view_providers')),
+          ('Letter jobs', url_for('main.letter_jobs'))
+        ] %}
+          <li>
+            <a href="{{ url }}">
+              {{ link_text }}
+            </a>
+          </li>
+        {% endfor %}
+      </nav>
+    </div>
+    <div class="column-three-quarters">
+      {% block platform_admin_content %}{% endblock %}
+    </div>
+  </div>
+
+{% endblock %}

app/templates/views/platform-admin/index.html

@@ -1,4 +1,4 @@
-{% extends "withoutnav_template.html" %}
+{% extends "views/platform-admin/_base_template.html" %}
 {% from "components/textbox.html" import textbox %}
 {% from "components/big-number.html" import big_number %}
 {% from "components/checkbox.html" import checkbox %}
@@ -83,22 +83,18 @@
   Platform admin
 {% endblock %}
 
-{% block maincolumn_content %}
+{% block platform_admin_content %}
 
-  <h1 class="heading-large">
+  <details>
-    Platform admin
+    <summary>Apply filters</summary>
-  </h1>
+    <form autocomplete="off" method="get">
-
+      {{ textbox(form.start_date, hint="Enter start date in format YYYY-MM-DD") }}
-    <details>
+      {{ textbox(form.end_date, hint="Enter end date in format YYYY-MM-DD") }}
-      <summary>Apply filters</summary>
+      {{ checkbox(form.include_from_test_key) }}
-      <form autocomplete="off" method="get">
+      </br>
-        {{ textbox(form.start_date, hint="Enter start date in format YYYY-MM-DD") }}
+      <input type="submit" class="button">
-        {{ textbox(form.end_date, hint="Enter end date in format YYYY-MM-DD") }}
+    </form>
-        {{ checkbox(form.include_from_test_key) }}
+  </details>
-        </br>
-        <input type="submit" class="button">
-      </form>
-    </details>
 
   {% include "views/platform-admin/_global_stats.html" %}
 

app/templates/views/platform-admin/services.html

@@ -1,4 +1,4 @@
-{% extends "withoutnav_template.html" %}
+{% extends "views/platform-admin/_base_template.html" %}
 {% from "components/textbox.html" import textbox %}
 {% from "components/checkbox.html" import checkbox %}
 {% from "components/page-footer.html" import page_footer %}
@@ -84,7 +84,7 @@
   {{ page_title|capitalize }}
 {% endblock %}
 
-{% block maincolumn_content %}
+{% block platform_admin_content %}
 
   <h1 class="heading-large">
     {{ page_title|capitalize }}

app/templates/views/providers/providers.html

@@ -1,4 +1,4 @@
-{% extends "withoutnav_template.html" %}
+{% extends "views/platform-admin/_base_template.html" %}
 {% from "components/table.html" import list_table, field, text_field, link_field, right_aligned_field_heading, hidden_field_heading %}
 {% from "components/show-more.html" import show_more %}
 
@@ -6,112 +6,107 @@
 Providers
 {% endblock %}
 
-{% block maincolumn_content %}
+{% block platform_admin_content %}
 
-<div class="grid-row">
+  <h1 class="heading-large">Providers</h1>
-    <div class="column-two-thirds">
-        <h1 class="heading-large">Providers</h1>
 
-        <h2 class="heading-medium">SMS</h2>
+  <h2 class="heading-medium">SMS</h2>
 
-        {% call(item, row_number) list_table(
+  {% call(item, row_number) list_table(
-            domestic_sms_providers,
+      domestic_sms_providers,
-            caption="Domestic SMS providers",
+      caption="Domestic SMS providers",
-            caption_visible=False,
+      caption_visible=False,
-            empty_message='No domestic sms providers',
+      empty_message='No domestic sms providers',
-            field_headings=['Provider', 'Priority', 'Active', 'Last Updated', 'Updated By'],
+      field_headings=['Provider', 'Priority', 'Active', 'Last Updated', 'Updated By'],
-            field_headings_visible=True
+      field_headings_visible=True
-        ) %}
+  ) %}
 
-            {{ link_field(item.display_name, url_for('main.view_provider', provider_id=item.id)) }}
+      {{ link_field(item.display_name, url_for('main.view_provider', provider_id=item.id)) }}
 
-            {{ text_field(item.priority) }}
+      {{ text_field(item.priority) }}
 
-            {{ text_field(item.active) }}
+      {{ text_field(item.active) }}
 
-            {% if item.updated_at %}
+      {% if item.updated_at %}
-                {{ text_field(item.updated_at|format_datetime_short) }}
+          {{ text_field(item.updated_at|format_datetime_short) }}
-            {% else %}
+      {% else %}
-                {{ text_field('None') }}
+          {{ text_field('None') }}
-            {% endif %}
+      {% endif %}
 
-            {% if item.created_by %}
+      {% if item.created_by %}
-                {{ text_field(item.created_by.name) }}
+          {{ text_field(item.created_by.name) }}
-            {% else %}
+      {% else %}
-                {{ text_field('None') }}
+          {{ text_field('None') }}
-            {% endif %}
+      {% endif %}
 
-            {{ link_field('change', url_for('main.edit_provider', provider_id=item.id)) }}
+      {{ link_field('change', url_for('main.edit_provider', provider_id=item.id)) }}
 
-        {% endcall %}
+  {% endcall %}
 
-        <h2 class="heading-medium">Email</h2>
+  <h2 class="heading-medium">Email</h2>
 
-        {% call(item, row_number) list_table(
+  {% call(item, row_number) list_table(
-            email_providers,
+      email_providers,
-            caption="Email providers",
+      caption="Email providers",
-            caption_visible=False,
+      caption_visible=False,
-            empty_message='No email providers',
+      empty_message='No email providers',
-            field_headings=['Provider', 'Priority', 'Active', 'Last Updated', 'Updated By'],
+      field_headings=['Provider', 'Priority', 'Active', 'Last Updated', 'Updated By'],
-            field_headings_visible=True
+      field_headings_visible=True
-        ) %}
+  ) %}
 
-            {{ link_field(item.display_name, url_for('main.view_provider', provider_id=item.id)) }}
+      {{ link_field(item.display_name, url_for('main.view_provider', provider_id=item.id)) }}
 
-            {{ text_field(item.priority) }}
+      {{ text_field(item.priority) }}
 
-            {{ text_field(item.active) }}
+      {{ text_field(item.active) }}
 
-            {% if item.updated_at %}
+      {% if item.updated_at %}
-                {{ text_field(item.updated_at|format_datetime_short) }}
+          {{ text_field(item.updated_at|format_datetime_short) }}
-            {% else %}
+      {% else %}
-                {{ text_field('None') }}
+          {{ text_field('None') }}
-            {% endif %}
+      {% endif %}
 
-            {% if item.created_by %}
+      {% if item.created_by %}
-                {{ text_field(item.created_by.name) }}
+          {{ text_field(item.created_by.name) }}
-            {% else %}
+      {% else %}
-                {{ text_field('None') }}
+          {{ text_field('None') }}
-            {% endif %}
+      {% endif %}
 
-            {{ link_field('change', url_for('main.edit_provider', provider_id=item.id)) }}
+      {{ link_field('change', url_for('main.edit_provider', provider_id=item.id)) }}
 
-        {% endcall %}
+  {% endcall %}
 
-        <h1 class="heading-large">International SMS Providers</h1>
+  <h1 class="heading-large">International SMS Providers</h1>
 
-        {% call(item, row_number) list_table(
+  {% call(item, row_number) list_table(
-            intl_sms_providers,
+      intl_sms_providers,
-            caption="International SMS providers",
+      caption="International SMS providers",
-            caption_visible=False,
+      caption_visible=False,
-            empty_message='No international sms providers',
+      empty_message='No international sms providers',
-            field_headings=['Provider', 'Priority', 'Active', 'Last Updated', 'Updated By'],
+      field_headings=['Provider', 'Priority', 'Active', 'Last Updated', 'Updated By'],
-            field_headings_visible=True
+      field_headings_visible=True
-        ) %}
+  ) %}
 
-            {{ link_field(item.display_name, url_for('main.view_provider', provider_id=item.id)) }}
+      {{ link_field(item.display_name, url_for('main.view_provider', provider_id=item.id)) }}
 
-            {{ text_field(item.priority) }}
+      {{ text_field(item.priority) }}
 
-            {{ text_field(item.active) }}
+      {{ text_field(item.active) }}
 
-            {% if item.updated_at %}
+      {% if item.updated_at %}
-                {{ text_field(item.updated_at|format_datetime_short) }}
+          {{ text_field(item.updated_at|format_datetime_short) }}
-            {% else %}
+      {% else %}
-                {{ text_field('None') }}
+          {{ text_field('None') }}
-            {% endif %}
+      {% endif %}
 
-            {% if item.created_by %}
+      {% if item.created_by %}
-                {{ text_field(item.created_by.name) }}
+          {{ text_field(item.created_by.name) }}
-            {% else %}
+      {% else %}
-                {{ text_field('None') }}
+          {{ text_field('None') }}
-            {% endif %}
+      {% endif %}
 
-            {{ link_field('change', url_for('main.edit_provider', provider_id=item.id)) }}
+      {{ link_field('change', url_for('main.edit_provider', provider_id=item.id)) }}
 
-        {% endcall %}
+  {% endcall %}
-
-    </div>
-</div>
 
 {% endblock %}