diff --git a/DocGen4/Output/Navbar.lean b/DocGen4/Output/Navbar.lean
index fb5fbe3..9842bba 100644
--- a/DocGen4/Output/Navbar.lean
+++ b/DocGen4/Output/Navbar.lean
@@ -61,6 +61,7 @@ def navbar : BaseHtmlM Html := do
       <head>
         [←baseHtmlHeadDeclarations]
 
+        <script type="module" src={s!"{←getRoot}nav.js"}></script>
         <base target="_parent" />
       </head>
 
diff --git a/DocGen4/Output/Template.lean b/DocGen4/Output/Template.lean
index 432d070..ed00bd9 100644
--- a/DocGen4/Output/Template.lean
+++ b/DocGen4/Output/Template.lean
@@ -32,7 +32,6 @@ def baseHtmlGenerator (title : String) (site : Array Html) : BaseHtmlM Html := d
 
         <script>{s!"const SITE_ROOT={String.quote (←getRoot)};"}</script>
         [moduleConstant]
-        <script type="module" src={s!"{←getRoot}nav.js"}></script>
         <script type="module" src={s!"{←getRoot}search.js"}></script>
         <script type="module" src={s!"{←getRoot}how-about.js"}></script>
         <script type="module" src={s!"{←getRoot}instances.js"}></script>
