$menu-background-color: #414551 !default;
$menu-text-color: #fff !default;
$menu-border-color: darken($panel-border-color, 15%) !default;
$menu-item-active-background-color: $orange !default;
$menu-item-active-border-color: darken($orange, 5) !default;
$menu-separator-border-color: #222233 !default;
$menu-separator-background-color: #666666 !default;

$menu-scroller-opacity: 1 !default;
$menu-scroller-opacity-over: .8 !default;
$menu-scroller-opacity-pressed: .6 !default;