Spinner: Use border-style: none instead of border: none

arschmitz · arschmitz · commit d355a7a6db26 · 2015-10-08T14:02:47.000-04:00
This makes it possible to restore the border. This is useful for controlgroup
labels and other custom styling.
diff --git a/themes/base/spinner.css b/themes/base/spinner.css
@@ -40,9 +40,9 @@
 }
 /* more specificity required here to override default borders */
 .ui-spinner a.ui-spinner-button {
-	border-top: none;
-	border-bottom: none;
-	border-right: none;
+	border-top-style: none;
+	border-bottom-style: none;
+	border-right-style: none;
 }
 /* vertically center icon */
 .ui-spinner .ui-icon {

Original file line number	Diff line number	Diff line change
`@@ -40,9 +40,9 @@`
`40`	`40`	`}`
`41`	`41`	`/* more specificity required here to override default borders */`
`42`	`42`	`.ui-spinner a.ui-spinner-button {`
`43`		`- border-top: none;`
`44`		`- border-bottom: none;`
`45`		`- border-right: none;`
	`43`	`+ border-top-style: none;`
	`44`	`+ border-bottom-style: none;`
	`45`	`+ border-right-style: none;`
`46`	`46`	`}`
`47`	`47`	`/* vertically center icon */`
`48`	`48`	`.ui-spinner .ui-icon {`