From 0d2add6566b2563ea2eebfc79e1c01c01de9f6d3 2013-11-05 18:52:50
From: Thomas Kluyver <takowl@gmail.com>
Date: 2013-11-05 18:52:50
Subject: [PATCH] Fix width of search box

---

diff --git a/docs/source/_static/default.css b/docs/source/_static/default.css
index f0baf4b..38544c6 100644
--- a/docs/source/_static/default.css
+++ b/docs/source/_static/default.css
@@ -485,6 +485,12 @@ span.linkdescr {
     font-size: 90%;
 }
 
+.search input[name=q] {
+    max-width: 100%;
+    box-sizing: border-box;
+    -moz-box-sizing: border-box;
+}
+
 ul.search {
     margin: 10px 0 0 20px;
     padding: 0;