@import 'mediawiki.ui/variables'; @font-size-root: 100%; @font-size-browser: 16; // Assumed browser default of `16px` @font-family-serif: 'Linux Libertine', 'Georgia', 'Times', serif; // FIXME: Use WikimediaUI Base's OS specific default sans-serif fonts. @font-family-sans: sans-serif; @font-family-sans--fallback: sans-serif; // Page content @background-color-base: #fff; @color-base: #222; @color-link: #0645ad; @color-link-visited: #0b0080; @color-link-selected: @color-base; // FIXME: Use global variable since Echo and CentralNotice use this variable @content-border-color: #a7d7f9; @content-font-size: 0.875em; @pureBlack: #000; @content-line-height: 1.6; @content-padding: 1em; @content-heading-font-size: 1.8em; @heading-line-height: 1.3; // Navigation @background-color-secondary: #f6f6f6; // 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-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` // 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`.