| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509 | <!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-panel-Panel-css_mixin-extjs-panel'>/**</span> * Create the base structure of an Ext.Panel * @member Ext.panel.Panel */@mixin extjs-panel {    .#{$prefix}panel,    .#{$prefix}plain {        overflow: hidden;        position: relative;    }     @if $include-ie {        // Workaround for disappearing right edge in IE6        .#{$prefix}ie {            .#{$prefix}panel-header,            .#{$prefix}panel-header-tl,            .#{$prefix}panel-header-tc,            .#{$prefix}panel-header-tr,            .#{$prefix}panel-header-ml,            .#{$prefix}panel-header-mc,            .#{$prefix}panel-header-mr,            .#{$prefix}panel-header-bl,            .#{$prefix}panel-header-bc,            .#{$prefix}panel-header-br {                zoom: 1;            }        }        // Fix for IE8 clipping. EXTJSIV-1553        .#{$prefix}ie8 {            td.#{$prefix}frame-mc {                vertical-align: top;            }        }    }    //panel header    .#{$prefix}panel-header-horizontal {        padding: $panel-header-padding;    }    .#{$prefix}panel-header-vertical {        padding: $panel-header-vertical-padding;    }    .#{$prefix}panel-header-icon,    .#{$prefix}window-header-icon {        width: $panel-header-icon-width;        height: $panel-header-icon-height;        background-repeat:no-repeat;        background-position:0 0;        vertical-align:middle;        margin-right:4px;    }    .#{$prefix}vertical {        .#{$prefix}panel-header-icon,        .#{$prefix}window-header-icon {            margin: 0 0 4px;        }    }    .#{$prefix}panel-header-draggable,    .#{$prefix}panel-header-draggable .#{$prefix}panel-header-text,    .#{$prefix}window-header-draggable,    .#{$prefix}window-header-draggable .#{$prefix}window-header-text{        cursor: move;    }    // A ghost is just a Panel. The only extra it needs is opacity.    // TODO: Make opacity a variable    .#{$prefix}panel-ghost, .#{$prefix}window-ghost {        @include opacity(0.65);        cursor: move;    }    .#{$prefix}panel-header-horizontal, .#{$prefix}window-header-horizontal, .#{$prefix}btn-group-header-horizontal {        .#{$prefix}panel-header-body, .#{$prefix}window-header-body, .#{$prefix}btn-group-header-body {            width: 100%;        }    }    .#{$prefix}panel-header-vertical, .#{$prefix}window-header-vertical, .#{$prefix}btn-group-header-vertical {        .#{$prefix}panel-header-body, .#{$prefix}window-header-body, .#{$prefix}btn-group-header-body {            height: 100%;        }    }    .#{$prefix}panel-header-text-container {        overflow: hidden;        -o-text-overflow: ellipsis;        text-overflow: ellipsis;    }    .#{$prefix}panel-header-text {        @include no-select;        white-space: nowrap;    }    .#{$prefix}panel-header-left,    .#{$prefix}panel-header-right {        .#{$prefix}vml-base {            left: -3px !important;        }    }    //panel body    .#{$prefix}panel-body {        overflow: hidden;        position: relative;        font-size: $panel-body-font-size;    }    .#{$prefix}panel-header-vertical {        .#{$prefix}surface {            padding-left: 1px;        }    }    .#{$prefix}opera,    .#{$prefix}strict .#{$prefix}ie9 {        .#{$prefix}panel-header-vertical {            .#{$prefix}surface {                padding-left: 2px;            }        }    }    .#{$prefix}panel-collapsed {        .#{$prefix}panel-header-collapsed-border-top {            border-bottom-width: $panel-header-border-width !important;        }        .#{$prefix}panel-header-collapsed-border-right {            border-left-width: $panel-header-border-width !important;        }        .#{$prefix}panel-header-collapsed-border-bottom {            border-top-width: $panel-header-border-width !important;        }        .#{$prefix}panel-header-collapsed-border-left {            border-right-width: $panel-header-border-width !important;        }    }    @if not $supports-gradients or $compile-all {        .#{$prefix}nlg .#{$prefix}panel-header-vertical {            .#{$prefix}frame-mc {                background-repeat: repeat-y;            }        }    }    @if $include-panel-uis == true {        @include extjs-panel-ui(            'default',            $ui-base-color: $panel-base-color,            $ui-border-width: $panel-border-width,            $ui-border-color: $panel-border-color,            $ui-border-radius: $panel-border-radius,            $ui-header-color: $panel-header-color,            $ui-header-font-size: $panel-header-font-size,            $ui-header-font-weight: $panel-header-font-weight,            $ui-header-border-color: $panel-header-border-color,            $ui-header-background-color: $panel-header-background-color,            $ui-header-background-gradient: $panel-header-background-gradient,            $ui-body-color: $panel-body-color,            $ui-body-border-color: $panel-body-border-color,            $ui-body-border-width: 1px,            $ui-body-background-color: $panel-body-background-color        );        @include extjs-panel-ui(            'default-framed',            $ui-base-color: $panel-base-color,            $ui-border-width: $panel-frame-border-width,            $ui-border-color: $panel-frame-border-color,            $ui-border-radius: $panel-frame-border-radius,            $ui-header-color: $panel-header-color,            $ui-header-font-size: $panel-header-font-size,            $ui-header-font-weight: $panel-header-font-weight,            $ui-header-border-color: $panel-frame-border-color,            $ui-header-background-color: $panel-header-background-color,            $ui-header-background-gradient: $panel-header-background-gradient,            $ui-body-color: $panel-body-color,            $ui-body-border-color: $panel-body-border-color,            $ui-body-border-width: 0,            $ui-body-background-color: $panel-frame-background-color,            $ui-image-label-with-border-radius: 'default'        );    }    .#{$prefix}panel-header-plain,    .#{$prefix}panel-body-plain {        border: 0;        padding: 0;    }}<span id='Ext-panel-Panel-css_mixin-extjs-panel-ui'>/**</span> * Creates a visual theme for an Ext.Panel * @member Ext.panel.Panel */@mixin extjs-panel-ui(    $ui-label,    $ui-base-color: null,    $ui-border-color: null,    $ui-border-radius: null,    $ui-border-width: 0,    $ui-header-color: null,    $ui-header-font-family: $panel-header-font-family,    $ui-header-font-size: $panel-header-font-size,    $ui-header-font-weight: $panel-header-font-weight,    $ui-header-line-height: $panel-header-line-height,    $ui-header-border-color: $ui-border-color,    $ui-header-background-color: null,    $ui-header-background-gradient: matte,    $ui-header-inner-border-color: null,    $ui-body-color: null,    $ui-body-border-color: null,    $ui-body-border-width: null,    $ui-body-border-style: solid,    $ui-body-background-color: null,    $ui-body-font-size: null,    $ui-body-font-weight: null,    // optional image label to use when background header images are required (no linear-gradient),    // but border-radius is supported (no framing els) e.g. IE9.    $ui-image-label-with-border-radius: null){    @if $ui-base-color != null {        @if $ui-border-color == null { $ui-border-color: $ui-base-color; }        @if $ui-header-color == null { $ui-header-color: #fff; }        @if $ui-header-background-color == null { $ui-header-background-color: lighten($ui-base-color, 15); }    }    @if $ui-header-inner-border-color == null and $ui-header-background-color != null {        $ui-header-inner-border-color: lighten($ui-header-background-color, 10);    }    .#{$prefix}panel-#{$ui-label} {        @if $ui-border-color != null { border-color: $ui-border-color; }    }    // header    .#{$prefix}panel-header-#{$ui-label} {        @if $ui-header-font-size != null { font-size: $ui-header-font-size; }        @if $ui-header-border-color != null {            border-color: $ui-header-border-color;            border-width: $panel-header-border-width;            border-style: $panel-header-border-style;        }        @if $supports-gradients or $compile-all {            @if $ui-header-background-color != null { @include background-gradient($ui-header-background-color, $ui-header-background-gradient); }            @if $panel-header-inner-border and $ui-header-inner-border-color != null {                @include inner-border(                    $width: $panel-header-inner-border-width,                    $color: $ui-header-inner-border-color                );            }        }    }    // header background images    @if $ui-header-background-color != null and $ui-header-background-gradient != null {        @if not $supports-gradients or $compile-all {            .#{$prefix}nlg .#{$prefix}panel-header-#{$ui-label}-top {                background-image: theme-background-image($theme-name, 'panel-header/panel-header-#{$ui-label}-top-bg.gif');            }            .#{$prefix}nlg .#{$prefix}panel-header-#{$ui-label}-bottom {                background-image: theme-background-image($theme-name, 'panel-header/panel-header-#{$ui-label}-bottom-bg.gif');            }            .#{$prefix}nlg .#{$prefix}panel-header-#{$ui-label}-left {                background-image: theme-background-image($theme-name, 'panel-header/panel-header-#{$ui-label}-left-bg.gif');            }            .#{$prefix}nlg .#{$prefix}panel-header-#{$ui-label}-right {                background-image: theme-background-image($theme-name, 'panel-header/panel-header-#{$ui-label}-right-bg.gif');            }            .#{$prefix}nlg .#{$prefix}panel-header-#{$ui-label}-right {                background-position: top right;            }            .#{$prefix}nlg .#{$prefix}panel-header-#{$ui-label}-bottom {                background-position: bottom left;            }            @if $ui-border-radius != null {                .#{$prefix}nbr {                    // If framing elements are used to achieve rounded corners remove the background image from the header element since the framing elements                    // already have the background image, and a background image on the main header element bleeds through the corner framing elements.                    .#{$prefix}panel-header-#{$ui-label} {                        background-image: none;                    }                }            }            @if $ui-image-label-with-border-radius != null {                // IE9 strict, Opera < 11.10, and Safari 3 are the only currently supported browsers that support border-radius, but do not support linear-gradient.                .#{$prefix}strict .#{$prefix}ie9,                .#{$prefix}nlg.#{$prefix}opera,                .#{$prefix}nlg.#{$prefix}safari {                    .#{$prefix}panel-header-#{$ui-label}-top {                        background-image: theme-background-image($theme-name, 'panel-header/panel-header-#{$ui-image-label-with-border-radius}-top-bg.gif');                    }                    .#{$prefix}panel-header-#{$ui-label}-bottom {                        background-image: theme-background-image($theme-name, 'panel-header/panel-header-#{$ui-image-label-with-border-radius}-bottom-bg.gif');                    }                    .#{$prefix}panel-header-#{$ui-label}-left {                        background-image: theme-background-image($theme-name, 'panel-header/panel-header-#{$ui-image-label-with-border-radius}-left-bg.gif');                    }                    .#{$prefix}panel-header-#{$ui-label}-right {                        background-image: theme-background-image($theme-name, 'panel-header/panel-header-#{$ui-image-label-with-border-radius}-right-bg.gif');                    }                }            }        }    }    // header text    .#{$prefix}panel-header-text-#{$ui-label} {        @if $ui-header-color != null { color: $ui-header-color; }        @if $ui-header-font-size != null {   font-size: $ui-header-font-size; }        @if $ui-header-font-weight != null { font-weight: $ui-header-font-weight; }        @if $ui-header-font-family != null { font-family: $ui-header-font-family; }        @if $ui-header-line-height != null { line-height: $ui-header-line-height; }    }    // body    .#{$prefix}panel-body-#{$ui-label} {        @if $ui-body-background-color != null { background: $ui-body-background-color; }        @if $ui-body-border-color != null {     border-color: $ui-body-border-color; }        @if $ui-body-color != null {            color: $ui-body-color; }        @if $ui-body-font-size != null {        font-size: $ui-body-font-size; }        @if $ui-body-font-weight != null {      font-size: $ui-body-font-weight; }        @if $ui-body-border-width != null {            border-width: $ui-body-border-width;            @if $ui-body-border-style != null { border-style: $ui-body-border-style; }        }    }    .#{$prefix}panel-collapsed {        .#{$prefix}window-header-#{$ui-label},        .#{$prefix}panel-header-#{$ui-label} {            @if $ui-body-border-color != null { border-color: $ui-body-border-color; }        }    }    .#{$prefix}panel-header-#{$ui-label}-vertical {        @if $ui-body-border-color != null { border-color: $ui-body-border-color; }    }    @if $ui-base-color != null {        @if $supports-gradients or $compile-all {            .#{$prefix}panel-header-#{$ui-label}-left,            .#{$prefix}panel-header-#{$ui-label}-right {                @include background-gradient($ui-header-background-color, $ui-header-background-gradient, right);            }        }    }    @if $ui-border-radius != null {        @include x-frame(            'panel',            $ui: '#{$ui-label}',            /* Radius, width, padding and background-color */            $border-radius   : $ui-border-radius,            $border-width    : $ui-border-width,            $padding         : $panel-frame-padding,            $background-color: $ui-body-background-color        );        @include x-frame('panel-header', '#{$ui-label}-top',    top($ui-border-radius) right($ui-border-radius) 0 0,    top($ui-border-width) right($ui-border-width) 0 left($ui-border-width), $panel-header-padding, $ui-header-background-color, $ui-header-background-gradient);        @include x-frame('panel-header', '#{$ui-label}-right',  0 right($ui-border-radius) bottom($ui-border-radius) 0, top($ui-border-width) right($ui-border-width) bottom($ui-border-width) 0, $panel-header-vertical-padding, $ui-header-background-color, $ui-header-background-gradient, false, right);        @include x-frame('panel-header', '#{$ui-label}-bottom', 0 0 bottom($ui-border-radius) left($ui-border-radius),  0 right($ui-border-width) bottom($ui-border-width) left($ui-border-width), $panel-header-padding, $ui-header-background-color, $ui-header-background-gradient);        @include x-frame('panel-header', '#{$ui-label}-left',   top($ui-border-radius) 0 0 left($ui-border-radius),     top($ui-border-width) 0 bottom($ui-border-width) left($ui-border-width), $panel-header-vertical-padding, $ui-header-background-color, $ui-header-background-gradient, false, right);        .#{$prefix}panel-header-#{$ui-label}-top {            @include inner-border(1px 1px 0 1px, $ui-header-inner-border-color);        }        .#{$prefix}panel-header-#{$ui-label}-right {            @include inner-border(1px 1px 1px 0, $ui-header-inner-border-color);        }        .#{$prefix}panel-header-#{$ui-label}-bottom {            @include inner-border(0 1px 1px 1px, $ui-header-inner-border-color);        }        .#{$prefix}panel-header-#{$ui-label}-left {            @include inner-border(1px 0 1px 1px, $ui-header-inner-border-color);        }    } @else {        .#{$prefix}panel-collapsed {            .#{$prefix}panel-header-#{$ui-label}-top {                @include border-bottom-radius($ui-border-radius);            }            .#{$prefix}panel-header-#{$ui-label}-right {                @include border-left-radius($ui-border-radius);            }            .#{$prefix}panel-header-#{$ui-label}-bottom {                @include border-top-radius($ui-border-radius);            }            .#{$prefix}panel-header-#{$ui-label}-left {                @include border-right-radius($ui-border-radius);            }        }        .#{$prefix}panel-header-#{$ui-label}-top {            @include inner-border(1px 0 0 0, $ui-header-inner-border-color);        }        .#{$prefix}panel-header-#{$ui-label}-right {            @include inner-border(0 1px 0 0, $ui-header-inner-border-color);        }        .#{$prefix}panel-header-#{$ui-label}-bottom {            @include inner-border(0 0 1px, $ui-header-inner-border-color);        }        .#{$prefix}panel-header-#{$ui-label}-left {            @include inner-border(0 0 0 1px, $ui-header-inner-border-color);        }    }    @if $ui-border-radius != null {        .#{$prefix}panel .#{$prefix}panel-header-#{$ui-label}-top {            border-bottom-width: 1px !important;        }        .#{$prefix}panel .#{$prefix}panel-header-#{$ui-label}-right {            border-left-width: 1px !important;        }        .#{$prefix}panel .#{$prefix}panel-header-#{$ui-label}-bottom {            border-top-width: 1px !important;        }        .#{$prefix}panel .#{$prefix}panel-header-#{$ui-label}-left {            border-right-width: 1px !important;        }        .#{$prefix}panel-header-#{$ui-label}-collapsed {            @include border-radius($ui-border-radius);        }        @include x-frame('panel-header', '#{$ui-label}-collapsed-top',    top($ui-border-radius) right($ui-border-radius) bottom($ui-border-radius) left($ui-border-radius), $ui-border-width, $panel-header-padding, $ui-header-background-color, $ui-header-background-gradient);        @include x-frame('panel-header', '#{$ui-label}-collapsed-right',  top($ui-border-radius) right($ui-border-radius) bottom($ui-border-radius) left($ui-border-radius), $ui-border-width, $panel-header-vertical-padding, $ui-header-background-color, $ui-header-background-gradient, false, right);        @include x-frame('panel-header', '#{$ui-label}-collapsed-bottom', top($ui-border-radius) right($ui-border-radius) bottom($ui-border-radius) left($ui-border-radius), $ui-border-width, $panel-header-padding, $ui-header-background-color, $ui-header-background-gradient);        @include x-frame('panel-header', '#{$ui-label}-collapsed-left',   top($ui-border-radius) right($ui-border-radius) bottom($ui-border-radius) left($ui-border-radius), $ui-border-width, $panel-header-vertical-padding, $ui-header-background-color, $ui-header-background-gradient, false, right);    }    //background positioning of images    .#{$prefix}panel-header-#{$ui-label}-right-tc,    .#{$prefix}panel-header-#{$ui-label}-right-mc,    .#{$prefix}panel-header-#{$ui-label}-right-bc {        background-position: right 0;    }    .#{$prefix}panel-header-#{$ui-label}-bottom-tc,    .#{$prefix}panel-header-#{$ui-label}-bottom-mc,    .#{$prefix}panel-header-#{$ui-label}-bottom-bc {        background-position: 0 bottom;    }}</pre></body></html>
 |