RCFilters: Apply same distance to FilterItemHighlightButtons as other elements
authorVolker E <volker.e@wikimedia.org>
Thu, 25 Oct 2018 22:59:17 +0000 (15:59 -0700)
committerVolker E <volker.e@wikimedia.org>
Thu, 25 Oct 2018 22:59:17 +0000 (15:59 -0700)
commitfc7b71e8d1dd8fd4706294f4ebe7e3662c394654
treeeb37df2b994056155ae1e9561ec9b1ff5a0894b3
parent0233868b9538307d7af35a120e75e200dd64267e
RCFilters: Apply same distance to FilterItemHighlightButtons as other elements

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

Change-Id: If5578564efced5f0ba4d3ca7ed3d6787b5b0ce3a
resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterMenuOptionWidget.less