2018-04-04 16:25:25 +02:00
|
|
|
$dark: #222;
|
2018-04-18 14:21:58 +02:00
|
|
|
$light: #dedede;
|
2018-05-04 19:27:37 +02:00
|
|
|
$deepblue: #1b6d85;
|
|
|
|
$lightblue: lightblue;
|
2018-05-24 16:56:19 +02:00
|
|
|
$grey: #e3e3e3;
|
2018-05-04 19:27:37 +02:00
|
|
|
$logo-color: mix($deepblue, $light);
|
|
|
|
$all-text-color: mix($deepblue, $light);
|
2019-02-21 15:55:28 +01:00
|
|
|
|
|
|
|
|
|
|
|
$btn-primary-bg: $deepblue;
|