diff options
author | Alexander Schmitz <arschmitz@gmail.com> | 2015-08-17 08:36:47 -0400 |
---|---|---|
committer | Alexander Schmitz <arschmitz@gmail.com> | 2015-10-08 14:02:47 -0400 |
commit | d355a7a6db2617def1621004c3c6f142fb419257 (patch) | |
tree | 7c6f6c93fdacc60e2eaed5ba3be6f8515b9d32e3 /themes/base | |
parent | 739e71911e262d2e653216e5d33fc486c39f59ec (diff) | |
download | jquery-ui-d355a7a6db2617def1621004c3c6f142fb419257.tar.gz jquery-ui-d355a7a6db2617def1621004c3c6f142fb419257.zip |
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.
Diffstat (limited to 'themes/base')
-rw-r--r-- | themes/base/spinner.css | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/themes/base/spinner.css b/themes/base/spinner.css index 19a0bb7b6..8c910958d 100644 --- 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 { |