// Colors. $color-fore : #222; $color-back : #EFEFEF; $color-primary : #2272D4; $color-secondary : #D47222; $color : ( light : ( fore : $color-fore, back : $color-back, primary : $color-primary, secondary : $color-secondary, input-back : mix($color-back, #FFF, 80%) ), dark : ( fore : $color-back, back : $color-fore, primary : mix($color-primary, $color-fore, 80%), secondary : mix($color-secondary, $color-fore, 80%), input-back : mix($color-fore, #000, 80%) ), common : ( grey : mix($color-fore, $color-back, 50%) ) ); // Sizes. $header-height : 4em; $footer-height : 2em; $border-radius : .3em; // Fonts. $font-normal : "Roboto", Arial; $font-mono : "RobotoMono", monospace; $font-icon : "FA6FS"; // Transitions. $transition-in : .35s; $transition-out : 1s; $transition : .5s;