2 background: $base-background-color;
3 @include border-radius($base-border-radius-width);
4 @include box-shadow(0 0 0 1px bla($base-background-alpha*.5), 0 0 0 1px bla($base-background-alpha*.5) inset);
5 border:1px solid wha(.5);
6 border-top-color: wha(1);
10 @include background($gloss-gradient);
11 @include border-radius($base-border-radius-width $base-border-radius-width 0 0);
12 @include box-shadow(0 1px 0 0 bla(.35));
13 padding: $window-header-padding;
14 line-height: $window-header-height;
15 height: $window-header-height;
20 padding: $window-body-padding;
21 background-color:bla(.1);