Upgrade to ExtJS 4.0.7 - Released 10/19/2011

[extjs.git] / resources / themes / stylesheets / ext4 / default / variables / _button.scss

diff --git a/resources/themes/stylesheets/ext4/default/variables/_button.scss b/resources/themes/stylesheets/ext4/default/variables/_button.scss
index ae7a804..e818934 100644 (file)
--- a/resources/themes/stylesheets/ext4/default/variables/_button.scss
+++ b/resources/themes/stylesheets/ext4/default/variables/_button.scss
@@ -68,37 +68,37 @@ $button-large-icon-size: 32px !default;
 //base colors for the default button
 $button-default-base-color: adjust-color($neutral-color, $hue: 0deg, $saturation: -55.556%, $lightness: 12.745%) !default; //F7F7F7
 $button-default-base-color-over: adjust-color($base-color, $hue: -6.667deg, $saturation: 44.444%, $lightness: 10.588%) !default; //E4F3FF
-$button-default-base-color-focus: $button-default-base-color-over;
+$button-default-base-color-focus: $button-default-base-color-over !default;
 $button-default-base-color-pressed: adjust-color($base-color, $hue: -0.725deg, $saturation: -9.556%, $lightness: -3.725%) !default; //B6CBE4
 $button-default-base-color-disabled: adjust-color($base-color, $hue: 0deg, $saturation: -55.556%, $lightness: 12.745%) !default; //F7F7F7
 
 $button-default-border-color: adjust-color($button-default-base-color, $hue: 0deg, $saturation: 0%, $lightness: -18.039%) !default;
 $button-default-border-color-over: adjust-color($button-default-base-color-over, $hue: 8.177deg, $saturation: -28.283%, $lightness: -12.745%) !default;
-$button-default-border-color-focus: $button-default-border-color-over;
+$button-default-border-color-focus: $button-default-border-color-over !default;
 $button-default-border-color-pressed: adjust-color($button-default-base-color-pressed, $hue: 2.317deg, $saturation: 6.756%, $lightness: -5.294%) !default;
 $button-default-border-color-disabled: adjust-color($button-default-base-color-disabled, $hue: 0deg, $saturation: 0%, $lightness: -8.627%) !default;
 
 $button-default-background-color: $button-default-base-color !default;
 $button-default-background-color-over: $button-default-base-color-over !default;
-$button-default-background-color-focus: $button-default-background-color-over;
+$button-default-background-color-focus: $button-default-background-color-over !default;
 $button-default-background-color-pressed: $button-default-base-color-pressed !default;
 $button-default-background-color-disabled: $button-default-base-color-disabled !default;
 
 $button-default-background-gradient: 'glossy-button' !default;
 $button-default-background-gradient-over: 'glossy-button-over' !default;
-$button-default-background-gradient-focus: $button-default-background-gradient-over;
+$button-default-background-gradient-focus: $button-default-background-gradient-over !default;
 $button-default-background-gradient-pressed: 'glossy-button-pressed' !default;
 $button-default-background-gradient-disabled: 'glossy-button-disabled' !default;
 
 $button-default-background-gradient-color-stops: null !default;
 $button-default-background-gradient-color-stops-over: $button-default-background-gradient-color-stops !default;
-$button-default-background-gradient-color-stops-focus: $button-default-background-gradient-color-stops-over;
+$button-default-background-gradient-color-stops-focus: $button-default-background-gradient-color-stops-over !default;
 $button-default-background-gradient-color-stops-pressed: $button-default-background-gradient-color-stops !default;
 $button-default-background-gradient-color-stops-disabled: $button-default-background-gradient-color-stops !default;
 
 $button-default-color: #333 !default;
 $button-default-color-over: $button-default-color !default;
-$button-default-color-focus: $button-default-color-over;
+$button-default-color-focus: $button-default-color-over !default;
 $button-default-color-pressed: $button-default-color !default;
 $button-default-color-disabled: lighten($button-default-color, 35) !default;