From c9f9432e89b37054f682c7e505f8f4ff910fa1af Mon Sep 17 00:00:00 2001
From: Michal Vaner <vorner@ucw.cz>
Date: Sun, 5 Oct 2008 00:07:23 +0200
Subject: [PATCH] Jump box can be bigger when not in menu

---
 static/common.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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