2019-08-21 00:42:04 +02:00
|
|
|
@import '_variables';
|
|
|
|
|
2019-12-16 22:28:48 +01:00
|
|
|
/* Color Scheme */
|
2019-08-21 00:42:04 +02:00
|
|
|
$gray: #1a3854;
|
|
|
|
$black: #102e4a;
|
|
|
|
$white: #F8F8F8;
|
|
|
|
$purple: #7765E3;
|
|
|
|
$lightpurple: #c2bbee;
|
|
|
|
$red: #d16666;
|
|
|
|
$yellow: #ff934f;
|
|
|
|
$blue: #7f96ff;
|
|
|
|
|
|
|
|
$background: $black;
|
|
|
|
$form-input-background: $gray;
|
|
|
|
$form-input-border: $white;
|
|
|
|
$text-color: $white;
|
|
|
|
$primary: $purple;
|
|
|
|
$primary-text-color: $white; // text color on primary background (buttons for instance)
|
|
|
|
$success-color: $blue;
|
2019-12-30 14:35:27 +01:00
|
|
|
|
|
|
|
//Code Highlighting
|
|
|
|
|
|
|
|
$code-keyword-color: #f79ac1;
|
|
|
|
$code-source-color: #a6f0ab;
|
|
|
|
$code-constant-color: #dfec84;
|
|
|
|
$code-operator-color: #eddf95;
|
|
|
|
$code-string-color: #f2ae60;
|
|
|
|
$code-comment-color: #a3b4f9;
|