Web: reiner UI-Text nicht mehr markierbar (fuehlt sich nicht mehr wie Eingabefeld an)

Cursor-Fix allein reichte nicht: das Blau-Hinterlegen beim Markieren wirkte weiter
wie ein Eingabefeld. Jetzt user-select:none auf body; Eingabefelder, textarea,
contenteditable sowie Code/Token (und .selectable) bleiben markierbar/kopierbar.

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

web/src/styles.css

@@ -58,6 +58,14 @@ a[href], select, summary,
 input[type="checkbox"], input[type="radio"], input[type="file"],
 .checklist label, .check-inline, .enforce-toggle { cursor: pointer; }
 
+/* Reiner UI-Text lässt sich nicht markieren – das Blau-Hinterlegen beim
+   Klicken/Ziehen wirkt sonst wie ein Eingabefeld. Was man wirklich braucht,
+   bleibt markierbar: Eingabefelder sowie Code/Token (und alles mit .selectable). */
+body { -webkit-user-select: none; user-select: none; }
+input, textarea, [contenteditable="true"], code, pre, .selectable {
+  -webkit-user-select: text; user-select: text;
+}
+
 a { color: var(--accent); text-decoration: none; }
 a:hover { text-decoration: underline; }