1 $gloss-gradient: linear-gradient(top, rgba(255,255,255, .25) 0%, rgba(255,255,255, .15) 50%,rgba(255,255,255, 0) 50%, rgba(255,255,255, 0) 100%);
7 $base-text-color: #FFF;
9 $base-background-alpha: .85;
10 $base-background-color: bla($base-background-alpha);
12 $base-border-radius-width: 6px;
14 $base-header-padding: 0 3px 0 6px;
15 $base-header-height: 24px;
16 $base-body-padding: 0;
18 $accent-color: #066cd1;
24 $panel-background: $base-background-color;
25 $panel-header-padding: $base-header-padding;
26 $panel-header-height: $base-header-height;
27 $panel-body-padding: $base-body-padding;
33 $window-header-padding: $base-header-padding;
34 $window-header-height: $base-header-height;
35 $window-body-padding: $base-body-padding;