Upgrade to ExtJS 4.0.7 - Released 10/19/2011
[extjs.git] / resources / themes / stylesheets / ext4 / default / mixins / _frame.scss
index 171c307..e681e1c 100644 (file)
@@ -90,7 +90,7 @@
         .#{$prefix}nlg {
             .#{$prefix}#{$cls-ui}-mc {
                 @if $background-gradient != null {
-                    @include theme-background-image($theme-name, '#{$cls}/#{$cls-ui}-bg.gif', false, $relative-image-path-for-uis);
+                    background-image: theme-background-image($theme-name, '#{$cls}/#{$cls-ui}-bg.gif', false, $relative-image-path-for-uis);
                 }
                 @if $background-color != null {
                     background-color: $background-color;
                 zoom:1;
                 
                 @if $background-color != transparent {
-                    @include theme-background-image($theme-name, '#{$cls}/#{$cls-ui}-corners.gif', false, $relative-image-path-for-uis);
+                    background-image: theme-background-image($theme-name, '#{$cls}/#{$cls-ui}-corners.gif', false, $relative-image-path-for-uis);
                 }
             }
             
                     zoom:1;
 
                     @if $background-color != transparent {
-                        @include theme-background-image($theme-name, '#{$cls}/#{$cls-ui}-sides.gif', false, $relative-image-path-for-uis);
+                        background-image: theme-background-image($theme-name, '#{$cls}/#{$cls-ui}-sides.gif', false, $relative-image-path-for-uis);
                         background-position: 0 0;
                         background-repeat: repeat-x;
                     }
                     zoom:1;
 
                     @if $background-color != transparent {
-                        @include theme-background-image($theme-name, '#{$cls}/#{$cls-ui}-sides.gif', false, $relative-image-path-for-uis);
+                        background-image: theme-background-image($theme-name, '#{$cls}/#{$cls-ui}-sides.gif', false, $relative-image-path-for-uis);
                         background-position: 0 0;
                         @if $background-gradient == null {
                             background-repeat: repeat-y;