etc/isabelle.css

--- a/etc/isabelle.css	Fri May 26 23:33:42 2017 +0200
+++ b/etc/isabelle.css	Sat May 27 00:30:48 2017 +0200
@@ -114,7 +114,7 @@
   visibility: hidden;
   width: 40em;
   border: 1px solid #808080;
-  padding: 3px 3px;
+  padding: 1px 1px;
   background-color: #FFFFE9;
   position: absolute;
   z-index: 1;