Jump box can be bigger when not in menu

diff --git a/static/common.css b/static/common.css
index 4d3c69bf6a8472f5813e2637ef6f0248e5ed0b2b..84cee7fd201b2d2a70894719f17f76793a18b8e1 100644 (file)
--- a/static/common.css
+++ b/static/common.css
@@ -24,7 +24,7 @@ textarea
 }
 input.jump
 {
-       width: 8em;
+       width: 16em;
 }
 form.jump p
 {