1 // Menu

     2 

     3 .@{prefix}-menu {

     4 	position: absolute;

     5 	left: 0; top: 0;

     6 	.reset-gradient();

     7 	z-index: 1000;

     8 	padding: 5px 0 5px 0;

     9 	margin: 2px 0 0;

    10 	min-width: 160px;

    11 	background: @menu-bg;

    12 	border: 1px solid mix(rgb(red(@menu-border), green(@menu-border), blue(@menu-border)), @panel-bg, round(alpha(@menu-border) * 200));

    13 	border: 1px solid @menu-border;

    14 	z-index: 1002;

    15 	.border-radius(6px);

    16 	.box-shadow(0 5px 10px rgba(0,0,0,.2));

    17 	max-height: 400px;

    18 	overflow: auto;

    19 	overflow-x: hidden;

    20 }

    21 

    22 .@{prefix}-menu i {

    23 	display: none;

    24 }

    25 

    26 .@{prefix}-menu-has-icons i {

    27 	display: inline-block;

    28 	*display: inline;

    29 }

    30 

    31 .@{prefix}-menu-sub-tr-tl { margin: -6px 0 0 -1px; }

    32 .@{prefix}-menu-sub-br-bl { margin: 6px 0 0 -1px; }

    33 .@{prefix}-menu-sub-tl-tr { margin: -6px 0 0 1px; }

    34 .@{prefix}-menu-sub-bl-br { margin: 6px 0 0 1px; }