Index: wp-admin/css/colors/_mixins.scss
IDEA additional info:
Subsystem: com.intellij.openapi.diff.impl.patch.CharsetEP
<+>UTF-8
===================================================================
--- wp-admin/css/colors/_mixins.scss	(revision 26871)
+++ wp-admin/css/colors/_mixins.scss	(revision )
@@ -2,36 +2,36 @@
  * Button mixin- creates 3d-ish button effect with correct 
  * highlights/shadows, based on a base color.
  */
-@mixin button( $button-color, $text-color: white ) {
+@mixin button($button-color, $text-color: white) {
 	background: $button-color;
-	border-color: darken( $button-color, 10% );
+	border-color: darken($button-color, 10%);
 	color: $text-color;
-	-webkit-box-shadow: inset 0 1px 0 lighten( $button-color, 15% ), 0 1px 0 rgba(0,0,0,.15);
-	box-shadow: inset 0 1px 0 lighten( $button-color, 15% ), 0 1px 0 rgba(0,0,0,.15);
+	-webkit-box-shadow: inset 0 1px 0 lighten($button-color, 15%), 0 1px 0 rgba(0, 0, 0, 0.15);
+	box-shadow: 				inset 0 1px 0 lighten($button-color, 15%), 0 1px 0 rgba(0, 0, 0, 0.15);
 
 	&:hover,
 	&:focus {
-		background: darken( $button-color, 5% );
+		background: darken($button-color, 5%);
-		border-color: darken( $button-color, 15% );
+		border-color: darken($button-color, 15%);
 		color: $text-color;
-		-webkit-box-shadow: inset 0 1px 0 lighten( $button-color, 10% ), 0 1px 0 rgba(0,0,0,.15);
-		box-shadow: inset 0 1px 0 lighten( $button-color, 10% ), 0 1px 0 rgba(0,0,0,.15);
+		-webkit-box-shadow: inset 0 1px 0 lighten($button-color, 10%), 0 1px 0 rgba(0, 0, 0, 0.15);
+		box-shadow: 				inset 0 1px 0 lighten($button-color, 10%), 0 1px 0 rgba(0, 0, 0, 0.15);
 	}
 
 	&:active {
-		background: darken( $button-color, 10% );
+		background: darken($button-color, 10%);
-		border-color: darken( $button-color, 15% );
+		border-color: darken($button-color, 15%);
 		color: $text-color;
-		-webkit-box-shadow: inset 0 2px 5px -3px rgba( 0, 0, 0, 0.5 );
+		-webkit-box-shadow: inset 0 2px 5px -3px rgba(0, 0, 0, 0.5);
-	 	box-shadow: inset 0 2px 5px -3px rgba( 0, 0, 0, 0.5 );
+	 	box-shadow: 				inset 0 2px 5px -3px rgba(0, 0, 0, 0.5);
 	}
 
 	&[disabled],
 	&:disabled,
 	&.button-primary-disabled {
-		color: hsl( hue( $button-color ), 10%, 80% ) !important;
-		background: darken( $button-color, 8% ) !important;
+		background: darken($button-color, 8%) !important;
-		border-color: darken( $button-color, 15% ) !important;
+		border-color: darken($button-color, 15%) !important;
+		color: hsl(hue($button-color), 10%, 80%) !important;
 		text-shadow: none !important;
 	}
 }