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

   1 $window-border-radius: 5px 5px !default;
   2 $window-border-width: 1px !default;
   3 $window-border-color: darken(desaturate($panel-border-color, 40%), 5%) !default;
   4 $window-inner-border-width: 1px !default;
   5 $window-inner-border-color: lighten($panel-border-color, 20%) !default;
   6 $window-background-color: #CED9E7 !default;
   7
   8 $window-body-border-width: 1px !default;
   9 $window-body-border-style: solid !default;
  10 $window-body-border-color: $panel-body-border-color !default;
  11 $window-body-background-color: #DFE8F6 !default;
  12 $window-body-color: #000 !default;
  13
  14 $window-header-padding: 5px 5px 0 !default;
  15 $window-header-font-size: ceil($font-size * .9) !default; //11px
  16 $window-header-color: $panel-header-color !default;
  17 $window-header-font-weight: bold !default;