diff options
Diffstat (limited to 'www/wiki/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.variables.less')
-rw-r--r-- | www/wiki/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.variables.less | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/www/wiki/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.variables.less b/www/wiki/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.variables.less new file mode 100644 index 00000000..987f5255 --- /dev/null +++ b/www/wiki/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.variables.less @@ -0,0 +1,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; |