// “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