frontend: Legende scrollbar + Splitter zwischen Editor und Legende

Die Legende wurde abgeschnitten statt zu scrollen — obwohl `.hint` seit jeher
`flex:1 1 auto; min-height:0; overflow:auto` trägt.

Ursache: Chrome legt den Inhalt eines <details> in das Pseudo-Element
`::details-content`. Damit war `.hint` kein Flex-Kind von `.agenda` mehr, die
Begrenzung griff nicht und der Kasten wuchs auf seine Inhaltshöhe (gemessen
585 px in einem 282 px hohen Container) und wurde geclippt. Eine Regel für
`::details-content` wirkte im Test, ist aber Chrome-eigen — Firefox und Safari
kennen das Pseudo-Element nicht.

- Die Legende ist deshalb kein <details> mehr, sondern `div.agenda` +
  `button.agenda-summary`; der Zustand hängt an der Klasse `open`
  (`aria-expanded` am Button, `#legendBtn` und Splitter-Sichtbarkeit über
  `setAgendaOpen()` synchron). `.hint` ist wieder echtes Flex-Kind und scrollt
  in allen Browsern.
- Neuer Splitter `#hintGutter` im selben Idiom wie der große (Pointer-Capture,
  Doppelklick setzt zurück): horizontal nebeneinander -> Breite `--hcol`,
  gestapelt (side/mobil) -> Höhe `--hrow`. Beide getrennt gehalten und in
  `werkbaum-ui` persistiert (samt Auf-/Zu-Zustand), damit ein Moduswechsel die
  jeweils andere Aufteilung nicht zerstört. Grenzen 90 px bis 85 %.
- Die 85-%-Obergrenze steht zusätzlich als max-width/max-height im CSS: die
  gespeicherte Größe ist ein fester px-Wert und würde den Editor sonst auf 0
  drücken, wenn das Panel später schrumpft (großer Splitter, Drehung,
  Bildschirmtastatur). Verifiziert mit --hrow:9999px -> gekappt bei 85 %.
- Nebenbei: der große Splitter war als einziges Bedienelement nicht lokalisiert
  (fest deutsche title/aria-label). Beide teilen sich nun `gutterTooltip`,
  dazu `gutterAria`/`hintGutterAria` — 9 Sprachen.

Verifiziert im Browser: Legende scrollt (247 px Fenster, 607 px Inhalt);
Ziehen in beiden Ausrichtungen inkl. Unter-/Obergrenze und Doppelklick-Reset;
`--hcol` und `--hrow` überleben den Moduswechsel; nach Neuladen sind
Auf-Zustand, Breite und beide Variablen wiederhergestellt; auf Mobil ist die
Summary-Zeile aus und der Kopf-Knopf steuert. Vitest 37/37.

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

docs/DECISIONS.md

@@ -586,3 +586,36 @@ Verworfen: die Tastatur zuzulassen und auf die OS-Einstellung zu verweisen (lös
 es nur auf einem Gerät), sowie ein eigener Umschalter dafür (weiteres
 Bedienelement in einer engen Kopfzeile plus i18n in 9 Sprachen, für ein
 Verhalten, das kaum jemand umstellen will).
+
+## D26 — Legende scrollbar: eigener Container statt `<details>`, plus Splitter
+Die Legende („Agenda") im Editor-Panel war zu hoch für ihren Platz und wurde
+**abgeschnitten** statt scrollbar zu sein — obwohl `.hint` seit jeher
+`flex:1 1 auto; min-height:0; overflow:auto` trug.
+
+**Ursache:** Chrome legt den Inhalt eines `<details>` seit einiger Zeit in das
+Pseudo-Element **`::details-content`**. Damit ist `.hint` **kein Flex-Kind** von
+`.agenda` mehr; die Flex-Begrenzung greift nicht, `.hint` wächst auf seine
+Inhaltshöhe (gemessen 585 px in einem 282 px hohen Container) und wird vom
+`overflow:hidden` der Agenda geclippt. Ein Gegenmittel wäre
+`.agenda::details-content{display:flex;…}` (im Test wirksam: 585 → 248 px,
+scrollbar), aber das Pseudo-Element ist Chrome-eigen — Firefox und Safari kennen
+es nicht, dort hinge dieselbe Layout-Kette an einem anderen anonymen Kasten.
+
+**Entscheidung: kein `<details>` mehr.** Die Legende ist ein gewöhnliches
+`<div class="agenda">` mit `<button class="agenda-summary">`; der Auf-/Zu-Zustand
+hängt an der Klasse `open` (`aria-expanded` am Button). Damit ist `.hint` wieder
+ein echtes Flex-Kind und die Begrenzung in **allen** Browsern dieselbe. Die
+native Aufklapp-Mechanik war ohnehin nur halb genutzt — mobil steuert seit D17
+der `#legendBtn` im Kopf, das `toggle`-Ereignis diente nur der Synchronisierung.
+
+**Splitter Editor|Legende.** Die Aufteilung ist nun frei ziehbar, im selben
+Idiom wie der große Splitter (`pointerdown`/`pointermove`/Pointer-Capture,
+Doppelklick setzt zurück). Die Ausrichtung folgt derselben Fallunterscheidung
+wie dort: horizontal nebeneinander → Legendenbreite `--hcol`, gestapelt (`side`
+oder mobil) → Legendenhöhe `--hrow`. **Beide Werte werden getrennt gehalten und
+persistiert** (`werkbaum-ui`), sodass ein Moduswechsel die jeweils andere
+Aufteilung nicht zerstört; der Auf-/Zu-Zustand der Legende wird mitgesichert.
+Grenzen: mindestens 90 px, höchstens 85 % — die Obergrenze steht **zusätzlich
+als `max-width`/`max-height` im CSS**, weil die gespeicherte Größe ein fester
+px-Wert ist: schrumpft das Panel später (Zug am großen Splitter, Drehung,
+Bildschirmtastatur), würde der Editor sonst auf 0 gedrückt.

docs/SPEC.md

@@ -225,6 +225,16 @@ Scheitert das Laden (häufigster Fall: das Ziel sendet keinen
 `Access-Control-Allow-Origin`-Header, außerdem 404/Netzfehler), bleibt der
 bisherige Stand stehen und es erscheint eine **Warnung**. Siehe D23.
 
+### Legende im Editor-Panel
+Neben dem Textfeld steht eine aufklappbare **Legende** (Notation in Kurzform,
+abschließend eine Bedienungs-Zeile). Sie ist **scrollbar**, wenn ihr Inhalt
+höher ist als der Platz, und über einen eigenen **Splitter** vom Textfeld
+abgeteilt: horizontal nebeneinander (Legendenbreite), in den gestapelten Modi
+und auf kleinem Bildschirm untereinander (Legendenhöhe). Ziehen verteilt frei,
+Doppelklick stellt die Vorgabe wieder her; die Aufteilung bleibt für beide
+Ausrichtungen getrennt erhalten. Die Legende belegt höchstens 85 % des Panels,
+damit das Textfeld nie ganz verschwindet. Siehe D26.
+
 ### Sprung zwischen Diagramm und Text
 Jeder Knoten kennt seine Zeilennummer im Notationstext; beide Richtungen sind
 verknüpft (siehe D25):