:root {
  --fg0: #eeeeee;
  --fg1: #aaaaaa;
  --a:   #60a5fa;
  --bg0: #15191e;
  --bg1: #1b2026;
  --bg2: #2c2c38;
  --bg3: #363842;
  --bg4: #444452;
  --orange0: #7a381b;
  --orange1: #873e1e;
  --code-red:     #e15d5d;
  --code-green:   #a4c252;
  --code-yellow:  #d99463;
  --code-blue:    #78a3c7;
  --code-magenta: #ad7ac4;
  --code-cyan:    #79b5ae;
  --code-muted:   var(--fg1); }

.invert-dark {
  filter: brightness(100); }