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

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
index 19a0bb7b60dec70ac246a81d6c09df9ccc06dfee..8c910958d677d33ffba80440d096bc01790c3476 100644 (file)
--- 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 {