mirror of
https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git
synced 2024-11-24 23:55:53 +00:00
f42faabb49
Put icons on baseline as good as possible cross-browser. It's complete waste of time trying. And is partly originated in different internal text node sizing in various browsers, biggest browser share difference is Chrome/Yandex/Safari 5 on Windows against all others. Partly it's a result of us relying on `sans-serif` generic font family instead of `Arial` – it results in different letter baseline position within font's virtual letter box, which eats my limited time on Planet Earth uselessly away. Also adding and renaming LESS variable for proper code style. Bug: T207075 Change-Id: I92acb9851a3c0acdbc40a4a4528a91c7332c9293
47 lines
1.4 KiB
Plaintext
47 lines
1.4 KiB
Plaintext
@import 'mediawiki.ui/variables';
|
|
|
|
@html-font-size: 100%;
|
|
@font-size-browser: 16; // Assumed browser default of `16px`
|
|
|
|
@font-family-serif: 'Linux Libertine', 'Georgia', 'Times', serif;
|
|
@font-family-sans-serif: sans-serif;
|
|
|
|
// Page content
|
|
// FIXME: Use global variable since Echo and CentralNotice use this variable
|
|
@content-border-color: #a7d7f9;
|
|
// FIXME: Find an open font that works with this stack and is readable by Windows users
|
|
@content-font-family: @font-family-sans-serif;
|
|
@content-font-color: #222;
|
|
@content-font-size: 0.875em;
|
|
@pureBlack: #000;
|
|
@content-line-height: 1.6;
|
|
@content-padding: 1em;
|
|
@content-heading-font-size: 1.8em;
|
|
@content-heading-font-family: @font-family-serif;
|
|
@content-heading-font-family-generic: sans-serif;
|
|
@body-background-color: #fff;
|
|
@heading-line-height: 1.3;
|
|
|
|
// Navigation
|
|
@menu-background-color: #f6f6f6;
|
|
|
|
// Common menu
|
|
@menu-link-color: #0645ad;
|
|
|
|
// Main menu
|
|
@menu-main-font-size: inherit;
|
|
|
|
@menu-main-heading-font-size: 0.75em;
|
|
@menu-main-heading-color: #444;
|
|
|
|
@menu-main-body-font-size: 0.75em;
|
|
@menu-main-body-link-color: #0645ad;
|
|
@menu-main-body-link-visited-color: #0b0080;
|
|
@menu-main-body-margin-left: 0.5em;
|
|
@menu-main-body-padding: 0.3em 0 0 0;
|
|
|
|
// Personal menu
|
|
@background-position-menu-personal-icon: left ( 4 / @font-size-browser / @font-size-menu-personal );
|
|
@font-size-menu-personal: 0.75em;
|
|
@line-height-menu-personal: 14 / @font-size-browser / @font-size-menu-personal; // equals `1.667em`≈`14px`
|