]> scripts.mit.edu Git - autoinstalls/mediawiki.git/blob - skins/Vector/variables.less
MediaWiki 1.30.2 renames
[autoinstalls/mediawiki.git] / skins / Vector / variables.less
1 @import 'mediawiki.ui/variables';
2
3 @html-font-size: 100%;
4
5 @font-family-serif: 'Linux Libertine', 'Georgia', 'Times', serif;
6 @font-family-sans-serif: sans-serif;
7
8 // Page content
9 // FIXME: Use global variable since Echo and CentralNotice use this variable
10 @content-border-color: #a7d7f9;
11 // FIXME: Find an open font that works with this stack and is readable by Windows users
12 @content-font-family: @font-family-sans-serif;
13 @content-font-color: #222;
14 @content-font-size: 0.875em;
15 @pureBlack: #000;
16 @content-line-height: 1.6;
17 @content-padding: 1em;
18 @content-heading-font-size: 1.8em;
19 @content-heading-font-family: @font-family-serif;
20 @content-heading-font-family-generic: sans-serif;
21 @body-background-color: #fff;
22 @heading-line-height: 1.3;
23
24 // Navigation
25 @menu-background-color: #f6f6f6;
26
27 // Common menu
28 @menu-link-color: #0645ad;
29
30 // Main menu
31 @menu-main-font-size: inherit;
32
33 @menu-main-heading-font-size: 0.75em;
34 @menu-main-heading-color: #444;
35
36 @menu-main-body-font-size: 0.75em;
37 @menu-main-body-link-color: #0645ad;
38 @menu-main-body-link-visited-color: #0b0080;
39 @menu-main-body-margin-left: 0.5em;
40 @menu-main-body-padding: 0.3em 0 0 0;
41
42 // Personal menu
43 @menu-personal-font-size: 0.75em;