# HG changeset patch
# User wenzelm
# Date 1496224169 -7200
# Node ID 5b8fafde7d64526b27a5fbb1e1274f311c439239
# Parent  e2c25346b1561cdc9cc2e0950ff44c86ab904903
tuned layout;

diff -r e2c25346b156 -r 5b8fafde7d64 etc/isabelle.css
--- 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;