From 0342078b0bee470cb8670f1d69008015fd977d9c Mon Sep 17 00:00:00 2001
From: Ned Batchelder <ned@nedbatchelder.com>
Date: Sat, 25 Oct 2014 09:49:30 -0400
Subject: Make the filter box smaller

---
 coverage/htmlfiles/style.css | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'coverage/htmlfiles')

diff --git a/coverage/htmlfiles/style.css b/coverage/htmlfiles/style.css
index 0bdbaa96..9010af76 100644
--- a/coverage/htmlfiles/style.css
+++ b/coverage/htmlfiles/style.css
@@ -91,13 +91,13 @@ h1 {
     display: inline-block;
 }
 
-form#filter_container {
+#filter_container {
     display: inline-block;
     float: right;
-    margin: 0 3em 0 0;
+    margin: 0 2em 0 0;
 }
-form#filter_container input {
-    width: 24em;
+#filter_container input {
+    width: 10em;
 }
 
 h2.stats {
-- 
cgit v1.2.1