frontend: Druck-Stylesheet — nur das Diagramm drucken

TASKS Phase 2. @media print in style.css blendet Kopfzeile, Editor-Panel,
Splitter, alle Bedienelemente des Diagramm-Kopfs, Warnungen und Footer aus; das
Diagramm füllt die Seite (App-Grid -> Block, Overflow sichtbar) und darf über
mehrere Seiten laufen. Statusfarben werden mitgedruckt (print-color-adjust:
exact), Knoten brechen nicht über den Seitenrand (break-inside: avoid), der
Günstigster-Pfad-Overlay (in #out) kommt mit.

Verifiziert per Druck-Emulation (Regeln testweise als Screen-Style angewendet):
Editor/Kopf/Splitter/Warnungen/Footer display:none, Diagramm sichtbar, 18
Knoten, Farben + Pfadlinie erhalten. SPEC §9 (Druck) ergänzt.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

docs/SPEC.md

@@ -235,6 +235,16 @@ Lesereihenfolge** (Wurzeln, dann Kinder in Tiefe). Ein sichtbarer
 ist eine **Live-Region** (`role="status"`, `aria-live="polite"`), sodass neue
 Warnungen (z. B. gemischte Gates) angesagt werden.
 
+### Druck
+Ein `@media print`-Stylesheet reduziert die Seite auf das **Diagramm**:
+Kopfzeile, Editor-Panel, Splitter, sämtliche Bedienelemente (Diagramm-Kopf),
+Warnungen und Footer werden ausgeblendet; das Diagramm füllt die Seite und darf
+über mehrere Seiten laufen. Die **Statusfarben** werden bewusst mitgedruckt
+(`print-color-adjust: exact`), Knoten brechen nicht über den Seitenrand
+(`break-inside: avoid`), und der Günstigster-Pfad-Overlay wird mitgedruckt.
+Sehr breite Bäume laufen bei 100 % über die Seitenbreite hinaus — dann im
+Druckdialog „an Seite anpassen“ bzw. Querformat wählen.
+
 ## 10. Beispiel (kanonisch)
 
 ```