89
89
border-left-color: alpha (shade (@dark_bg_color, 1.5), 0.4);
93
background-image: -gtk-gradient (linear, left top, left bottom,
99
background-image: -gtk-gradient (linear, left top, left bottom,
106
background-image: -gtk-gradient (linear, left top, left bottom,
93
113
text-shadow: 0 -1px shade (@dark_bg_color, 0.6);