/* ==========================================================================
   Die Hausfarben - die eine Quelle (Lieferung 179, 25.09.2026).

   WARUM ES DIESE DATEI JETZT WIRKLICH GIBT
   basis.html laedt sie seit dem 29.08.2026, und stil.css nennt sie "die
   Quelle" der Hausfarben. Nur: Es gab sie nicht - nicht im Repository,
   nicht auf dem Server (Patrick, 25.09.: "No such file or directory").
   Jede Seite lud eine 404, und die Farben kamen allein aus den
   Ersatzwerten in stil.css. Wo stil.css KEINEN Ersatzwert hatte -
   var(--ton-haupt) an sechs Stellen, var(--ton-linie) an drei -, war die
   Angabe schlicht unwirksam: Rahmen und Markierungen, die nicht da waren,
   ohne dass es jemand merkte.

   DIE WERTE sind genau die Ersatzwerte aus stil.css und das Petrol aus
   papier.css - am Bildschirm aendert sich nichts, ausser dass die neun
   Stellen oben wieder greifen. Wer eine Hausfarbe aendert, aendert sie
   HIER (und in papier.css fuers PDF, siehe dort).

   tests/test_farben.py prueft, dass jede --ton-Variable, die irgendwo
   benutzt wird, hier steht.
   ========================================================================== */
:root {
  --ton-haupt:   #004b6a;   /* Petrol - Kopfband, Akzent, Logo */
  --ton-gut:     #5f9629;
  --ton-hinweis: #a67022;   /* Ocker - Warnungen, Umgebungsband */
  --ton-fehler:  #d63635;
  --ton-text:    #1a171b;   /* Tinte */
  --ton-linie:   #dbe0e3;   /* wie --linie in stil.css */
}