diff --git a/DocGen4/Output/Base.lean b/DocGen4/Output/Base.lean
index eedc683..c68d218 100644
--- a/DocGen4/Output/Base.lean
+++ b/DocGen4/Output/Base.lean
@@ -224,7 +224,7 @@ def baseHtmlHeadDeclarations : BaseHtmlM (Array Html) := do
,
,
,
-
+
]
end DocGen4.Output
diff --git a/DocGen4/Output/Find.lean b/DocGen4/Output/Find.lean
index 3c987a3..d0f171c 100644
--- a/DocGen4/Output/Find.lean
+++ b/DocGen4/Output/Find.lean
@@ -10,7 +10,7 @@ def find : BaseHtmlM Html := do
pure
-
+