1 // Highlight color definitions
4 @highlight-c2: #00af89;
6 @highlight-c4: #ff6d22;
8 @highlight-bluedot: #1d4aad; // Simulates the 'known' browser <li> blue dot
9 @highlight-grey: #54595d; // The color of full dots on Watchlist when highlight is enabled
14 // Result list circle indicators
15 // Defined and used in mw.rcfilters.ui.ChangesListWrapperWidget.less
16 @result-circle-margin: 3px;
17 @result-circle-general-margin: 0.5em;
18 // In these small sizes, 'em' appears
19 // squished and inconsistent.
20 // Pixels are better for this use case:
21 @result-circle-diameter: 6px;