/* Generated by tools/gen_theme.py from design/rx01-tokens.json - do not edit. */
:root {
  --rx-ink: #11100f;
  --rx-cream: #fae3ac;
  --rx-red: #d12128;
  --rx-navy: #01344f;
  --rx-cream-dim: #988a6a;
  --rx-navy-hi: #2e5460;
  --rx-navy-lo: #082432;
  --rx-red-lo: #67181a;
  --rx-outline: 2px;
  --rx-shadow-x: 3px;
  --rx-shadow-y: 3px;
  --rx-stamp-skew: -8deg;
  --rx-key-radius: 4px;
  --rx-edge: 6px;
  --rx-gap: 4px;
}