diff --git a/index.html b/index.html
index 975fcbf..2bd73a9 100644
--- a/index.html
+++ b/index.html
@@ -44,6 +44,8 @@ input[type="text"] {
 
 .elm-root h2 {
     margin-bottom: 0.5em;
+    font-family: sans-serif;
+    font-weight: normal;
 }
   </style>
 </head>
diff --git a/src/Bergamot/Latex.elm b/src/Bergamot/Latex.elm
index fb6a459..fd8cba7 100644
--- a/src/Bergamot/Latex.elm
+++ b/src/Bergamot/Latex.elm
@@ -14,7 +14,7 @@ termToLatex f t =
         Call "abs" [t1, t2, t3] -> "\\lambda " ++ termToLatex f t1 ++ " : " ++ termToLatex f t2 ++ ".\\ " ++ termToLatex f t3
         Call "app" [t1, t2] -> termToLatex f t1 ++ "\\ " ++ termToLatex f t2
         Call "type" [t1, t2] -> termToLatex f t1 ++ " : " ++ termToLatex f t2
-        Call "type" [t1, t2, t3] -> termToLatex f t1 ++ "\\vdash\\ " ++ termToLatex f t2 ++ " : " ++ termToLatex f t3
+        Call "type" [t1, t2, t3] -> termToLatex f t1 ++ "\\vdash " ++ termToLatex f t2 ++ " : " ++ termToLatex f t3
         Call "tpair" [t1, t2] -> termToLatex f t1 ++ "\\times" ++ termToLatex f t2
         Call "tarr" [t1, t2] -> termToLatex f t1 ++ "\\to" ++ termToLatex f t2
         Call "extend" [t1, t2, t3] -> termToLatex f t1 ++ ",\\ " ++ termToLatex f t2 ++ " : " ++ termToLatex f t3