$menu-separator-size: 1px !default;
|
$menu-item-active-background-color: mix(#fff, $base-light-color, 50%) !default;
|
$menu-border-width: 1px !default;
|
$menu-item-margin: 0 !default;
|
$menu-item-border-width: 0 !default;
|
$menu-padding: 0 !default;
|
$menu-item-trailing-padding: 4px !default;
|
$menu-glyph-color: #808080 !default;
|
$menu-scroller-height: 16px !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;
|
|
$menu-glyph-color: #808080 !default;
|
