added a non empty title in the output header

smongaAdb · smongaAdb · commit 99f59f0f9123 · 2024-03-13T21:14:15.000+05:30
diff --git a/docs/nav.htm b/docs/nav.htm
@@ -15,7 +15,7 @@
     <img src="./header.svg"></img>
   </div>
   <div>
-    <h3></h3>
+    <h3>Title</h3>
   </div>
   <div>
     <div class="search">
