2017-07-20 21:58:01 +00:00
|
|
|
@import 'mediawiki.ui/variables';
|
|
|
|
|
2019-09-18 22:26:38 +00:00
|
|
|
@font-size-root: 100%;
|
2018-10-09 19:29:58 +00:00
|
|
|
@font-size-browser: 16; // Assumed browser default of `16px`
|
2014-08-07 11:38:34 +00:00
|
|
|
|
2017-07-25 21:41:00 +00:00
|
|
|
@font-family-serif: 'Linux Libertine', 'Georgia', 'Times', serif;
|
|
|
|
@font-family-sans-serif: sans-serif;
|
|
|
|
|
2014-08-07 11:38:34 +00:00
|
|
|
// 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
|
2017-07-25 21:41:00 +00:00
|
|
|
@content-font-family: @font-family-sans-serif;
|
2017-02-16 19:44:39 +00:00
|
|
|
@content-font-color: #222;
|
2014-08-07 11:38:34 +00:00
|
|
|
@content-font-size: 0.875em;
|
2017-07-25 21:41:00 +00:00
|
|
|
@pureBlack: #000;
|
2014-08-07 11:38:34 +00:00
|
|
|
@content-line-height: 1.6;
|
|
|
|
@content-padding: 1em;
|
|
|
|
@content-heading-font-size: 1.8em;
|
2017-07-25 21:41:00 +00:00
|
|
|
@content-heading-font-family: @font-family-serif;
|
2015-06-11 21:21:25 +00:00
|
|
|
@content-heading-font-family-generic: sans-serif;
|
2014-08-07 11:38:34 +00:00
|
|
|
@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;
|
2017-08-18 22:18:12 +00:00
|
|
|
@menu-main-heading-color: #444;
|
2014-08-07 11:38:34 +00:00
|
|
|
|
|
|
|
@menu-main-body-font-size: 0.75em;
|
|
|
|
@menu-main-body-link-color: #0645ad;
|
|
|
|
@menu-main-body-link-visited-color: #0b0080;
|
2017-06-22 19:06:17 +00:00
|
|
|
@menu-main-body-margin-left: 0.5em;
|
2017-03-27 18:01:24 +00:00
|
|
|
@menu-main-body-padding: 0.3em 0 0 0;
|
2014-08-07 11:38:34 +00:00
|
|
|
|
|
|
|
// Personal menu
|
2018-10-15 23:19:45 +00:00
|
|
|
@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`
|
2019-09-18 22:26:38 +00:00
|
|
|
|
|
|
|
// Search
|
|
|
|
@width-search-button: 24 / @font-size-browser / @font-size-search-input;
|
|
|
|
@font-size-search-input: unit( 13 / @font-size-browser, em ); // Equals `0.8125em`.
|