From fc7b71e8d1dd8fd4706294f4ebe7e3662c394654 Mon Sep 17 00:00:00 2001 From: Volker E Date: Thu, 25 Oct 2018 15:59:17 -0700 Subject: [PATCH] RCFilters: Apply same distance to FilterItemHighlightButtons as other elements MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit FilterItemHighlightButtons have lost vertical alignment with “Highlight results”. This patch reintroduces it. Change-Id: If5578564efced5f0ba4d3ca7ed3d6787b5b0ce3a --- .../styles/mw.rcfilters.ui.FilterMenuOptionWidget.less | 1 + 1 file changed, 1 insertion(+) 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 { -- 2.20.1