Merge "mediawiki.ui: Add @borderRadius variable to be used for inputs and buttons"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 18 Sep 2014 18:20:44 +0000 (18:20 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 18 Sep 2014 18:20:44 +0000 (18:20 +0000)
1  2 
resources/src/mediawiki.ui/components/inputs.less

        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;