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