add table of contents to server list page

This commit is contained in:
Daniel Micay 2021-04-29 14:06:08 -04:00
parent e8f8516acd
commit 2da2056801

View File

@ -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>