PDF: keinen Fehlerrahmen um GDScript-Annotationen

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>

backend/montage.py

@@ -171,6 +171,7 @@ def pdf(name: str) -> bool:
         t = f"Kapitel {k['ord']} – {k['titel']}"
         toc.append(f'<li class="tch"><a href="#{aid}">{html.escape(t)}</a></li>')
         h = md.convert(_vorbereiten(p.read_text())).replace("<h1>", f'<h1 id="{aid}" class="chap">', 1)
+        h = h.replace("border:1px solid #FF0000", "")  # Pygments markiert @-Annotationen in GDScript als Fehler
         h = h.replace("border: 1px solid #FF0000", "border: none")
         body.append(f'<section class="chapter">{h}</section>')
         md.reset()