Fixed searchbox in docs

diff --git a/docs/_themes/babel/static/babel.css_t b/docs/_themes/babel/static/babel.css_t
index 924284a2c121cc4b9695528688be962da43050f0..e7d2116b581d42cb4a60a46796c2dacc7ac589ea 100644 (file)
--- a/docs/_themes/babel/static/babel.css_t
+++ b/docs/_themes/babel/static/babel.css_t
@@ -146,6 +146,10 @@ div.sphinxsidebar input {
     font-size: 1em;
 }
 
+div.sphinxsidebar #searchbox input[type="text"] {
+    width: 140px;
+}
+
 /* -- body styles ----------------------------------------------------------- */
 
 a {