Mein Posting habe ich gelöscht, ja.
Der Fix wirkt nicht, deswegen habe ich es ja gelöscht.
Sobald ich die Schriftgröße bei CSS in body mit UserCSS ändere und irgendwie einen andere Minimalschriftgröße im Browser habe, klappt es wieder nicht.

Müssen wir denn bold als Code-Format benutzen? Das macht ja den Ärger.

Wenn nämlich folgendes gemacht wird:

Dann hört das Problem auf.