Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/website/dist/css/isabelle_screen.css
changeset 16241 bf058cdf6841
parent 16238 c1102cdf601f
child 16572 81778a796290 
--- a/Admin/website/dist/css/isabelle_screen.css	Sat Jun 04 21:43:55 2005 +0200
+++ b/Admin/website/dist/css/isabelle_screen.css	Sat Jun 04 21:49:30 2005 +0200
@@ -65,7 +65,7 @@
     bottom: 4px;
     padding: 0.5em 0.5em;
     float: left;
-    width: 15ex;
+    width: 17ex;
     background-color: #FFFFFF;
     border-top: 2px solid #0000A0;
     border-bottom: 2px solid #0000A0;
isabelle