diff --git a/DocGen4/Output/Navbar.lean b/DocGen4/Output/Navbar.lean
index eea77f0..6f18a02 100644
--- a/DocGen4/Output/Navbar.lean
+++ b/DocGen4/Output/Navbar.lean
@@ -65,6 +65,7 @@ def navbar : BaseHtmlM Html := do
       </head>
 
       <body>
+        <div class="navframe">
         <nav class="nav">
           <h3>General documentation</h3>
           <div class="nav_link"><a href={s!"{←getRoot}"}>index</a></div>
@@ -80,6 +81,7 @@ def navbar : BaseHtmlM Html := do
           <h3>Library</h3>
           {← moduleList}
         </nav>
+        </div>
       </body>
     </html>
 
diff --git a/static/style.css b/static/style.css
index 4b35ab2..fdd5e99 100644
--- a/static/style.css
+++ b/static/style.css
@@ -308,6 +308,10 @@ nav {
     overflow-wrap: break-word;
 }
 
+.navframe {
+    --header-height: 0;
+}
+
 .decl > div, .mod_doc {
     padding-left: 8px;
     padding-right: 8px;
