+++ /dev/null
-
-toolbox
- {
- background-color : #000000;
- }
-
-toolbar
- {
- background-color : #FF9F00;
-/* border : 1px solid #9C9CFF; */
- }
-
-toolbargrippy
- {
- background-color : #000000;
- border : none;
- }
-
-toolbar[collapsed="true"] > toolbargrippy
- {
- width : 30px;
- }
-
-toolbarseparator
- {
- width : 2em;
- }
-
-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; */
- }