mediawiki.ui: Let quiet button border remain

[lhc/web/wiklou.git] / resources / src / mediawiki.less / mediawiki.ui / mixins.less

diff --git a/resources/src/mediawiki.less/mediawiki.ui/mixins.less b/resources/src/mediawiki.less/mediawiki.ui/mixins.less
index a0ff767..5119e49 100644 (file)
--- a/resources/src/mediawiki.less/mediawiki.ui/mixins.less
+++ b/resources/src/mediawiki.less/mediawiki.ui/mixins.less
@@ -17,8 +17,8 @@
        line-height: normal;
        font-weight: normal;
 
-       & > input[type='checkbox'],
-       & > input[type='radio'] {
+       & > input[ type='checkbox' ],
+       & > input[ type='radio' ] {
                width: auto;
                height: auto;
                margin: 0 0.1em 0 0;
@@ -35,7 +35,7 @@
 .button-colors( @bgColor, @highlightColor, @activeColor ) {
        background-color: @bgColor;
        color: @colorButtonText;
-       border: 1px solid @colorFieldBorder;
+       border-color: @colorFieldBorder;
 
        // Make sure that `color` isn't inheriting from user-agent styles
        &:visited {
@@ -87,7 +87,6 @@
        // border of the same color as background so that light background and
        // dark background buttons are the same height and width
        border: 1px solid @bgColor;
-       text-shadow: 0 1px rgba( 0, 0, 0, 0.1 );
 
        &:hover {
                background-color: @highlightColor;