Danke. Ich nutze Windows 10 und einen einfachen Laptop-Bildschirm mit 1920x1200 Pixeln. Ich habe das Problem genauer untersucht: Die Windows-Skalierung ist auf 125 % eingestellt. Bei 100 % und 200 % sehen die Symbole normal aus, aber bei allen Zwischenwerten (125 %, 150 %, 175 %) wirkt die Skalierung fehlerhaft.
Hier: Laptop-Bildschirm mit 1920x1080 Pixeln mit 125%, Win11 - keine Probleme mit der Darstellung