1 // “External” variables
2 @font-size-system-ui: 16; // Assumed browser default of `16px`
3 @font-size-vector: 0.875em; // equals `14px` at browser default of `16px`
6 @background-color-base: #fff;
7 @background-color-primary: #eaf3ff;
8 @color-base--inverted: #fff;
10 // Colors not on WikimediaUI color palette
12 @light-green: #ccdecc;
14 // Highlight color definitions
15 @highlight-none: #fff;
17 @highlight-c2: #00af89;
19 @highlight-c4: #ff6d22;
21 @highlight-bluedot: #1d4aad; // Simulates the 'known' browser <li> blue dot
22 @highlight-grey: #54595d; // The color of full dots on Watchlist when highlight is enabled
27 // Result list circle indicators
28 // Defined and used in mw.rcfilters.ui.ChangesListWrapperWidget.less
29 @result-circle-margin: 3px;
30 @result-circle-general-margin: 0.5em;
31 // In these small sizes, 'em' appears
32 // squished and inconsistent.
33 // Pixels are better for this use case:
34 @result-circle-diameter: 6px;