From: jenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Date: Thu, 18 Sep 2014 18:20:44 +0000 (+0000)
Subject: Merge "mediawiki.ui: Add @borderRadius variable to be used for inputs and buttons"
X-Git-Tag: 1.31.0-rc.0~13950
X-Git-Url: http://git.cyclocoop.org//%27http:/ie7-js.googlecode.com/svn/test/index.html/%27?a=commitdiff_plain;h=ed9ee169d0fe11e128d0dabbbf4082a18a23b615;p=lhc%2Fweb%2Fwiklou.git

Merge "mediawiki.ui: Add @borderRadius variable to be used for inputs and buttons"
---

ed9ee169d0fe11e128d0dabbbf4082a18a23b615
diff --cc resources/src/mediawiki.ui/components/inputs.less
index 77894b3157,62ef39a92a..1da42a45cf
--- a/resources/src/mediawiki.ui/components/inputs.less
+++ b/resources/src/mediawiki.ui/components/inputs.less
@@@ -32,9 -32,10 +32,10 @@@
  	border: 1px solid @colorFieldBorder;
  	.box-sizing(border-box);
  	width: 100%;
 -	padding: .3em .3em .3em .6em;
 +	padding: .4em .3em .2em .6em;
  	display: block;
  	vertical-align: middle;
+ 	border-radius: @borderRadius;
  	// Override user agent stylesheet properties. Instead use parent element.
  	color: inherit;
  	font-family: inherit;