diff --git a/DocGen4/Output/Template.lean b/DocGen4/Output/Template.lean index 5d82257..0e28fc6 100644 --- a/DocGen4/Output/Template.lean +++ b/DocGen4/Output/Template.lean @@ -45,7 +45,7 @@ def baseHtml (title : String) (site : Html) : HtmlM Html := do -- Lean in JS in HTML in Lean...very meta -- TODO Add more js stuff