2022-07-21 03:31:19 +00:00
|
|
|
/**
|
|
|
|
|
* This file is a LESS import match for "mediawiki.skin.variables.less"
|
2022-07-21 20:07:15 +00:00
|
|
|
* when legacy Vector is the active skin.
|
2022-07-21 03:31:19 +00:00
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
@import 'mediawiki.skin.defaults.less';
|
|
|
|
|
|
2022-07-21 20:07:15 +00:00
|
|
|
// Set pre July 2022 colors for links (T213778).
|
2022-07-21 03:31:19 +00:00
|
|
|
@color-link: #0645ad;
|
|
|
|
|
@color-link--visited: #0b0080;
|
2022-08-24 14:31:26 +00:00
|
|
|
@color-link--active: #faa700;
|
2022-08-22 11:32:19 +00:00
|
|
|
@color-link-new: #ba0000;
|
|
|
|
|
@color-link-new--visited: #a55858;
|
2022-08-24 14:31:26 +00:00
|
|
|
|
|
|
|
|
// 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;
|
|
|
|
|
|
|
|
|
|
// 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;
|
|
|
|
|
|
|
|
|
|
// Matches WikimediaUI Base and Codex, OOUI/wikimedia
|
|
|
|
|
@border-radius-base: 2px;
|
