Auswahl der Schriftgröße

Über den Menü-Punkt Ansicht->Schriftgröße kann die Schriftgröße einer HTML-Seite geändert werden. Die Schriftgrößen von Stylesheet-Definitionen haben jedoch Vorrang.