dépôts / lhc / web / wiklou.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw (from parent 1: 4b0062f)
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)
resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterItemWidget.less patch | blob | history

diff --git a/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterItemWidget.less b/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterItemWidget.less
index 5b8461b..e45ed60 100644 (file)
--- a/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterItemWidget.less
+++ b/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterItemWidget.less
@@ -23,7 +23,7 @@
        &-label {
                &-title {
                        font-weight: bold;
-                       font-size: 1.2em;
+                       font-size: 1.15em;
                        color: #222;
                }
                &-desc {
Wiklou, le Wiki du Wiklou