| 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>
 
 
  |