mediawiki.ui: Let quiet button border remain
authorVolker E <volker.e@wikimedia.org>
Wed, 21 Nov 2018 19:44:49 +0000 (11:44 -0800)
committerVolker E <volker.e@wikimedia.org>
Wed, 21 Nov 2018 20:27:06 +0000 (12:27 -0800)
commit53dfff81e22c1708843f9767c6ce7a1e30f0dbda
tree5f7163339e42b2a7841b99871bf032818b7e929a
parentfa04547aca9a1f0615e8d63a60875bab54d24a66
mediawiki.ui: Let quiet button border remain

It's a better approach to let quiet button `border-width` remain for layout
predictability, only changing `border-color`.
Similar approach is taken in OOUI.
Also add `@border-width-base` variable similar to WikimediaUI so it
is easily replacible in in future.

Change-Id: I68d6bde72181004fcd8a0d3e0dee7d9d8e892eeb
resources/src/mediawiki.less/mediawiki.ui/mixins.less
resources/src/mediawiki.less/mediawiki.ui/variables.less
resources/src/mediawiki.ui/components/buttons.less