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; */
  }