Upgrade to ExtJS 4.0.7 - Released 10/19/2011
[extjs.git] / resources / themes / stylesheets / ext4 / default / widgets / _datepicker.scss
index 459409c..d30dc9b 100644 (file)
@@ -66,7 +66,7 @@
         right: 5px;
 
         a {
-            @include theme-background-image($theme-name, $datepicker-next-image);
+            background-image: theme-background-image($theme-name, $datepicker-next-image);
         }
     }
 
@@ -74,7 +74,7 @@
         left: 5px;
 
         a {
-            @include theme-background-image($theme-name, $datepicker-prev-image);
+            background-image: theme-background-image($theme-name, $datepicker-prev-image);
         }
     }      
             
         
         .#{$prefix}btn-split-right {
             background: no-repeat right center !important;
-            @include theme-background-image($theme-name, $datepicker-month-arrow-image);
+            background-image: theme-background-image($theme-name, $datepicker-month-arrow-image);
             
             padding-right: 12px;
         }
         height: 28px;
         
         button {
-            @include theme-background-image($theme-name, $datepicker-tool-sprite-image);
+            background-image: theme-background-image($theme-name, $datepicker-tool-sprite-image);
             height: 15px;
             width: 15px;
             padding: 0;
             margin: 6px 12px 5px 15px;
-            border: none;
+            border: 0;
             outline: 0 none;
             &::-moz-focus-inner {
                 border: 0;
         .#{$prefix}nlg {
             @if $datepicker-header-background-gradient != null {
                 .#{$prefix}datepicker-header {
-                    @include theme-background-image($theme-name, 'datepicker/datepicker-header-bg.gif');
+                    background-image: theme-background-image($theme-name, 'datepicker/datepicker-header-bg.gif');
                     background-repeat: repeat-x;
                     background-position: top left;
                 }
             @if $datepicker-footer-background-gradient != null {
                 .#{$prefix}datepicker-footer,
                 .#{$prefix}monthpicker-buttons {
-                    @include theme-background-image($theme-name, 'datepicker/datepicker-footer-bg.gif');
+                    background-image: theme-background-image($theme-name, 'datepicker/datepicker-footer-bg.gif');
                     background-repeat: repeat-x;
                     background-position: top left;
                 }