mediawiki-skins-Vector/resources/mediawiki.less/vector/mediawiki.skin.variables.less
Volker E. f0b5f234c4 styles: Remove outdated skin variable
`@opacity-base--disabled` is not used anywhere
including in the Vector skin anymore.

Change-Id: Ia0a483b8d3e2d5597aeb512d04f6dc2e95317430
2024-08-29 19:41:36 +02:00

41 lines
1.4 KiB
Plaintext

/**
* This file is a LESS import match for "mediawiki.skin.variables.less"
* when legacy Vector (useskin=vector) is the active skin.
*/
@import 'mediawiki.skin.defaults.less';
// Use the legacy version (for a 14px base font size) of the wikimedia-ui theme
@import 'mediawiki.skin.codex-design-tokens/theme-wikimedia-ui.less';
// Overrides for Codex variables:
// Opacity
@opacity-medium: 0.67; // Codex: 0.65
@opacity-low: 0.33; // Codex: 0.30
@opacity-icon-base: 1; // Codex: 0.87
@opacity-icon-base--hover: 0.8; // = `#333` on `background-color: #fff`. Codex: 0.74
// Fonts
// Assumes 16px as the default browser font-size.
@font-size-base: unit( 14 / 16, em ); // Equals `0.875em`.
// Body content uses the user setting in browser / the system default sans-serif font:
// Arial on Windows, Roboto on Android.
// FIXME: Use WikimediaUI Base's OS specific default sans-serif fonts.
@font-family-sans: sans-serif; // Codex: 'Helvetica Neue', 'Helvetica', 'Liberation Sans', 'Arial', sans-serif;
// Overrides for non-Codex variables:
// Set pre July 2022 colors for links (T213778).
@color-link: #0645ad;
@color-link--visited: #0b0080;
@color-link--active: #faa700;
@color-link-new: #ba0000;
@color-link-new--visited: #a55858;
// Note these colors are different from Vector 2022 for historic reasons:
@color-link-external: #36b;
@color-link-external--visited: #636;
@color-link-external--active: #b63;