3 $font-family: "Lucida Sans Unicode", "Lucida Grande", Verdana, Arial, Helvetica, sans-serif;
6 @import 'ext4/default/all';
8 $highlight-background-color: #7b8b9d;
10 $header-background-color: darken($highlight-background-color, 30);
11 $sidebar-background-color: #eaeaea;
12 $review-background-color: lighten($highlight-background-color, 20);
20 @include background-gradient($header-background-color, 'matte');
26 text-shadow: 0 1px 0 darken($header-background-color, 15);
28 border-bottom: 1px solid darken($header-background-color, 15) !important;
31 //for browsers that dont support linear gradients
34 background: url(../images/legacy/header-bg.png) repeat-x;
42 //border-right: 1px solid $panel-border-color !important;
44 background: $sidebar-background-color;
49 text-shadow: 0 1px 0 darken($highlight-background-color, 20);
51 border-color: $highlight-background-color;
53 @include background-gradient($highlight-background-color, 'matte');
57 //for browsers that dont support linear gradients
61 background: url(../images/legacy/sidebar-selected-bg.png) repeat-x;
70 text-transform: uppercase;
71 text-shadow: 0 1px 0 lighten(#e8ecf1, 10);
79 border-color: $sidebar-background-color;
90 @include background-gradient($review-background-color, 'recessed');
92 border: 1px solid darken($review-background-color, 10);
94 color: darken($highlight-background-color, 40);
100 color: lighten($highlight-background-color, 40);
102 text-shadow: 0 1px 0 darken($review-background-color, 10);
104 @include background-gradient($header-background-color, 'matte');
109 color: lighten($highlight-background-color, 2);
117 background: lighten($review-background-color, 20);
134 color: darken($highlight-background-color, 30);
140 color: darken($highlight-background-color, 40);
159 border-right: 1px solid $panel-border-color;
170 color: $highlight-background-color;
178 border-bottom: 1px solid #eaeaea;
180 padding-bottom: 10px;