:root{--rot:#142e7b;--rot-tief:color-mix(in srgb, #142e7b 84%, #000);--rot-dunkel:color-mix(in srgb, #142e7b 64%, #000);--rot-hell:color-mix(in srgb, #142e7b 55%, #fff);--rot-zart:color-mix(in srgb, #142e7b 12%, #fff);--paper:#faf9f5;--kopf-verlauf:linear-gradient(135deg, #142e7b 0%, color-mix(in srgb, #142e7b 76%, #000) 55%, color-mix(in srgb, #142e7b 50%, #000) 100%);}