From 4deb7bc556f9ba3c2bb82ae668fdf19e69c6c036 Mon Sep 17 00:00:00 2001
From: Danila Fedorin <danila.fedorin@gmail.com>
Date: Sun, 26 Nov 2023 16:32:27 -0800
Subject: [PATCH] Minor tweaks to style and rule rendering

---
 index.html             | 5 +++++
 src/Bergamot/Latex.elm | 1 +
 2 files changed, 6 insertions(+)

diff --git a/index.html b/index.html
index feee0b7..975fcbf 100644
--- a/index.html
+++ b/index.html
@@ -39,6 +39,11 @@ input[type="text"] {
     padding: 1em;
     border: 1px solid #c3c3c3;
     border-radius: 0.5em;
+    margin-top: 1em;
+}
+
+.elm-root h2 {
+    margin-bottom: 0.5em;
 }
   </style>
 </head>
diff --git a/src/Bergamot/Latex.elm b/src/Bergamot/Latex.elm
index 470ff9e..d0baf78 100644
--- a/src/Bergamot/Latex.elm
+++ b/src/Bergamot/Latex.elm
@@ -8,6 +8,7 @@ termToLatex f t =
     case t of
         Call "type" [t1, t2] -> termToLatex f t1 ++ " : " ++ termToLatex f t2
         Call "intlit" [t1]   -> termToLatex f t1
+        Call "strlit" [t1]   -> termToLatex f t1
         Call "tpair" [t1, t2] -> termToLatex f t1 ++ "\\times" ++ termToLatex f t2
         Call "plus" [t1, t2] -> termToLatex f t1 ++ " + " ++ termToLatex f t2
         Call "pair" [t1, t2] -> "(" ++ termToLatex f t1 ++ ", " ++ termToLatex f t2 ++ ")"