Optionen / Schrift

Schriftart / Schriftgröße

Hier kann die Schriftart und -größe im Editor geändert werden.