From: Volker E <volker.e@wikimedia.org>
Date: Thu, 25 Oct 2018 22:59:17 +0000 (-0700)
Subject: RCFilters: Apply same distance to FilterItemHighlightButtons as other elements
X-Git-Tag: 1.34.0-rc.0~3643^2
X-Git-Url: http://git.cyclocoop.org/data/%24oldEdit?a=commitdiff_plain;h=fc7b71e8d1dd8fd4706294f4ebe7e3662c394654;p=lhc%2Fweb%2Fwiklou.git

RCFilters: Apply same distance to FilterItemHighlightButtons as other elements

FilterItemHighlightButtons have lost vertical alignment with
“Highlight results”. This patch reintroduces it.

Change-Id: If5578564efced5f0ba4d3ca7ed3d6787b5b0ce3a
---

diff --git a/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterMenuOptionWidget.less b/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterMenuOptionWidget.less
index 07e43c000a..ea508417ad 100644
--- a/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterMenuOptionWidget.less
+++ b/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterMenuOptionWidget.less
@@ -5,6 +5,7 @@
 .mw-rcfilters-ui-filterMenuOptionWidget {
 	.mw-rcfilters-ui-filterMenuSectionOptionWidget ~ & {
 		padding-left: 12 / @font-size-system-ui / @font-size-vector;
+		padding-right: 12 / @font-size-system-ui / @font-size-vector;
 	}
 
 	&.oo-ui-flaggedElement-muted {