diff --git a/doc/1_introduction.html b/doc/1_introduction.html
index 5464db21..7ccb1f3e 100644
--- a/doc/1_introduction.html
+++ b/doc/1_introduction.html
@@ -14,7 +14,7 @@
     <title>RapidContext :: Introduction</title>
   </head>
   <body class="doc">
-    <section class="header">
+    <nav class="header">
       <div class="center">
         <a href="https://www.rapidcontext.com/" class="logotype">
           <img src="images/logotype.png">
@@ -32,7 +32,7 @@
         &bull; <a href="https://github.com/baraverkstad/rapidcontext/releases">Downloads</a>
         &bull; <a href="https://github.com/baraverkstad/rapidcontext">Project</a>
       </div>
-    </section>
+    </nav>
     <section class="content center">
 
 <ol class="breadcrumb">
@@ -203,9 +203,9 @@ <h2 id="concepts">1.4 Concepts &amp; Terminology</h2>
 <!--END-->
 
     </section>
-    <section class="footer center fineprint">
+    <footer class="footer center fineprint">
       <hr>
       Copyright &copy; 2007-2023 Per Cederberg. All rights reserved.
-    </section>
+    </footer>
   </body>
 </html>
diff --git a/doc/2_install.html b/doc/2_install.html
index 1855ec39..f9254af9 100644
--- a/doc/2_install.html
+++ b/doc/2_install.html
@@ -14,7 +14,7 @@
     <title>RapidContext :: Installing &amp; Connecting</title>
   </head>
   <body class="doc">
-    <section class="header">
+    <nav class="header">
       <div class="center">
         <a href="https://www.rapidcontext.com/" class="logotype">
           <img src="images/logotype.png">
@@ -32,7 +32,7 @@
         &bull; <a href="https://github.com/baraverkstad/rapidcontext/releases">Downloads</a>
         &bull; <a href="https://github.com/baraverkstad/rapidcontext">Project</a>
       </div>
-    </section>
+    </nav>
     <section class="content center">
 
 <ol class="breadcrumb">
@@ -421,9 +421,9 @@ <h2 class="m-0">Notice</h2>
 <!--END-->
 
     </section>
-    <section class="footer center fineprint">
+    <footer class="footer center fineprint">
       <hr>
       Copyright &copy; 2007-2023 Per Cederberg. All rights reserved.
-    </section>
+    </footer>
   </body>
 </html>
diff --git a/doc/3_security.html b/doc/3_security.html
index 0f282aae..d8f58c10 100644
--- a/doc/3_security.html
+++ b/doc/3_security.html
@@ -14,7 +14,7 @@
     <title>RapidContext :: Security, Users &amp; Permissions</title>
   </head>
   <body class="doc">
-    <section class="header">
+    <nav class="header">
       <div class="center">
         <a href="https://www.rapidcontext.com/" class="logotype">
           <img src="images/logotype.png">
@@ -32,7 +32,7 @@
         &bull; <a href="https://github.com/baraverkstad/rapidcontext/releases">Downloads</a>
         &bull; <a href="https://github.com/baraverkstad/rapidcontext">Project</a>
       </div>
-    </section>
+    </nav>
     <section class="content center">
 
 <ol class="breadcrumb">
@@ -385,9 +385,9 @@ <h2 id="security_checklist">3.7 Security Checklist</h2>
 <!--END-->
 
     </section>
-    <section class="footer center fineprint">
+    <footer class="footer center fineprint">
       <hr>
       Copyright &copy; 2007-2023 Per Cederberg. All rights reserved.
-    </section>
+    </footer>
   </body>
 </html>
diff --git a/doc/4_storage.html b/doc/4_storage.html
index cbdbea05..6a612370 100644
--- a/doc/4_storage.html
+++ b/doc/4_storage.html
@@ -14,7 +14,7 @@
     <title>RapidContext :: Plug-Ins &amp; Storage</title>
   </head>
   <body class="doc">
-    <section class="header">
+    <nav class="header">
       <div class="center">
         <a href="https://www.rapidcontext.com/" class="logotype">
           <img src="images/logotype.png">
@@ -32,7 +32,7 @@
         &bull; <a href="https://github.com/baraverkstad/rapidcontext/releases">Downloads</a>
         &bull; <a href="https://github.com/baraverkstad/rapidcontext">Project</a>
       </div>
-    </section>
+    </nav>
     <section class="content center">
 
 <ol class="breadcrumb">
@@ -310,9 +310,9 @@ <h2 id="hidden_props">4.5 Hidden &amp; Computed Properties</h2>
 <!--END-->
 
     </section>
-    <section class="footer center fineprint">
+    <footer class="footer center fineprint">
       <hr>
       Copyright &copy; 2007-2023 Per Cederberg. All rights reserved.
-    </section>
+    </footer>
   </body>
 </html>
diff --git a/doc/5_plugin_dev.html b/doc/5_plugin_dev.html
index 1fcf50e6..be67b0ca 100644
--- a/doc/5_plugin_dev.html
+++ b/doc/5_plugin_dev.html
@@ -14,7 +14,7 @@
     <title>RapidContext :: Server &amp; Plug-In Development</title>
   </head>
   <body class="doc">
-    <section class="header">
+    <nav class="header">
       <div class="center">
         <a href="https://www.rapidcontext.com/" class="logotype">
           <img src="images/logotype.png">
@@ -32,7 +32,7 @@
         &bull; <a href="https://github.com/baraverkstad/rapidcontext/releases">Downloads</a>
         &bull; <a href="https://github.com/baraverkstad/rapidcontext">Project</a>
       </div>
-    </section>
+    </nav>
     <section class="content center">
 
 <ol class="breadcrumb">
@@ -302,9 +302,9 @@ <h2 id="javascript">5.5 JavaScript Procedures</h2>
 <!--END-->
 
     </section>
-    <section class="footer center fineprint">
+    <footer class="footer center fineprint">
       <hr>
       Copyright &copy; 2007-2023 Per Cederberg. All rights reserved.
-    </section>
+    </footer>
   </body>
 </html>
diff --git a/doc/6_app_dev.html b/doc/6_app_dev.html
index f5972429..5ebb0fde 100644
--- a/doc/6_app_dev.html
+++ b/doc/6_app_dev.html
@@ -14,7 +14,7 @@
     <title>RapidContext :: App Development</title>
   </head>
   <body class="doc">
-    <section class="header">
+    <nav class="header">
       <div class="center">
         <a href="https://www.rapidcontext.com/" class="logotype">
           <img src="images/logotype.png">
@@ -32,7 +32,7 @@
         &bull; <a href="https://github.com/baraverkstad/rapidcontext/releases">Downloads</a>
         &bull; <a href="https://github.com/baraverkstad/rapidcontext">Project</a>
       </div>
-    </section>
+    </nav>
     <section class="content center">
 
 <ol class="breadcrumb">
@@ -562,9 +562,9 @@ <h2 id="web_service">6.6 Web Listeners &amp; Services</h2>
 <!--END-->
 
     </section>
-    <section class="footer center fineprint">
+    <footer class="footer center fineprint">
       <hr>
       Copyright &copy; 2007-2023 Per Cederberg. All rights reserved.
-    </section>
+    </footer>
   </body>
 </html>
diff --git a/doc/7_guidelines.html b/doc/7_guidelines.html
index df20b013..c202bbdd 100644
--- a/doc/7_guidelines.html
+++ b/doc/7_guidelines.html
@@ -14,7 +14,7 @@
     <title>RapidContext :: Change History</title>
   </head>
   <body class="doc">
-    <section class="header">
+    <nav class="header">
       <div class="center">
         <a href="https://www.rapidcontext.com/" class="logotype">
           <img src="images/logotype.png">
@@ -32,7 +32,7 @@
         &bull; <a href="https://github.com/baraverkstad/rapidcontext/releases">Downloads</a>
         &bull; <a href="https://github.com/baraverkstad/rapidcontext">Project</a>
       </div>
-    </section>
+    </nav>
     <section class="content center">
 
 <ol class="breadcrumb">
@@ -319,9 +319,9 @@ <h2 id="testing">7.8 Exploratory over Automated Testing</h2>
 <!--END-->
 
     </section>
-    <section class="footer center fineprint">
+    <footer class="footer center fineprint">
       <hr>
       Copyright &copy; 2007-2023 Per Cederberg. All rights reserved.
-    </section>
+    </footer>
   </body>
 </html>
diff --git a/doc/index.html b/doc/index.html
index 848eeb06..120d8baf 100644
--- a/doc/index.html
+++ b/doc/index.html
@@ -14,7 +14,7 @@
     <title>RapidContext :: Documentation Overview</title>
   </head>
   <body class="doc">
-    <section class="header">
+    <nav class="header">
       <div class="center">
         <a href="https://www.rapidcontext.com/" class="logotype">
           <img src="images/logotype.png">
@@ -32,7 +32,7 @@
         &bull; <a href="https://github.com/baraverkstad/rapidcontext/releases">Downloads</a>
         &bull; <a href="https://github.com/baraverkstad/rapidcontext">Project</a>
       </div>
-    </section>
+    </nav>
     <section class="content center">
 
 <ol class="breadcrumb">
@@ -188,9 +188,9 @@ <h2>Plug-In &amp; Server-side API:</h2>
 <!--END-->
 
     </section>
-    <section class="footer center fineprint">
+    <footer class="footer center fineprint">
       <hr>
       Copyright &copy; 2007-2023 Per Cederberg. All rights reserved.
-    </section>
+    </footer>
   </body>
 </html>
diff --git a/doc/plugin-cmdline.html b/doc/plugin-cmdline.html
index d788c9bc..a5f78236 100644
--- a/doc/plugin-cmdline.html
+++ b/doc/plugin-cmdline.html
@@ -14,7 +14,7 @@
     <title>RapidContext :: Command-Line Plug-In</title>
   </head>
   <body class="doc">
-    <section class="header">
+    <nav class="header">
       <div class="center">
         <a href="https://www.rapidcontext.com/" class="logotype">
           <img src="images/logotype.png">
@@ -32,7 +32,7 @@
         &bull; <a href="https://github.com/baraverkstad/rapidcontext/releases">Downloads</a>
         &bull; <a href="https://github.com/baraverkstad/rapidcontext">Project</a>
       </div>
-    </section>
+    </nav>
     <section class="content center">
 
 <ol class="breadcrumb">
@@ -190,9 +190,9 @@ <h2 id="param_subst">5. Parameter Substitution</h2>
 <!--END-->
 
     </section>
-    <section class="footer center fineprint">
+    <footer class="footer center fineprint">
       <hr>
       Copyright &copy; 2007-2023 Per Cederberg. All rights reserved.
-    </section>
+    </footer>
   </body>
 </html>
diff --git a/doc/plugin-http.html b/doc/plugin-http.html
index 9178810c..3367311a 100644
--- a/doc/plugin-http.html
+++ b/doc/plugin-http.html
@@ -14,7 +14,7 @@
     <title>RapidContext :: HTTP Plug-In</title>
   </head>
   <body class="doc">
-    <section class="header">
+    <nav class="header">
       <div class="center">
         <a href="https://www.rapidcontext.com/" class="logotype">
           <img src="images/logotype.png">
@@ -32,7 +32,7 @@
         &bull; <a href="https://github.com/baraverkstad/rapidcontext/releases">Downloads</a>
         &bull; <a href="https://github.com/baraverkstad/rapidcontext">Project</a>
       </div>
-    </section>
+    </nav>
     <section class="content center">
 
 <ol class="breadcrumb">
@@ -112,9 +112,9 @@ <h2 id="params">3. Parameter Substitution</h2>
 <!--END-->
 
     </section>
-    <section class="footer center fineprint">
+    <footer class="footer center fineprint">
       <hr>
       Copyright &copy; 2007-2023 Per Cederberg. All rights reserved.
-    </section>
+    </footer>
   </body>
 </html>
diff --git a/doc/plugin-jdbc.html b/doc/plugin-jdbc.html
index 64647bf5..87293c19 100644
--- a/doc/plugin-jdbc.html
+++ b/doc/plugin-jdbc.html
@@ -14,7 +14,7 @@
     <title>RapidContext :: JDBC Plug-In</title>
   </head>
   <body class="doc">
-    <section class="header">
+    <nav class="header">
       <div class="center">
         <a href="https://www.rapidcontext.com/" class="logotype">
           <img src="images/logotype.png">
@@ -32,7 +32,7 @@
         &bull; <a href="https://github.com/baraverkstad/rapidcontext/releases">Downloads</a>
         &bull; <a href="https://github.com/baraverkstad/rapidcontext">Project</a>
       </div>
-    </section>
+    </nav>
     <section class="content center">
 
 <ol class="breadcrumb">
@@ -284,9 +284,9 @@ <h2 id="transactions">6. Transactions &amp; Connection Pooling</h2>
 <!--END-->
 
     </section>
-    <section class="footer center fineprint">
+    <footer class="footer center fineprint">
       <hr>
       Copyright &copy; 2007-2023 Per Cederberg. All rights reserved.
-    </section>
+    </footer>
   </body>
 </html>
