diff options
| -rw-r--r-- | static/articles/grapheneos-servers.html | 15 |
1 files changed, 15 insertions, 0 deletions
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> |