From 73cd969ca38139dd320a8f0dc1a03ab96a390c2c Mon Sep 17 00:00:00 2001
From: Jeremy Newman <jnewman@codeweavers.com>
Date: Mon, 8 Dec 2008 15:14:52 -0600
Subject: [PATCH] search box tweaks

---
 styles.css | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/styles.css b/styles.css
index 0e1ac42..d072472 100644
--- a/styles.css
+++ b/styles.css
@@ -53,7 +53,9 @@ BODY                {
                      width: 250px;
                      margin: 0;
                      padding: 0;
+                     font-size: 10px;
                     }
+#search_box INPUT   { font-size: 12px; width: 175px; margin: 0; padding: 2px; border: 1px inset red; }
 
 /* top tabs */
 #tabs               {