In den ganz normalen Optionen unter "Erweitert" kann man doch die Schriftgröße verändern.