Danke für Deine Antwort.
Ich habe von
HTML praktisch Null-Ahnung. Das ist Code von vor ca. 20 Jahren, den ich jetzt für HighDpi anpassen wollte/musste.
Der war voll mit solchen Befehlen:
Code:
<font size=3 face="symbol" color="#FF0000">
Da wird keine Größe beim dpi-Wechsel angepasst.
Dein Code-Beispiel hat mich in die richtige Richtung geführt und ich konnte alles aktualisieren.