2017-11-25 04:55:35 +00:00
|
|
|
$background: #2B2A27;
|
|
|
|
|
$foreground: #EDE0CE;
|
2017-11-27 00:29:37 +00:00
|
|
|
$subtle: #7A7267;
|
2017-11-25 04:55:35 +00:00
|
|
|
$margin: darken($background, 8%);
|
|
|
|
|
$shadow: rgba(black, 0.4);
|
|
|
|
|
|
|
|
|
|
$orange: rgb(236, 103, 55);
|
2020-06-24 22:50:06 +00:00
|
|
|
$yellow: rgb(228, 214, 124);
|
2017-11-25 04:55:35 +00:00
|
|
|
$green: rgb(188, 212, 42);
|
2020-06-24 22:50:06 +00:00
|
|
|
$blue: rgb(39, 167, 167);
|
2017-11-25 04:55:35 +00:00
|
|
|
$magenta: rgb(168, 66, 114);
|
|
|
|
|
|
2017-11-25 05:02:30 +00:00
|
|
|
$darken-factor: 15%;
|
|
|
|
|
$dark-blue: darken($blue, $darken-factor);
|
|
|
|
|
$dark-orange: darken($orange, $darken-factor);
|
|
|
|
|
$dark-green: darken($green, $darken-factor);
|
|
|
|
|
$dark-magenta: darken($magenta, $darken-factor);
|
|
|
|
|
|
