/* generated from src/tokens.json; ramp = srgb mixes of the two brand pixels */
:root {
  --navy: #013874;
  --white: #fefefe;
  --n-4: color-mix(in srgb, var(--navy) 4%, var(--white));
  --n-8: color-mix(in srgb, var(--navy) 8%, var(--white));
  --n-12: color-mix(in srgb, var(--navy) 12%, var(--white));
  --n-24: color-mix(in srgb, var(--navy) 24%, var(--white));
  --n-40: color-mix(in srgb, var(--navy) 40%, var(--white));
  --n-55: color-mix(in srgb, var(--navy) 55%, var(--white));
  --n-70: color-mix(in srgb, var(--navy) 70%, var(--white));
  --n-80: color-mix(in srgb, var(--navy) 80%, var(--white));
  --n-90: color-mix(in srgb, var(--navy) 90%, var(--white));
  --n-95: color-mix(in srgb, var(--navy) 95%, var(--white));
}