diff options
Diffstat (limited to 'www/wiki/skins/Vector/variables.less')
-rw-r--r-- | www/wiki/skins/Vector/variables.less | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/www/wiki/skins/Vector/variables.less b/www/wiki/skins/Vector/variables.less new file mode 100644 index 00000000..45551366 --- /dev/null +++ b/www/wiki/skins/Vector/variables.less @@ -0,0 +1,43 @@ +@import 'mediawiki.ui/variables'; + +@html-font-size: 100%; + +@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 +@menu-personal-font-size: 0.75em; |