Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned layout;
authorwenzelm
Wed, 31 May 2017 11:49:29 +0200
changeset 65982 5b8fafde7d64
parent 65981 e2c25346b156
child 65983 d8c5603c1732
tuned layout;
etc/isabelle.css file | annotate | diff | comparison | revisions 
--- 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;
isabelle