mediawiki.ui: Improve focus states of primary buttons
authorVolker E <volker.e@wikimedia.org>
Wed, 29 Jun 2016 13:01:32 +0000 (15:01 +0200)
committerVolker E <volker.e@wikimedia.org>
Wed, 29 Jun 2016 13:10:14 +0000 (15:10 +0200)
commit23b64f871a21ca362695eff1c69a62581aa56e44
treefd790832f25345a0c79c89a47b0b392cd0ebf6bf
parent5b674601ba06e9248c6e88163c10525d300b02ad
mediawiki.ui: Improve focus states of primary buttons

Follow-up to T137658 in OOjs UI. Improving `:focus` states of primary
buttons to be more harmonious with normal buttons. Also normalizing
`padding` in Firefox, removing obsolete comment and minor clean-up.

Change-Id: I584644c47be73a9770ac487b2b738d0f8bdf69d1
resources/src/mediawiki.less/mediawiki.ui/mixins.less