Merge "RCFilters UI: Correct filter name font-size"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 2 Mar 2017 06:46:07 +0000 (06:46 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 2 Mar 2017 06:46:07 +0000 (06:46 +0000)
1  2 
resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterItemWidget.less

@@@ -23,7 -23,7 +23,7 @@@
        &-label {
                &-title {
                        font-weight: bold;
-                       font-size: 1.2em;
+                       font-size: 1.15em;
                        color: #222;
                }
                &-desc {
@@@ -34,8 -34,9 +34,8 @@@
        &-filterCheckbox {
                .oo-ui-fieldLayout.oo-ui-fieldLayout-align-inline {
                        // Override margin-top and -bottom rules from FieldLayout
 -                      margin: 0 !important;
 +                      margin: 0 !important; /* stylelint-disable-line declaration-no-important */
                }
 -
        }
  
        &-highlightButton {