From 1013dcc39f5b86cfb3974f33d8ef20d6505fd0a7 Mon Sep 17 00:00:00 2001
From: Konstantin Nazarov <mail@knazarov.com>
Date: Tue, 22 Aug 2023 01:10:28 +0100
Subject: [PATCH] Use "nav" instead of "div" for the menu

---
 bin/page.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/bin/page.sh b/bin/page.sh
index 1d0841f..b3d9119 100755
--- a/bin/page.sh
+++ b/bin/page.sh
@@ -33,14 +33,14 @@ EOF
     <div id="header">
       <a href="/">Konstantin Nazarov</a>
     </div>
-    <div id="menu">
+    <nav id="menu">
         <a href="/">home</a>
         <a href="/posts">posts</a>
         <a href="/projects">projects</a>
         <a href="/cv">cv</a>
         <a href="/contact">contact</a>
         <a href="/rss.xml"><img src="/rss.png" style="height: 15px; width: auto; vertical-align:middle;"></img></a>
-    </div>
+    </nav>
     <div id="content">
 EOF
     cat