diff --git a/doc/_themes/blue/static/default.css_t b/doc/_themes/blue/static/default.css_t index 492b46ea415216e09849ba7f8749e42eaeb64d0b..e2127db1da4697ff1610f0c39f9a1bff9466d269 100644 --- a/doc/_themes/blue/static/default.css_t +++ b/doc/_themes/blue/static/default.css_t @@ -394,4 +394,12 @@ div.body ul.search li { div.linenodiv { min-width: 1em; text-align: right; +} + +div.sphinxsidebar #searchbox input[type="text"] { + width:auto; +} + +div.sphinxsidebar #searchbox input[type="submit"] { + width:auto; } \ No newline at end of file