mark table of contents as navigation

static/build.html

@@ -48,6 +48,7 @@
             <p>This is a guide on building, modifying and contributing to GrapheneOS as a
             developer.</p>
 
+            <nav>
                 <h2 id="table-of-contents">
                     <a href="#table-of-contents">Table of contents</a>
                 </h2>
@@ -121,6 +122,7 @@
                         </ul>
                     </li>
                 </ul>
+            </nav>
 
             <h2 id="building-grapheneos">
                 <a href="#building-grapheneos">Building GrapheneOS</a>

static/faq.html

@@ -53,6 +53,7 @@
             members can link to these and save lots of time while also providing higher quality
             answers.</p>
 
+            <nav>
                 <h2 id="table-of-contents">
                     <a href="#table-of-contents">Table of contents</a>
                 </h2>
@@ -108,6 +109,7 @@
                     <li><a href="#anti-theft">Does GrapheneOS provide Factory Reset Protection?</a></li>
                     <li><a href="#bundled-apps">Why aren't my favorite apps bundled with GrapheneOS?</a></li>
                 </ul>
+            </nav>
 
             <h2 id="device-support">
                 <a href="#device-support">Device support</a>

static/install.html

@@ -47,6 +47,7 @@
             <p>This is a guide on installing GrapheneOS for the officially supported devices. It
             can be followed for both the official releases and custom builds.</p>
 
+            <nav>
                 <h2 id="table-of-contents">
                     <a href="#table-of-contents">Table of contents</a>
                 </h2>
@@ -78,6 +79,7 @@
                     <li><a href="#verifying-installation">Verifying installation</a></li>
                     <li><a href="#replacing-grapheneos-with-the-stock-os">Replacing GrapheneOS with the stock OS</a></li>
                 </ul>
+            </nav>
 
             <h2 id="prerequisites">
                 <a href="#prerequisites">Prerequisites</a>

static/releases.html

@@ -47,6 +47,7 @@
                 <a href="#releases">Releases</a>
             </h1>
 
+            <nav>
                 <h2 id="table-of-contents">
                     <a href="#table-of-contents">Table of contents</a>
                 </h2>
@@ -135,6 +136,7 @@
                         </ul>
                     </li>
                 </ul>
+            </nav>
 
             <h2 id="about-the-releases">
                 <a href="#about-the-releases">About the releases</a>

static/usage.html

@@ -49,6 +49,7 @@
             only cover the user-facing impact of features, and most of the privacy and security
             work is done under the hood.</p>
 
+            <nav>
                 <h2 id="table-of-contents">
                     <a href="#table-of-contents">Table of contents</a>
                 </h2>
@@ -76,6 +77,7 @@
                     </li>
                     <li><a href="#lte-only-mode">LTE-only mode</a></li>
                 </ul>
+            </nav>
 
             <h2 id="auditor">
                 <a href="#auditor">Auditor</a>