--- a/etc/isabelle.css Wed May 31 11:43:37 2017 +0200
+++ b/etc/isabelle.css Wed May 31 11:49:29 2017 +0200
@@ -114,7 +114,7 @@
top: -0.5ex;
left: 5em;
visibility: hidden;
- width: 40em;
+ width: 50em;
border: 1px solid #808080;
padding: 1px 1px;
background-color: #FFFFE9;