1 // Highlight color definitions
4 @highlight-c2: #00af89;
6 @highlight-c4: #ff6d22;
12 // Result list circle indicators
13 // Defined and used in mw.rcfilters.ui.ChangesListWrapperWidget.less
14 @result-circle-margin: 3px;
15 @result-circle-general-margin: 0.5em;
16 // In these small sizes, 'em' appears
17 // squished and inconsistent.
18 // Pixels are better for this use case:
19 @result-circle-diameter: 6px;