/* GENERATED by design/compile.py from design/design-tokens.json — do not edit. */
:root {
  --w-ground: #0D1F3B;
  --w-groundLo: #0A1730;
  --w-card: rgba(148,183,227,0.085);
  --w-cardRaised: rgba(148,183,227,0.13);
  --w-hair: rgba(190,214,240,0.16);
  --w-dim: rgba(190,214,240,0.18);
  --w-ink1: #EFF4F9;
  --w-ink2: #CBD3DE;
  --w-ink3: #A8B7C8;
  --w-ink4: #899DB4;
  --w-accent: #8FC3E8;
  --w-band-low: #7FE3B0;
  --w-band-moderate: #8FC3E8;
  --w-band-elevated: #E8C07F;
  --w-band-high: #E89090;
  --w-size-micro: 8px;
  --w-size-tiny: 9.5px;
  --w-size-caption: 11px;
  --w-size-small: 12.5px;
  --w-size-body: 14.5px;
  --w-size-lead: 17px;
  --w-size-title: 20px;
  --w-size-big: 24px;
  --w-size-display: 32px;
  --w-radius-xs: 3px;
  --w-radius-sm: 5px;
  --w-radius-md: 8px;
  --w-radius-lg: 12px;
  --w-radius-xl: 18px;
  --w-radius-phone: 34px;
  --w-radius-pill: 999px;
}