| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252 | <!DOCTYPE html><html><head>  <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />  <title>The source code</title>  <link href="../resources/prettify/prettify.css" type="text/css" rel="stylesheet" />  <script type="text/javascript" src="../resources/prettify/prettify.js"></script>  <style type="text/css">    .highlight { display: block; background-color: #ddd; }  </style>  <script type="text/javascript">    function highlight() {      document.getElementById(location.hash.replace(/#/, "")).className = "highlight";    }  </script></head><body onload="prettyPrint(); highlight();">  <pre class="prettyprint lang-js"><span id='Ext-window-Window-css_mixin-extjs-window'>/**</span> * Creates the base structure of an Ext.Window * @member Ext.window.Window */@mixin extjs-window {    .#{$prefix}window {        outline: none;        overflow: hidden;        .#{$prefix}window-wrap {            position: relative;        }    }    .#{$prefix}window-body {        position: relative;        border-style: $window-body-border-style;        overflow: hidden;    }    //maximized window    .#{$prefix}window-maximized {        .#{$prefix}window-wrap {            .#{$prefix}window-header {                @include important-no-border-radius;            }        }    }    .#{$prefix}window-header-top {        margin-bottom: -2px;    }    .#{$prefix}window-header-body-horizontal {        margin-top: -1px;    }    .#{$prefix}window-header-bottom {        margin-top: -1px;        margin-bottom: -1px;    }    .#{$prefix}window-header-left {        margin-right: -1px;    }    .#{$prefix}window-header-right {        margin-left: -1px;    }    .#{$prefix}window-header-vertical {        .#{$prefix}surface {            padding-left: 1px;        }    }    // collapsed window header styles    .#{$prefix}window-collapsed {        .#{$prefix}window-header-vertical {            @include border-radius(5px);        }        .#{$prefix}window-header-horizontal {            @include border-radius(5px);        }        // Padding changes for collapsed headers.        .#{$prefix}window-header-left {            padding-right: 5px !important;            margin-right: 0;        }        .#{$prefix}window-header-right {            padding-left: 5px !important;            margin-left: 0;        }        .#{$prefix}window-header-top {            padding-bottom: 5px !important;            margin-bottom: -1px;        }        .#{$prefix}window-header-bottom {            padding-top: 5px !important;            margin-top: 0;        }    }    .#{$prefix}window-header-left,    .#{$prefix}window-header-right {        .#{$prefix}vml-base {            left: -3px !important;        }    }    .#{$prefix}opera,    .#{$prefix}strict .#{$prefix}ie9 {        .#{$prefix}window-header-vertical {            .#{$prefix}surface {                padding-left: 2px;            }        }    }    .#{$prefix}window-header-text-container {        overflow: hidden;        -o-text-overflow: ellipsis;        text-overflow: ellipsis;    }    .#{$prefix}window-header-text {        @include no-select;        white-space: nowrap;    }    @include extjs-window-ui(        'default',        $ui-border-radius: $window-border-radius,        $ui-border-color: $window-border-color,        $ui-inner-border-color: $window-inner-border-color,        $ui-header-color: $window-header-color,        $ui-body-border-color: $window-body-border-color,        $ui-body-background-color: $window-body-background-color,        $ui-body-color: $window-body-color,        $ui-background-color: $window-background-color    );    .#{$prefix}window-body-plain {        background: transparent;    }}<span id='Ext-window-Window-css_mixin-extjs-window-ui'>/**</span> * Creates a visual theme for an Ext.Panel * @member Ext.window.Window */@mixin extjs-window-ui(    $ui-label,    $ui-padding: null,    $ui-border-radius: null,    $ui-border-color: null,    $ui-inner-border-color: null,    $ui-header-color: null,    $ui-header-font-size: $window-header-font-size,    $ui-header-font-weight: $window-header-font-weight,    $ui-body-border-color: null,    $ui-body-background-color: null,    $ui-body-color: null,    $ui-background-color: null){    $ui-header-text-height: $window-header-line-height;    .#{$prefix}window-#{$ui-label} {        @if $ui-border-color != null { border-color: $ui-border-color; }        @if $ui-border-radius != null { @include border-radius($ui-border-radius); }        @if $ui-inner-border-color != null { @include inner-border($window-inner-border-width, $ui-inner-border-color); }    }    @if $ui-border-radius != null {        @include x-frame(            'window',            $ui-label,            $border-radius: $ui-border-radius,            $border-width: $window-border-width,            $padding: $ui-padding,            $background-color: $ui-background-color        );    }    .#{$prefix}window-body-#{$ui-label} {        @if $ui-body-border-color !=null {            border-color: $ui-body-border-color;            border-width: $window-body-border-width;        }        @if $ui-body-background-color != null { background: $ui-body-background-color; }        @if $ui-body-color != null { color: $ui-body-color; }    }    .#{$prefix}window-header-#{$ui-label} {        @if $ui-header-font-size != null { font-size: $ui-header-font-size; }        @if $ui-border-color != null { border-color: $ui-border-color; }        zoom:1;    }    .#{$prefix}window-header-text-#{$ui-label} {        @if $ui-header-color != null { color: $ui-header-color; }        @if $ui-header-font-weight != null { font-weight: $ui-header-font-weight; }        line-height: $ui-header-text-height;        font-family: $font-family;        font-size: $ui-header-font-size;    }    @if $ui-border-radius != null {        @include x-frame('window-header', '#{$ui-label}-top',    top($ui-border-radius) right($ui-border-radius) 0 0, top($window-border-width) right($window-border-width) 0 left($window-border-width), 4px 5px 0, $ui-background-color);        @include x-frame('window-header', '#{$ui-label}-right',  0 right($ui-border-radius) bottom($ui-border-radius) 0, top($window-border-width) right($window-border-width) bottom($window-border-width) 0, 5px 4px 5px 0, $ui-background-color);        @include x-frame('window-header', '#{$ui-label}-bottom', 0 0 bottom($ui-border-radius) left($ui-border-radius), 0 right($window-border-width) bottom($window-border-width) left($window-border-width), 0 5px 4px, $ui-background-color);        @include x-frame('window-header', '#{$ui-label}-left',   top($ui-border-radius) 0 0 left($ui-border-radius), top($window-border-width) 0 bottom($window-border-width) left($window-border-width), 5px 0px 5px 4px, $ui-background-color);        // collapsed window header styles        @include x-frame('window-header', '#{$ui-label}-collapsed-top',    $ui-border-radius, $window-border-width, 4px 5px 4px, $ui-background-color);        @include x-frame('window-header', '#{$ui-label}-collapsed-right',  $ui-border-radius, $window-border-width, 5px 4px, $ui-background-color);        @include x-frame('window-header', '#{$ui-label}-collapsed-bottom', $ui-border-radius, $window-border-width, 4px 5px 4px, $ui-background-color);        @include x-frame('window-header', '#{$ui-label}-collapsed-left',   $ui-border-radius, $window-border-width, 5px 4px, $ui-background-color);    }    .#{$prefix}window-header-#{$ui-label}-top {        @include inner-border(1px 1px 0, $ui-inner-border-color);    }    .#{$prefix}window-header-#{$ui-label}-right {        @include inner-border(1px 1px 1px 0, $ui-inner-border-color);    }    .#{$prefix}window-header-#{$ui-label}-bottom {        @include inner-border(0px 1px 1px, $ui-inner-border-color);    }    .#{$prefix}window-header-#{$ui-label}-left {        @include inner-border(1px 0 1px 1px, $ui-inner-border-color);    }}</pre></body></html>
 |