adjust search-top width for new categories menu

diff --git a/docs/themes/default/ie_styles.css b/docs/themes/default/ie_styles.css
index 6669ce6..d49afb5 100644 (file)
--- a/docs/themes/default/ie_styles.css
+++ b/docs/themes/default/ie_styles.css
@@ -13,7 +13,7 @@
 .search_top{
        white-space:nowrap;
        font-size:.8em;
-       width:22em;
+       width:40em;
        float:right;
        margin-right:8.5em;
 }