// Colours; see https://design.wikimedia.org/style-guide/visual-style_colors.html

@base100: #fff;
@base90: #fcfcfc;
@base80: #f3f3f3;
@base75: #eee;
@base70: #c8c8c8;
@base30: #777;
@base20: #555;
@base0: #000;

@red: #d44;
@red-bright: #f55;
@red-dark: #900;

@green: #3b7;
@green-bright: #4c8;
@green-dark: #396;

@blue: #08d;
@blue-bright: #2af;
@blue-dark: #069;

@background: @base100;
@text: @base0;

@link: @blue;
@link-visited: @blue-dark;

@link-red: @red;
@link-red-visited: @red-dark;

@link-ext: #37a;
@link-ext-visited: darken( @link-ext, 10% );

// Flair

// Fonts are chosen for consistent metrics, not necessarily overall prettiness.
@fonts-sans: 'Microsoft YaHei', -apple-system, BlinkMacSystemFont, 'PingFang SC', 'Noto Sans', Simhei, 'Arial', sans-serif;
@fonts-serif: 'Microsoft YaHei', -apple-system, BlinkMacSystemFont, 'PingFang SC', 'Noto Sans', Simhei, 'Arial', sans-serif;
@fonts-mono: 'Yahei Consolas Hybrid' 'Menlo', 'Consolas', 'Monaco', 'Noto Mono', 'Nimbus Mono L', monospace;

@fonts: @fonts-sans;
@fonts-secondary: @fonts-serif;

@border: 0.2em;
@radius: 0.2em;