Font/Schriftgröße

Deutsch
19

Mit Version 0.53.3 kann man das jetzt auch per Einstellungen machen.

(Im Prinzip wird nichts anderes gemacht: in einem “custom.css” im workspace Verzeichnis wird die neue Schriftgröße eingetragen)