diff --git a/DocGen4/Output/Base.lean b/DocGen4/Output/Base.lean
index 0e6ea5a..976b711 100644
--- a/DocGen4/Output/Base.lean
+++ b/DocGen4/Output/Base.lean
@@ -215,29 +215,14 @@ partial def infoFormatToHtml (i : CodeWithInfos) : HtmlM (Array Html) := do
pure #[[←infoFormatToHtml t]]
| _ => pure #[[←infoFormatToHtml t]]
-def baseHtmlHead (title : String) : BaseHtmlM Html := do
- pure
-
- {title}
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+def baseHtmlHeadDeclarations : BaseHtmlM (Array Html) := do
+ pure #[
+ ,
+ ,
+ ,
+ ,
+ ,
+
+ ]
end DocGen4.Output
diff --git a/DocGen4/Output/Navbar.lean b/DocGen4/Output/Navbar.lean
index 9f71f45..eea77f0 100644
--- a/DocGen4/Output/Navbar.lean
+++ b/DocGen4/Output/Navbar.lean
@@ -58,7 +58,12 @@ The main entry point to rendering the navbar on the left hand side.
def navbar : BaseHtmlM Html := do
pure
- {←baseHtmlHead "Navbar"}
+
+ [←baseHtmlHeadDeclarations]
+
+
+
+