/* generated from tokens.json by gen_tokens.py — do not edit by hand.
   GTK CSS has no custom properties; reference these as @name, and use
   alpha(@name, 0.5) where the web build uses rgba(var(--name),.5). */
@define-color ground #151311;
@define-color panel #100f0f;
@define-color well #0a0c0d;
@define-color raise #1a1917;
@define-color silver #bfc4d0;
@define-color cream #f3e7c5;
@define-color steel #969385;
@define-color dim #7c838a;
@define-color slate #424f5e;
@define-color slate_hi #54677d;
@define-color wash #2c2f32;
@define-color pass #74932f;
@define-color fail #cb6b4d;
@define-color phos #7fe0a0;
@define-color phos_dim #1c3626;
@define-color vfd #63e6c8;
@define-color sevgrn #57d357;
@define-color sevred #e2543f;
@define-color sevoff #1a1613;
@define-color jewel_r #ff5b45;
@define-color jewel_a #ffb43a;
@define-color jewel_g #6fce33;
@define-color gold #e2a038;
@define-color gold_hi #ffbe54;
@define-color amber_grad_top #f2c76a;
@define-color amber_grad_mid #d29638;
@define-color amber_grad_bot #8f671f;
@define-color amber_edge #7d5c16;
@define-color amber_warn #f0b552;
@define-color glow_hi #ffbe54;
@define-color glow_lo #e2a038;