:root {   /* ─── Primary / Blue Palette ─── */   --insignBlue: #001a70;   --800: color-mix(in srgb, #001a70, white 30%);   --insignNavy: color-mix(in srgb, #001a70, black 20%);   --insignModernBlue: color-mix(in srgb, #001a70, white 30%);   --insignMediumBlue: color-mix(in srgb, #001a70, white 25%);   --insignLightBlue2: color-mix(in srgb, #001a70, white 40%);   --insignLighterBlue: color-mix(in srgb, #001a70, white 50%);   --insignUltraLightBlue: color-mix(in srgb, #001a70, white 85%);   --insignLightestBlue: color-mix(in srgb, #001a70, white 75%);   --insignHighlightBlue: color-mix(in srgb, #001a70, white 80%);   --insignHigherLightBlue: color-mix(in srgb, #001a70, white 90%);    /* ─── Accent Colors ─── */   --insignOrange: #e86a0e;   --insignBlueInverted: color-mix(in srgb, #e86a0e, white 25%);   --insignLightOrange: color-mix(in srgb, #e86a0e, white 25%);   --insignYellow: color-mix(in srgb, #e86a0e, white 40%);   --insignAlternativeYellow: #e86a0e;    /* ─── Grey Palette (surface-derived) ─── */   --insignLigtherGrey: #f3f3f3;   --insignLightestGrey: color-mix(in srgb, #f3f3f3, white 30%);   --insignLightestGrey2: color-mix(in srgb, #f3f3f3, white 50%);   --insignLightGrey: color-mix(in srgb, #f3f3f3, black 5%);   --insignGrey: color-mix(in srgb, #f3f3f3, black 8%);   --insignGrey2: color-mix(in srgb, #f3f3f3, white 15%);   --insignGrey3: color-mix(in srgb, #f3f3f3, #001a70 3%);   --insignGrey4: color-mix(in srgb, #f3f3f3, black 18%);   --insignGrey5: color-mix(in srgb, #f3f3f3, black 12%);   --insignMiddleGrey: color-mix(in srgb, #f3f3f3, black 25%);   --insignMediumGrey: color-mix(in srgb, #f3f3f3, black 40%);   --insignMediumGrey2: color-mix(in srgb, #f3f3f3, black 55%);   --insignDarkGrey: color-mix(in srgb, #f3f3f3, black 40%);   --insignDarkerGrey: color-mix(in srgb, #f3f3f3, black 50%);   --insignDarkestGrey: color-mix(in srgb, #f3f3f3, black 55%);    /* ─── Text / Dark Tones ─── */   --insignDarkBlack: #2c2c2c;   --insignBlack: #1f1f1f;   --insignLightBlack: color-mix(in srgb, #1f1f1f, white 25%);   --insignAlternativeBlack: #1f1f1f;   --insignLightDarkBlack: color-mix(in srgb, #1f1f1f, black 10%);    /* ─── Error / Success ─── */   --insignRed: #bd2318;   --insignLightRed: color-mix(in srgb, #bd2318, white 30%);   --insignLightestRed: color-mix(in srgb, #bd2318, white 75%);   --insignLighterRed: color-mix(in srgb, #bd2318, white 55%);   --insignGreen: color-mix(in srgb, #0A8765, white 25%);   --insignLightGreen: color-mix(in srgb, #0A8765, white 50%);   --insignMiddleGreen: #0A8765;   --insignDarkGreen: color-mix(in srgb, #0A8765, black 15%);  }