From d355a7a6db2617def1621004c3c6f142fb419257 Mon Sep 17 00:00:00 2001 From: Alexander Schmitz Date: Mon, 17 Aug 2015 08:36:47 -0400 Subject: [PATCH] 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. --- themes/base/spinner.css | 6 +++--- 1 file 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 { -- 2.39.5