# HG changeset patch
# User wenzelm
# Date 1497294779 -7200
# Node ID 8bd8750a2f9b80b627eb05c6e2dfc9ba23c398bc
# Parent  408a5325379c82b277cb2af82970452b4fd3b0fb
avoid overlapping line background, notably for "quoted";

diff -r 408a5325379c -r 8bd8750a2f9b etc/isabelle.css
--- 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; }