--- 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;