diff --git a/src/Juvix/Compiler/Backend/Html/Translation/FromTyped/Source.hs b/src/Juvix/Compiler/Backend/Html/Translation/FromTyped/Source.hs index 223cfc63b..61c6ce1f9 100644 --- a/src/Juvix/Compiler/Backend/Html/Translation/FromTyped/Source.hs +++ b/src/Juvix/Compiler/Backend/Html/Translation/FromTyped/Source.hs @@ -187,13 +187,15 @@ genModuleHtml o = do formattedTime :: Sem r Html formattedTime = - return $ - Html.span . toHtml $ - "Last modified on " - <> formatTime - defaultTimeLocale - "%Y-%m-%d %-H:%M %Z" - (o ^. genModuleHtmlArgsUTC) + return + . Html.footer + . Html.pre + . toHtml + $ "Last modified on " + <> formatTime + defaultTimeLocale + "%Y-%m-%d %-H:%M %Z" + (o ^. genModuleHtmlArgsUTC) justCode :: Sem r Html justCode =