resources/themes/stylesheets/ext4/default/variables/_menu.scss

   1 //backgrounds
   2 $menu-background-color: #F0F0F0 !default;
   3 $menu-item-active-background-image: 'menu/menu-item-active-bg.gif';
   4 $menu-item-active-background-color: #D9E8FB !default;
   5
   6 //border
   7 $menu-item-active-border-color: #A9CBF5 !default;
   8 $menu-separator-border-color: #E0E0E0 !default;
   9 $menu-separator-background-color: #FFF !default;
  10
  11 //sizes
  12 $menu-item-indent: 27px !default;
  13 $menu-padding: 2px !default;
  14 $menu-link-padding: 6px 2px 3px 32px !default;
  15
  16 //text
  17 $menu-text-color: #222 !default;
  18
  19 //icons
  20 $menu-icon-arrow: 'menu/menu-parent.gif';
  21 $menu-icon-checked: 'menu/checked.gif';
  22 $menu-icon-group-checked: 'menu/group-checked.gif';
  23 $menu-icon-unchecked: 'menu/unchecked.gif';