Upgrade to ExtJS 4.0.7 - Released 10/19/2011

[extjs.git] / resources / themes / stylesheets / ext4 / default / widgets / _panel.scss

diff --git a/resources/themes/stylesheets/ext4/default/widgets/_panel.scss b/resources/themes/stylesheets/ext4/default/widgets/_panel.scss
index 132bf6c..de24a23 100644 (file)
--- a/resources/themes/stylesheets/ext4/default/widgets/_panel.scss
+++ b/resources/themes/stylesheets/ext4/default/widgets/_panel.scss
@@ -9,8 +9,8 @@
         position: relative;
     }
     
-    // Workaround for disappearing right edge in IE6
      @if $include-ie {
+        // Workaround for disappearing right edge in IE6
         .#{$prefix}ie {
             .#{$prefix}panel-header,
             .#{$prefix}panel-header-tl,
@@ -25,6 +25,12 @@
                 zoom: 1;
             }
         }
+        // Fix for IE8 clipping. EXTJSIV-1553
+        .#{$prefix}ie8 {
+            td.#{$prefix}frame-mc {
+                vertical-align: top;
+            }
+        }
     }
     
     //panel header
@@ -77,6 +83,12 @@
         display: -moz-inline-stack;
         display: inline-block;
     }
+    
+    .#{$prefix}panel-header-text-container {
+        overflow: hidden;
+        -o-text-overflow: ellipsis;
+        text-overflow: ellipsis;
+    }
 
     .#{$prefix}panel-header-text {
         @include no-select;
@@ -94,6 +106,8 @@
     .#{$prefix}panel-body {
         overflow: hidden;
         position: relative;
+        
+        font-size: $panel-body-font-size;
     }
 
     .#{$prefix}panel-header-vertical {
@@ -255,19 +269,19 @@
     @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-image($theme-name, 'panel-header/panel-header-#{$ui-label}-top-bg.gif');
+                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-image($theme-name, 'panel-header/panel-header-#{$ui-label}-bottom-bg.gif');
+                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-image($theme-name, 'panel-header/panel-header-#{$ui-label}-left-bg.gif');
+                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-image($theme-name, 'panel-header/panel-header-#{$ui-label}-right-bg.gif');
+                background-image: theme-background-image($theme-name, 'panel-header/panel-header-#{$ui-label}-right-bg.gif');
             }
         }
     }