| 1 | $theme-name: dark;
|
| 2 |
|
| 3 | $group-background-color: rgba(50, 70, 80, .5);
|
| 4 | $group-border-color: #00164A;
|
| 5 |
|
| 6 | $rule-background-color: rgba(40, 40, 40, .9);
|
| 7 | $rule-border-color: #111;
|
| 8 |
|
| 9 | $error-border-color: #800;
|
| 10 | $error-background-color: #322;
|
| 11 |
|
| 12 | $ticks-color: #222;
|
| 13 |
|
| 14 | @import 'default';
|