mirror of
https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git
synced 2024-12-14 00:42:30 +00:00
531cbcbd25
Increases "large" font-size option from @font-size-large (18px equivalent) to @font-size-x-large (20px equivalent) Bug: T351693 Change-Id: I9e3dd8346b1d6f6a9efd04bb1e43fee9bfd79154
30 lines
1 KiB
Plaintext
30 lines
1 KiB
Plaintext
/**
|
|
* Vector CSS Custom properties
|
|
* ----------------------------
|
|
* Please be aware that these properties are accessible via *any* client-side code.
|
|
* These variables should mirror Codex design token names and values:
|
|
* https://doc.wikimedia.org/codex/latest/design-tokens
|
|
* Only include properties that are required for client-side modification.
|
|
*
|
|
* @private - Currently, these variables are only intended for use by Vector 2022,
|
|
* however, they are designed to mimic the naming convention in Codex tokens
|
|
* in order to facilitate an eventual migration to a centralized source.
|
|
* @experimental
|
|
* @since October 2023 (MediaWiki 1.42)
|
|
*/
|
|
|
|
:root {
|
|
--font-size-medium: unit( @font-size-small, rem );
|
|
--line-height-medium: @line-height-small;
|
|
}
|
|
|
|
.vector-feature-custom-font-size-clientpref-1 {
|
|
--font-size-medium: unit( @font-size-medium, rem );
|
|
--line-height-medium: 1.5;
|
|
}
|
|
|
|
.vector-feature-custom-font-size-clientpref-2 {
|
|
--font-size-medium: unit( @font-size-x-large, rem );
|
|
--line-height-medium: 1.3;
|
|
}
|