Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
avoid overlapping line background, notably for "quoted";
authorwenzelm
Mon, 12 Jun 2017 21:12:59 +0200
changeset 66076 8bd8750a2f9b
parent 66075 408a5325379c
child 66077 1700b74ebbb9
avoid overlapping line background, notably for "quoted";
etc/isabelle.css file | annotate | diff | comparison | revisions 
--- 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; }
isabelle