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 07e43c0..ea50841 100644 (file)
--- 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 {