blob: 987f525518fee1dccbe92e4b41378fd2f47fbf82 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
// “External” variables
@font-size-system-ui: 16; // Assumed browser default of `16px`
@font-size-vector: 0.875em; // equals `14px` at browser default of `16px`
// RCFilters variables
@background-color-base: #fff;
@background-color-primary: #eaf3ff;
@color-base--inverted: #fff;
// Colors not on WikimediaUI color palette
@light-gray: #dee0e3;
@light-green: #ccdecc;
// Highlight color definitions
@highlight-none: #fff;
@highlight-c1: #36c;
@highlight-c2: #00af89;
@highlight-c3: #fc3;
@highlight-c4: #ff6d22;
@highlight-c5: #d33;
@highlight-bluedot: #1d4aad; // Simulates the 'known' browser <li> blue dot
@highlight-grey: #54595d; // The color of full dots on Watchlist when highlight is enabled
// Muted state
@muted-opacity: 0.5;
// Result list circle indicators
// Defined and used in mw.rcfilters.ui.ChangesListWrapperWidget.less
@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: 6px;
|
