/** @class Ext.menu.Menu */
//

$menu-separator-size: 1px !default;
$menu-item-active-background-color: mix(#fff, $base-light-color, 50%) !default;
$menu-border-width: 1px !default;
$menu-item-border-width: 0 !default;
$menu-padding: 0 !default;
$menu-glyph-color: #808080 !default;
$menu-scroller-height: 16px !default;
$menu-item-text-vertical-offset: 1px !default;

$menu-item-icon-horizontal-spacing: 5px !default;
$menu-item-text-horizontal-spacing: 5px !default;
$menu-scroller-opacity: .5 !default;
$menu-scroller-opacity-over: .6 !default;
$menu-scroller-opacity-pressed: .7 !default;

// Margins for non-MenuItem components in menus
$menu-component-margin: 2px !default;
