changed css for search panel

diff --git a/doc/_themes/blue/static/default.css_t b/doc/_themes/blue/static/default.css_t
index 37215e1..490654e 100644 (file)
--- a/doc/_themes/blue/static/default.css_t
+++ b/doc/_themes/blue/static/default.css_t
@@ -87,6 +87,7 @@ div.sphinxsidebar {
     word-wrap: break-word;
     {%- if theme_stickysidebar|tobool %}
     top: 30px;
+    width: 240px;
     margin: 0;
     position: fixed;
     overflow: auto;