$body-background-color: #000 !default;
$base-color: #3f4757 !default;
$base-highlight-color: mix(#fff, $base-color, 15%) !default;
$base-light-color: mix(#fff, $base-color, 65%) !default;
$base-dark-color: mix(#000, $base-color, 14%) !default;
$orange: #ed9200 !default;
$focus-color: $orange !default;
$color: #fff !default;
$font-size: 15px !default;
$css-shadow-background-color: #000000 !default;
$include-shadow-images: false !default;
