mark table of contents as navigation

1 files changed, 90 insertions, 88 deletions

diff --git a/static/releases.html b/static/releases.html
index ed326351..4b4c6ffb 100644
--- a/static/releases.html
+++ b/static/releases.html
@@ -47,94 +47,96 @@
                 <a href="#releases">Releases</a>
             </h1>
 
-            <h2 id="table-of-contents">
-                <a href="#table-of-contents">Table of contents</a>
-            </h2>
-            <ul>
-                <li><a href="#about-the-releases">About the releases</a></li>
-                <li>
-                    <a href="#stable-channel">Stable channel</a>
-                    <ul>
-                        <li><a href="#sunfish-stable">Pixel 4a</a></li>
-                        <li><a href="#coral-stable">Pixel 4 XL</a></li>
-                        <li><a href="#flame-stable">Pixel 4</a></li>
-                        <li><a href="#bonito-stable">Pixel 3a XL</a></li>
-                        <li><a href="#sargo-stable">Pixel 3a</a></li>
-                        <li><a href="#crosshatch-stable">Pixel 3 XL</a></li>
-                        <li><a href="#blueline-stable">Pixel 3</a></li>
-                        <li><a href="#taimen-stable">Pixel 2 XL (obsolete)</a></li>
-                        <li><a href="#walleye-stable">Pixel 2 (obsolete)</a></li>
-                    </ul>
-                </li>
-                <li>
-                    <a href="#beta-channel">Beta channel</a>
-                    <ul>
-                        <li><a href="#sunfish-beta">Pixel 4a</a></li>
-                        <li><a href="#coral-beta">Pixel 4 XL</a></li>
-                        <li><a href="#flame-beta">Pixel 4</a></li>
-                        <li><a href="#bonito-beta">Pixel 3a XL</a></li>
-                        <li><a href="#sargo-beta">Pixel 3a</a></li>
-                        <li><a href="#crosshatch-beta">Pixel 3 XL</a></li>
-                        <li><a href="#blueline-beta">Pixel 3</a></li>
-                        <li><a href="#taimen-beta">Pixel 2 XL (obsolete)</a></li>
-                        <li><a href="#walleye-beta">Pixel 2 (obsolete)</a></li>
-                    </ul>
-                </li>
-                <li>
-                    <a href="#changelog">Changelog</a>
-                    <ul>
-                        <li><a href="#2020.11.27.15">2020.11.27.15</a></li>
-                        <li><a href="#2020.11.25.22">2020.11.25.22 preview</a></li>
-                        <li><a href="#2020.11.05.18">2020.11.05.18</a></li>
-                        <li><a href="#2020.11.03.03">2020.11.03.03</a></li>
-                        <li><a href="#2020.10.23.04">2020.10.23.04</a></li>
-                        <li><a href="#2020.10.06.02">2020.10.06.02</a></li>
-                        <li><a href="#2020.10.01.23">2020.10.01.23</a></li>
-                        <li><a href="#2020.09.29.20">2020.09.29.20</a></li>
-                        <li><a href="#2020.09.25.00">2020.09.25.00</a></li>
-                        <li><a href="#2020.09.18.13">2020.09.18.13 preview</a></li>
-                        <li><a href="#2020.09.11.14">2020.09.11.14</a></li>
-                        <li><a href="#2020.09.10.05">2020.09.10.05 preview</a></li>
-                        <li><a href="#2020.08.07.01">2020.08.07.01</a></li>
-                        <li><a href="#2020.08.03.22">2020.08.03.22</a></li>
-                        <li><a href="#2020.07.06.20">2020.07.06.20</a></li>
-                        <li><a href="#2020.06.22.21">2020.06.22.21</a></li>
-                        <li><a href="#2020.06.02.02">2020.06.02.02</a></li>
-                        <li><a href="#2020.05.29.00">2020.05.29.00</a></li>
-                        <li><a href="#2020.05.23.12">2020.05.23.12</a></li>
-                        <li><a href="#2020.05.05.02">2020.05.05.02</a></li>
-                        <li><a href="#2020.04.14.23">2020.04.14.23</a></li>
-                        <li><a href="#2020.04.13.21">2020.04.13.21</a></li>
-                        <li><a href="#2020.04.07.10">2020.04.07.10</a></li>
-                        <li><a href="#2020.03.23.22">2020.03.23.22</a></li>
-                        <li><a href="#2020.03.04.16">2020.03.04.16</a></li>
-                        <li><a href="#2020.03.03.03">2020.03.03.03</a></li>
-                        <li><a href="#2020.02.07.19">2020.02.07.19</a></li>
-                        <li><a href="#2020.02.04.01">2020.02.04.01</a></li>
-                        <li><a href="#2020.01.06.21">2020.01.06.21</a></li>
-                        <li><a href="#2019.12.02.23">2019.12.02.23</a></li>
-                        <li><a href="#2019.11.05.23">2019.11.05.23</a></li>
-                        <li><a href="#2019.11.04.23">2019.11.04.23</a></li>
-                        <li><a href="#2019.10.07.21">2019.10.07.21</a></li>
-                        <li><a href="#2019.09.25.00">2019.09.25.00</a></li>
-                        <li><a href="#2019.09.23.19">2019.09.23.19</a></li>
-                        <li><a href="#2019.09.21.18">2019.09.21.18 preview</a></li>
-                        <li><a href="#2019.09.18.14">2019.09.18.14 preview</a></li>
-                        <li><a href="#2019.08.25.15">2019.08.25.15</a></li>
-                        <li><a href="#2019.08.05.19">2019.08.05.19</a></li>
-                        <li><a href="#2019.07.16.22">2019.07.16.22</a></li>
-                        <li><a href="#2019.07.01.21">2019.07.01.21</a></li>
-                        <li><a href="#2019.06.23.05">2019.06.23.05</a></li>
-                        <li><a href="#2019.06.14.02">2019.06.14.02</a></li>
-                        <li><a href="#2019.06.03.18">2019.06.03.18</a></li>
-                        <li><a href="#2019.05.18.20">2019.05.18.20</a></li>
-                        <li><a href="#2019.05.08.15">2019.05.08.15</a></li>
-                        <li><a href="#2019.05.07.00">2019.05.07.00</a></li>
-                        <li><a href="#2019.04.01.19">2019.04.01.19</a></li>
-                        <li><a href="#2019.03.05.03">2019.03.05.03</a></li>
-                    </ul>
-                </li>
-            </ul>
+            <nav>
+                <h2 id="table-of-contents">
+                    <a href="#table-of-contents">Table of contents</a>
+                </h2>
+                <ul>
+                    <li><a href="#about-the-releases">About the releases</a></li>
+                    <li>
+                        <a href="#stable-channel">Stable channel</a>
+                        <ul>
+                            <li><a href="#sunfish-stable">Pixel 4a</a></li>
+                            <li><a href="#coral-stable">Pixel 4 XL</a></li>
+                            <li><a href="#flame-stable">Pixel 4</a></li>
+                            <li><a href="#bonito-stable">Pixel 3a XL</a></li>
+                            <li><a href="#sargo-stable">Pixel 3a</a></li>
+                            <li><a href="#crosshatch-stable">Pixel 3 XL</a></li>
+                            <li><a href="#blueline-stable">Pixel 3</a></li>
+                            <li><a href="#taimen-stable">Pixel 2 XL (obsolete)</a></li>
+                            <li><a href="#walleye-stable">Pixel 2 (obsolete)</a></li>
+                        </ul>
+                    </li>
+                    <li>
+                        <a href="#beta-channel">Beta channel</a>
+                        <ul>
+                            <li><a href="#sunfish-beta">Pixel 4a</a></li>
+                            <li><a href="#coral-beta">Pixel 4 XL</a></li>
+                            <li><a href="#flame-beta">Pixel 4</a></li>
+                            <li><a href="#bonito-beta">Pixel 3a XL</a></li>
+                            <li><a href="#sargo-beta">Pixel 3a</a></li>
+                            <li><a href="#crosshatch-beta">Pixel 3 XL</a></li>
+                            <li><a href="#blueline-beta">Pixel 3</a></li>
+                            <li><a href="#taimen-beta">Pixel 2 XL (obsolete)</a></li>
+                            <li><a href="#walleye-beta">Pixel 2 (obsolete)</a></li>
+                        </ul>
+                    </li>
+                    <li>
+                        <a href="#changelog">Changelog</a>
+                        <ul>
+                            <li><a href="#2020.11.27.15">2020.11.27.15</a></li>
+                            <li><a href="#2020.11.25.22">2020.11.25.22 preview</a></li>
+                            <li><a href="#2020.11.05.18">2020.11.05.18</a></li>
+                            <li><a href="#2020.11.03.03">2020.11.03.03</a></li>
+                            <li><a href="#2020.10.23.04">2020.10.23.04</a></li>
+                            <li><a href="#2020.10.06.02">2020.10.06.02</a></li>
+                            <li><a href="#2020.10.01.23">2020.10.01.23</a></li>
+                            <li><a href="#2020.09.29.20">2020.09.29.20</a></li>
+                            <li><a href="#2020.09.25.00">2020.09.25.00</a></li>
+                            <li><a href="#2020.09.18.13">2020.09.18.13 preview</a></li>
+                            <li><a href="#2020.09.11.14">2020.09.11.14</a></li>
+                            <li><a href="#2020.09.10.05">2020.09.10.05 preview</a></li>
+                            <li><a href="#2020.08.07.01">2020.08.07.01</a></li>
+                            <li><a href="#2020.08.03.22">2020.08.03.22</a></li>
+                            <li><a href="#2020.07.06.20">2020.07.06.20</a></li>
+                            <li><a href="#2020.06.22.21">2020.06.22.21</a></li>
+                            <li><a href="#2020.06.02.02">2020.06.02.02</a></li>
+                            <li><a href="#2020.05.29.00">2020.05.29.00</a></li>
+                            <li><a href="#2020.05.23.12">2020.05.23.12</a></li>
+                            <li><a href="#2020.05.05.02">2020.05.05.02</a></li>
+                            <li><a href="#2020.04.14.23">2020.04.14.23</a></li>
+                            <li><a href="#2020.04.13.21">2020.04.13.21</a></li>
+                            <li><a href="#2020.04.07.10">2020.04.07.10</a></li>
+                            <li><a href="#2020.03.23.22">2020.03.23.22</a></li>
+                            <li><a href="#2020.03.04.16">2020.03.04.16</a></li>
+                            <li><a href="#2020.03.03.03">2020.03.03.03</a></li>
+                            <li><a href="#2020.02.07.19">2020.02.07.19</a></li>
+                            <li><a href="#2020.02.04.01">2020.02.04.01</a></li>
+                            <li><a href="#2020.01.06.21">2020.01.06.21</a></li>
+                            <li><a href="#2019.12.02.23">2019.12.02.23</a></li>
+                            <li><a href="#2019.11.05.23">2019.11.05.23</a></li>
+                            <li><a href="#2019.11.04.23">2019.11.04.23</a></li>
+                            <li><a href="#2019.10.07.21">2019.10.07.21</a></li>
+                            <li><a href="#2019.09.25.00">2019.09.25.00</a></li>
+                            <li><a href="#2019.09.23.19">2019.09.23.19</a></li>
+                            <li><a href="#2019.09.21.18">2019.09.21.18 preview</a></li>
+                            <li><a href="#2019.09.18.14">2019.09.18.14 preview</a></li>
+                            <li><a href="#2019.08.25.15">2019.08.25.15</a></li>
+                            <li><a href="#2019.08.05.19">2019.08.05.19</a></li>
+                            <li><a href="#2019.07.16.22">2019.07.16.22</a></li>
+                            <li><a href="#2019.07.01.21">2019.07.01.21</a></li>
+                            <li><a href="#2019.06.23.05">2019.06.23.05</a></li>
+                            <li><a href="#2019.06.14.02">2019.06.14.02</a></li>
+                            <li><a href="#2019.06.03.18">2019.06.03.18</a></li>
+                            <li><a href="#2019.05.18.20">2019.05.18.20</a></li>
+                            <li><a href="#2019.05.08.15">2019.05.08.15</a></li>
+                            <li><a href="#2019.05.07.00">2019.05.07.00</a></li>
+                            <li><a href="#2019.04.01.19">2019.04.01.19</a></li>
+                            <li><a href="#2019.03.05.03">2019.03.05.03</a></li>
+                        </ul>
+                    </li>
+                </ul>
+            </nav>
 
             <h2 id="about-the-releases">
                 <a href="#about-the-releases">About the releases</a>