// Core variables // Global @html-font-size: 10px; @html-line-height: 1.428571429; @body-bg: @bg-color-light; @body-font-color: @dark-color; @font-size: 1.4rem; @font-size-sm: 1.2rem; @font-size-lg: 1.6rem; // Fonts // Credit: https://www.smashingmagazine.com/2015/11/using-system-ui-fonts-practical-guide/ @base-font-family: -apple-system, system-ui, BlinkMacSystemFont, "Segoe UI", Roboto; @fallback-font-family: "Helvetica Neue", sans-serif; @cjk-jp-font-family: @base-font-family, "Hiragino Sans", "Hiragino Kaku Gothic Pro", "Yu Gothic", YuGothic, Meiryo, @fallback-font-family; @cjk-zh-font-family: @base-font-family, "PingFang SC", "Hiragino Sans GB", "Microsoft YaHei", @fallback-font-family; @cjk-ko-font-family: @base-font-family, "Malgun Gothic", @fallback-font-family; @body-font-family: @base-font-family, @fallback-font-family; // Sizes @layout-padding: 1rem; @layout-padding-lg: 1.5rem; @control-min-width: 18rem; @border-radius: .2rem; @border-width: .1rem; // Colors // Core colors @primary-color: #5764c6; @primary-color-dark: darken(@primary-color, 3%); @primary-color-light: lighten(@primary-color, 3%); @secondary-color: lighten(@primary-color, 40%); @secondary-color-dark: darken(@secondary-color, 3%); @secondary-color-light: lighten(@secondary-color, 3%); @link-color: @primary-color; @link-color-dark: darken(@link-color, 5%); // Gray colors @dark-color: #454d5d; @light-color: #fff; @gray-color: lighten(@dark-color, 40%); @gray-color-dark: darken(@gray-color, 20%); @gray-color-light: lighten(@gray-color, 20%); @border-color: lighten(@gray-color-light, 3%); @border-color-dark: darken(@border-color, 15%); @bg-color: lighten(@dark-color, 66%); @bg-color-dark: darken(@bg-color, 3%); @bg-color-light: @light-color; // Control colors @control-color-success: #32b643; @control-color-warning: #ffb700; @control-color-error: #e85600; // Other colors @code-color: #e06870; @highlight-color: #ffe9b3; // Responsive breakpoints @size-xs: 480px; @size-sm: 600px; @size-md: 840px; @size-lg: 960px; @size-xl: 1280px; @size-2x: 1440px; // Z-index @zindex-0: 1; @zindex-1: 100; @zindex-2: 200; @zindex-3: 300; @zindex-4: 400;