--- a/web/data/cubicweb.ie.css	Mon Jun 21 16:01:57 2010 +0200
+++ b/web/data/cubicweb.ie.css	Mon Jun 21 16:13:41 2010 +0200
@@ -4,8 +4,20 @@
   margin-top: 0px;
 }
 
-/* quick and dirty solution for pop to be 
+/* quick and dirty solution for pop to be
    correctly displayed on right edge of window */
-div.popupWrapper{ 
+div.popupWrapper{
   direction:rtl;
 }
+
+div#rqlinput input.rqlsubmit{
+  height: 24px;
+  width: 24px;
+}
+
+
+table#mainLayout #navColumnLeft,
+table#mainLayout #navColumnRight {
+  width: auto;
+}
+