+menubar
+ {
+ border-bottom : 3px solid #000000;
+ }
+
+menubar > .toolbar-holder
+ {
+ /* max-height is only important as long as we need to workaround bug 24998... */
+ max-height : 17px;
+ padding-right : 18px;
+ background-color : #6000CF;
+ background-image : url("chrome://global/skin/menubar-endcap.gif");
+ background-repeat : no-repeat;
+ background-position : right;
+
+/* THE FOLLOWING LINES ARE NOT WORKING THOUGH THEY SHOULD! BUG 24998 */
+/* -moz-border-radius : 0px 10px 10px 0px;
+ background-image : url("chrome://global/skin/toolbar-bg.gif");
+ background-repeat : repeat-y;
+ background-position : right;
+*/
+ }
+
+menubar > toolbargrippy
+ {
+/* display : none; */
+ }