docs/resources/themes/stylesheets/ext4/default/variables/_window.scss

   1 $window-base-color: $base-color !default;
   2
   3 $window-border-radius: 5px 5px !default;
   4 $window-border-width: 1px !default;
   5 $window-border-color: adjust-color($window-base-color, $hue: 0.952deg, $saturation: -32.377%, $lightness: -13.725%) !default;
   6 $window-inner-border-width: 1px !default;
   7 $window-inner-border-color: adjust-color($window-base-color, $hue: 2.667deg, $saturation: 9.662%, $lightness: 11.373%) !default;
   8 $window-background-color: adjust-color($window-base-color, $hue: 0.267deg, $saturation: -21.309%, $lightness: 1.569%) !default;
   9
  10 $window-body-border-width: 1px !default;
  11 $window-body-border-style: solid !default;
  12 $window-body-border-color: adjust-color($window-base-color, $hue: 0.844deg, $saturation: 7.644%, $lightness: -8.627%) !default;
  13 $window-body-background-color: adjust-color($window-base-color, $hue: 3.188deg, $saturation: 0.542%, $lightness: 7.843%) !default;
  14 $window-body-color: #000 !default;
  15
  16 $window-header-padding: 5px 5px 0 !default;
  17 $window-header-font-size: ceil($font-size * .9) !default; //11px
  18 $window-header-color: adjust-color($window-base-color, $hue: -2.451deg, $saturation: 38.889%, $lightness: -55.882%) !default;
  19 $window-header-font-weight: bold !default;