From 5212a6c502fced7bafb41922a23ecc9f842624d1 Mon Sep 17 00:00:00 2001 From: Moriel Schottlender Date: Wed, 5 Apr 2017 15:37:45 -0700 Subject: [PATCH] RCFilters UI: Use pixel instead of em for distancing the highlight dots Also, make the circles slightly bigger; the 5px value made the circles look slightly squarish, so we increase the radius by 1 pixel to 6px. Bug: T161258 Change-Id: I483dc698ba15380990ded097caec24b408fba43a --- .../mediawiki.rcfilters/styles/mw.rcfilters.variables.less | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.variables.less b/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.variables.less index 1ef49e2102..3060f255cd 100644 --- a/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.variables.less +++ b/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.variables.less @@ -11,9 +11,9 @@ // Result list circle indicators // Defined and used in mw.rcfilters.ui.ChangesListWrapperWidget.less -@result-circle-margin: 0.1em; +@result-circle-margin: 3px; @result-circle-general-margin: 0.5em; // In these small sizes, 'em' appears // squished and inconsistent. // Pixels are better for this use case: -@result-circle-diameter: 5px; +@result-circle-diameter: 6px; -- 2.20.1