move main header id to main element

2020-12-06 10:56:00 -05:00
parent 1dc316bb6e
commit a8cdcca429
12 changed files with 24 additions and 48 deletions
--- a/static/source.html
+++ b/static/source.html
@@ -40,10 +40,8 @@
                <li><a href="/contact">Contact</a></li>
            </ul>
        </nav>
-        <main>
-            <h1 id="source">
-                <a href="#source">Source</a>
-            </h1>
+        <main id="source">
+            <h1><a href="#source">Source</a></h1>
            <p>The GrapheneOS sources are hosted in the
            <a href="https://github.com/GrapheneOS">GrapheneOS organization on GitHub</a>. Since
            there are many repositories, this page aims to provide a guide for it. See the