From: Volker E <volker.e@wikimedia.org>
Date: Thu, 21 Feb 2019 07:56:44 +0000 (-0800)
Subject: mediawiki.ui: Align button height to standard (and input)
X-Git-Tag: 1.34.0-rc.0~2757^2
X-Git-Url: http://git.cyclocoop.org/%7B%24www_url%7Dadmin/membres/fiche.php?a=commitdiff_plain;h=454251c2910a916e0b107daa19ded0e3cab6f875;p=lhc%2Fweb%2Fwiklou.git

mediawiki.ui: Align button height to standard (and input)

Aligning to standard height of `32px` at base font size of `14px`,
mediawiki.ui's inputs and OOUI.

Bug: T209455
Change-Id: I3ef5bb0920aadd22667f0a9b3701e6714bc04133
---

diff --git a/resources/src/mediawiki.ui/components/buttons.less b/resources/src/mediawiki.ui/components/buttons.less
index ac7a2259e0..3490ebc1df 100644
--- a/resources/src/mediawiki.ui/components/buttons.less
+++ b/resources/src/mediawiki.ui/components/buttons.less
@@ -73,14 +73,14 @@
 	min-width: 4em;
 	max-width: 28.75em; // equivalent to 460px, @see T95367
 	margin: 0;
-	padding: 0.546875em 1em;
+	padding: 0.57142857em 0.9375em; // equivalent to `8px 12px`
 	border: @border-width-base @border-style-base @border-color-base;
 	border-radius: @borderRadius;
 	// Inherit the font rather than apply user agent stylesheet (T72072)
 	font-family: inherit;
 	font-size: 1em;
 	font-weight: bold;
-	line-height: 1.286;
+	line-height: 1;
 	text-align: center;
 	// Disable weird iOS styling
 	-webkit-appearance: none;