# HG changeset patch
# User wenzelm
# Date 1495883247 -7200
# Node ID 223fd19ac6b36e2c037621d4d5fb9232204d86ed
# Parent  5dd3974cf0bc7271c34d805e2e5134146fb3343a
tuned layout;

diff -r 5dd3974cf0bc -r 223fd19ac6b3 etc/isabelle.css
--- a/etc/isabelle.css	Sat May 27 13:01:25 2017 +0200
+++ b/etc/isabelle.css	Sat May 27 13:07:27 2017 +0200
@@ -111,6 +111,8 @@
 .error:hover .tooltip { visibility: visible; }
 
 .tooltip {
+  top: -0.5ex;
+  left: 5em;
   visibility: hidden;
   width: 40em;
   border: 1px solid #808080;