--- a/etc/isabelle.css Mon Jun 12 20:24:40 2017 +0200
+++ b/etc/isabelle.css Mon Jun 12 21:12:59 2017 +0200
@@ -18,7 +18,7 @@
background-color: #FFFFFF;
padding: 10px;
font-family: IsabelleText;
- line-height: 120%;
+ line-height: 147%;
}
.theories { background-color: #FFFFFF; padding: 10px; }