From d3f57a61875035a46cbefbd6fb621cadf92480b1 Mon Sep 17 00:00:00 2001
From: Jan Mas Rovira <janmasrovira@gmail.com>
Date: Thu, 1 Aug 2024 19:35:02 +0200
Subject: [PATCH] Put `Last modified` message inside footer tag (#2922)

This is needed so that the color of the text is set according to the
theme.

Before

![image](https://github.com/user-attachments/assets/d8a67cd1-8fef-4530-a3f8-75b755c6481b)

After

![image](https://github.com/user-attachments/assets/ae8e1ac7-9d88-4e0c-aabc-31d7c2ffb1a5)
---
 .../Backend/Html/Translation/FromTyped/Source.hs | 16 +++++++++-------
 1 file changed, 9 insertions(+), 7 deletions(-)

diff --git a/src/Juvix/Compiler/Backend/Html/Translation/FromTyped/Source.hs b/src/Juvix/Compiler/Backend/Html/Translation/FromTyped/Source.hs
index 223cfc63b8..61c6ce1f91 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 =