Mooeypoo has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/343108 )

Change subject: RCFilters UI: Adjust filter list header elements' alignment
......................................................................

RCFilters UI: Adjust filter list header elements' alignment

Bug: T160601
Change-Id: I89d3f9c59ef49e3c3dfdda1af8676855d3b9ac7b
---
M 
resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FiltersListWidget.less
1 file changed, 5 insertions(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core 
refs/changes/08/343108/1

diff --git 
a/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FiltersListWidget.less
 
b/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FiltersListWidget.less
index 3334d84..cb87989 100644
--- 
a/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FiltersListWidget.less
+++ 
b/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FiltersListWidget.less
@@ -1,7 +1,7 @@
 .mw-rcfilters-ui-filtersListWidget {
        &-title {
                font-size: 1.2em;
-               padding: 0.75em;
+               padding: 0.75em 0.5em;
                // TODO: Unify colors with official design palette
                color: #54595d;
        }
@@ -14,6 +14,10 @@
                &-highlight {
                        width: 1em;
                        vertical-align: middle;
+                       // Using the same padding that the filter item
+                       // uses, so the button is aligned with the highlight
+                       // buttons for the filters
+                       padding-right: 0.5em;
                }
 
                &-title {

-- 
To view, visit https://gerrit.wikimedia.org/r/343108
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I89d3f9c59ef49e3c3dfdda1af8676855d3b9ac7b
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Mooeypoo <mor...@gmail.com>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to