/* DERU: Production paper/ink consolidated. Brand accents are not status text.
   Success is a distinct accessible functional green, not a brand colour.
   All shades, tints and opacity variants below derive from these bases. */
:root{
  --deru-blue: #5235FF;
  --deru-coral: #FF424A;
  --deru-yellow: #FFD642;
  --deru-paper: #F5F3EF;
  --deru-ink: #202024;
  --deru-white: #FFFFFF;
  --deru-black: #000000;
  --deru-success: #17654B;
  --deru-ink-paper-10: color-mix(in srgb, var(--deru-ink) 10%, var(--deru-paper));
  --deru-coral-ink-60: color-mix(in srgb, var(--deru-coral) 60%, var(--deru-ink));
  --deru-ink-paper-65: color-mix(in srgb, var(--deru-ink) 65%, var(--deru-paper));
  --deru-yellow-paper-20: color-mix(in srgb, var(--deru-yellow) 20%, var(--deru-paper));
  --deru-yellow-ink-20: color-mix(in srgb, var(--deru-yellow) 20%, var(--deru-ink));
  --deru-ink-paper-5: color-mix(in srgb, var(--deru-ink) 5%, var(--deru-paper));
  --deru-ink-paper-15: color-mix(in srgb, var(--deru-ink) 15%, var(--deru-paper));
  --deru-ink-paper-70: color-mix(in srgb, var(--deru-ink) 70%, var(--deru-paper));
  --deru-ink-paper-50: color-mix(in srgb, var(--deru-ink) 50%, var(--deru-paper));
  --deru-blue-alpha-4: color-mix(in srgb, var(--deru-blue) 4%, transparent);
  --deru-white-alpha-53: color-mix(in srgb, var(--deru-white) 53%, transparent);
  --deru-coral-alpha-5: color-mix(in srgb, var(--deru-coral) 5%, transparent);
  --deru-yellow-alpha-15: color-mix(in srgb, var(--deru-yellow) 15%, transparent);
  --deru-white-alpha-60: color-mix(in srgb, var(--deru-white) 60%, transparent);
  --deru-ink-paper-30: color-mix(in srgb, var(--deru-ink) 30%, var(--deru-paper));
  --deru-ink-paper-75: color-mix(in srgb, var(--deru-ink) 75%, var(--deru-paper));
  --deru-ink-paper-55: color-mix(in srgb, var(--deru-ink) 55%, var(--deru-paper));
  --deru-ink-paper-95: color-mix(in srgb, var(--deru-ink) 95%, var(--deru-paper));
  --deru-ink-paper-25: color-mix(in srgb, var(--deru-ink) 25%, var(--deru-paper));
  --deru-ink-paper-80: color-mix(in srgb, var(--deru-ink) 80%, var(--deru-paper));
  --deru-blue-ink-65: color-mix(in srgb, var(--deru-blue) 65%, var(--deru-ink));
  --deru-yellow-ink-25: color-mix(in srgb, var(--deru-yellow) 25%, var(--deru-ink));
  --deru-ink-paper-40: color-mix(in srgb, var(--deru-ink) 40%, var(--deru-paper));
  --deru-ink-paper-60: color-mix(in srgb, var(--deru-ink) 60%, var(--deru-paper));
  --deru-black-alpha-73: color-mix(in srgb, var(--deru-black) 73%, transparent);
  --deru-blue-alpha-19: color-mix(in srgb, var(--deru-blue) 19%, transparent);
  --deru-blue-alpha-60: color-mix(in srgb, var(--deru-blue) 60%, transparent);
  --deru-yellow-ink-55: color-mix(in srgb, var(--deru-yellow) 55%, var(--deru-ink));
  --deru-blue-alpha-17: color-mix(in srgb, var(--deru-blue) 17%, transparent);
  --deru-blue-alpha-53: color-mix(in srgb, var(--deru-blue) 53%, transparent);
  --deru-success-paper-35: color-mix(in srgb, var(--deru-success) 35%, var(--deru-paper));
  --deru-ink-paper-45: color-mix(in srgb, var(--deru-ink) 45%, var(--deru-paper));
  --deru-ink-paper-35: color-mix(in srgb, var(--deru-ink) 35%, var(--deru-paper));
  --deru-ink-paper-85: color-mix(in srgb, var(--deru-ink) 85%, var(--deru-paper));
  --deru-paper-alpha-94: color-mix(in srgb, var(--deru-paper) 94%, transparent);
  --deru-blue-alpha-10: color-mix(in srgb, var(--deru-blue) 10%, transparent);
  --deru-blue-alpha-69: color-mix(in srgb, var(--deru-blue) 69%, transparent);
  --deru-blue-alpha-46: color-mix(in srgb, var(--deru-blue) 46%, transparent);
  --deru-blue-paper-70: color-mix(in srgb, var(--deru-blue) 70%, var(--deru-paper));
  --deru-blue-paper-70-alpha-33: color-mix(in srgb, var(--deru-blue-paper-70) 33%, transparent);
  --deru-blue-alpha-15: color-mix(in srgb, var(--deru-blue) 15%, transparent);
  --deru-blue-alpha-38: color-mix(in srgb, var(--deru-blue) 38%, transparent);
  --deru-yellow-ink-30: color-mix(in srgb, var(--deru-yellow) 30%, var(--deru-ink));
  --deru-blue-ink-75: color-mix(in srgb, var(--deru-blue) 75%, var(--deru-ink));
  --deru-ink-paper-20: color-mix(in srgb, var(--deru-ink) 20%, var(--deru-paper));
  --deru-blue-paper-40: color-mix(in srgb, var(--deru-blue) 40%, var(--deru-paper));
  --deru-white-alpha-73: color-mix(in srgb, var(--deru-white) 73%, transparent);
  --deru-paper-alpha-96: color-mix(in srgb, var(--deru-paper) 96%, transparent);
  --deru-ink-alpha-16: color-mix(in srgb, var(--deru-ink) 16%, transparent);
  --deru-white-alpha-55: color-mix(in srgb, var(--deru-white) 55%, transparent);
  --deru-blue-ink-45: color-mix(in srgb, var(--deru-blue) 45%, var(--deru-ink));
  --deru-white-alpha-92: color-mix(in srgb, var(--deru-white) 92%, transparent);
  --deru-blue-alpha-20: color-mix(in srgb, var(--deru-blue) 20%, transparent);
  --deru-coral-alpha-70: color-mix(in srgb, var(--deru-coral) 70%, transparent);
  --deru-blue-ink-10: color-mix(in srgb, var(--deru-blue) 10%, var(--deru-ink));
  --deru-blue-ink-10-alpha-8: color-mix(in srgb, var(--deru-blue-ink-10) 8%, transparent);
  --deru-white-alpha-72: color-mix(in srgb, var(--deru-white) 72%, transparent);
  --deru-blue-ink-40: color-mix(in srgb, var(--deru-blue) 40%, var(--deru-ink));
  --deru-blue-ink-40-alpha-20: color-mix(in srgb, var(--deru-blue-ink-40) 20%, transparent);
  --deru-white-alpha-30: color-mix(in srgb, var(--deru-white) 30%, transparent);
  --deru-blue-ink-40-alpha-25: color-mix(in srgb, var(--deru-blue-ink-40) 25%, transparent);
  --deru-white-alpha-70: color-mix(in srgb, var(--deru-white) 70%, transparent);
  --deru-blue-ink-5: color-mix(in srgb, var(--deru-blue) 5%, var(--deru-ink));
  --deru-blue-ink-5-alpha-12: color-mix(in srgb, var(--deru-blue-ink-5) 12%, transparent);
  --deru-white-alpha-75: color-mix(in srgb, var(--deru-white) 75%, transparent);
  --deru-black-alpha-47: color-mix(in srgb, var(--deru-black) 47%, transparent);
  --deru-coral-paper-40: color-mix(in srgb, var(--deru-coral) 40%, var(--deru-paper));
  --deru-blue-alpha-50: color-mix(in srgb, var(--deru-blue) 50%, transparent);
  --deru-paper-alpha-0: color-mix(in srgb, var(--deru-paper) 0%, transparent);
  --deru-blue-alpha-52: color-mix(in srgb, var(--deru-blue) 52%, transparent);
  --deru-blue-paper-15: color-mix(in srgb, var(--deru-blue) 15%, var(--deru-paper));
  --deru-blue-paper-15-alpha-7: color-mix(in srgb, var(--deru-blue-paper-15) 7%, transparent);
  --deru-blue-alpha-9: color-mix(in srgb, var(--deru-blue) 9%, transparent);
  --deru-white-alpha-69: color-mix(in srgb, var(--deru-white) 69%, transparent);
  --deru-coral-paper-30: color-mix(in srgb, var(--deru-coral) 30%, var(--deru-paper));
  --deru-black-alpha-93: color-mix(in srgb, var(--deru-black) 93%, transparent);
  --deru-blue-ink-55: color-mix(in srgb, var(--deru-blue) 55%, var(--deru-ink));
  --deru-blue-paper-20: color-mix(in srgb, var(--deru-blue) 20%, var(--deru-paper));
  --deru-white-alpha-20: color-mix(in srgb, var(--deru-white) 20%, transparent);
  --deru-blue-ink-30: color-mix(in srgb, var(--deru-blue) 30%, var(--deru-ink));
  --deru-ink-alpha-91: color-mix(in srgb, var(--deru-ink) 91%, transparent);
  --deru-white-alpha-44: color-mix(in srgb, var(--deru-white) 44%, transparent);
  --deru-blue-paper-30: color-mix(in srgb, var(--deru-blue) 30%, var(--deru-paper));
  --deru-coral-alpha-90: color-mix(in srgb, var(--deru-coral) 90%, transparent);
  --deru-coral-alpha-71: color-mix(in srgb, var(--deru-coral) 71%, transparent);
  --deru-coral-alpha-40: color-mix(in srgb, var(--deru-coral) 40%, transparent);
  --deru-coral-alpha-10: color-mix(in srgb, var(--deru-coral) 10%, transparent);
  --deru-blue-alpha-14: color-mix(in srgb, var(--deru-blue) 14%, transparent);
  --deru-blue-alpha-8: color-mix(in srgb, var(--deru-blue) 8%, transparent);
  --deru-yellow-alpha-16: color-mix(in srgb, var(--deru-yellow) 16%, transparent);
  --deru-blue-alpha-12: color-mix(in srgb, var(--deru-blue) 12%, transparent);
  --deru-blue-alpha-2: color-mix(in srgb, var(--deru-blue) 2%, transparent);
  --deru-paper-alpha-79: color-mix(in srgb, var(--deru-paper) 79%, transparent);
  --deru-paper-alpha-75: color-mix(in srgb, var(--deru-paper) 75%, transparent);
  --deru-ink-alpha-4: color-mix(in srgb, var(--deru-ink) 4%, transparent);
  --deru-coral-alpha-17: color-mix(in srgb, var(--deru-coral) 17%, transparent);
  --deru-coral-alpha-87: color-mix(in srgb, var(--deru-coral) 87%, transparent);
  --deru-blue-alpha-7: color-mix(in srgb, var(--deru-blue) 7%, transparent);
  --deru-blue-alpha-22: color-mix(in srgb, var(--deru-blue) 22%, transparent);
  --deru-yellow-alpha-8: color-mix(in srgb, var(--deru-yellow) 8%, transparent);
  --deru-blue-alpha-5: color-mix(in srgb, var(--deru-blue) 5%, transparent);
  --deru-blue-alpha-25: color-mix(in srgb, var(--deru-blue) 25%, transparent);
  --deru-ink-paper-15-alpha-61: color-mix(in srgb, var(--deru-ink-paper-15) 61%, transparent);
  --deru-blue-alpha-27: color-mix(in srgb, var(--deru-blue) 27%, transparent);
  --deru-yellow-paper-35: color-mix(in srgb, var(--deru-yellow) 35%, var(--deru-paper));
  --deru-yellow-ink-45: color-mix(in srgb, var(--deru-yellow) 45%, var(--deru-ink));
  --deru-focus: var(--deru-blue);
  --deru-error: color-mix(in srgb,var(--deru-coral) 60%,var(--deru-ink));
  --deru-blue-paper-35: color-mix(in srgb, var(--deru-blue) 35%, var(--deru-paper));
}