# HG changeset patch
# User wenzelm
# Date 1543357258 -3600
# Node ID 736c628cf00627fcdf272d7bb66a8a353d108476
# Parent  7cef9e386ffe50999143339730954f6025b53a42
adjusted to Isabelle DejaVu fonts (see also 8bd8750a2f9b, b3c665940d62);

diff -r 7cef9e386ffe -r 736c628cf006 etc/isabelle.css
--- a/etc/isabelle.css	Tue Nov 27 21:07:39 2018 +0100
+++ b/etc/isabelle.css	Tue Nov 27 23:20:58 2018 +0100
@@ -18,7 +18,6 @@
   background-color: #FFFFFF;
   padding: 10px;
   font-family: "Isabelle DejaVu Sans Mono", monospace;
-  line-height: 147%;
 }
 
 .theories { background-color: #FFFFFF; padding: 10px; }