$theme-name: dark;

$group-background-color: rgba(50, 70, 80, 0.5);
$group-border-color: #00164A;

$rule-background-color: rgba(40, 40, 40, 0.9);
$rule-border-color: #111;

$error-border-color: #800;
$error-background-color: #322;

$ticks-color: #222;

@import 'default';