/* Einziges Markenrot. Hover, Active und der helle Verlauf werden daraus gemischt.
   Kein zweites Rot. Seitenhintergründe bleiben Weiß. */
:root {
  --rot: #8B0000;
  --rot-hover: color-mix(in srgb, var(--rot) 82%, black);
  --rot-active: color-mix(in srgb, var(--rot) 68%, black);
  --rot-tint: color-mix(in srgb, var(--rot) 6%, white);
}