From 2da20568010e5e2b02a55f12f96e57b5cd46b2be Mon Sep 17 00:00:00 2001
From: Daniel Micay <danielmicay@gmail.com>
Date: Thu, 29 Apr 2021 14:06:08 -0400
Subject: [PATCH] add table of contents to server list page

---
 static/articles/grapheneos-servers.html | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/static/articles/grapheneos-servers.html b/static/articles/grapheneos-servers.html
index fb2384d0..37614a3d 100644
--- a/static/articles/grapheneos-servers.html
+++ b/static/articles/grapheneos-servers.html
@@ -51,6 +51,21 @@
 
             <p>This is a detailed list of the public GrapheneOS servers.</p>
 
+            <nav id="table-of-contents">
+                <h2><a href="#table-of-contents">Table of contents</a></h2>
+
+                <ul>
+                    <li><a href="#grapheneos.org">GrapheneOS website</a></li>
+                    <li><a href="#staging.grapheneos.org">Staging GrapheneOS website</a></li>
+                    <li><a href="#releases.grapheneos.org">GrapheneOS release servers</a></li>
+                    <li><a href="#time.grapheneos.org">GrapheneOS time server</a></li>
+                    <li><a href="#grapheneos.network">GrapheneOS connectivity check server</a></li>
+                    <li><a href="#mail.grapheneos.org">GrapheneOS mail server</a></li>
+                    <li><a href="#attestation.app">Attestation website and service</a></li>
+                    <li><a href="#staging.attestation.app">Staging attestation website and service</a></li>
+                </ul>
+            </nav>
+
             <section id="grapheneos.org">
                 <h2><a href="#grapheneos.org">GrapheneOS website</a></h2>