2008-11-18 12:13:34 +00:00
parent f0eb8cf08c
commit 6aa0ddda51
2 changed files with 25 additions and 25 deletions
--- a/src/HydraFrontend/root/hydra.css
+++ b/src/HydraFrontend/root/hydra.css
@@ -360,7 +360,7 @@ input.string {
    font-family: sans-serif;
    font-size: 100%;
    background-color: #fffff0;
-    width: 13em;
+    width: 20em;
 }

 input.shortString {