Tach!

Ahh, jetzt weiß ich wieder, warum in meinem Firefox die Menüpunkte-Schrift nicht viel kleiner als der Fließtext ist. Ich habe mir doch eine Mindestschriftgröße von 12 eingestellt.
die Schrift in der Navigation zu ändern ist nicht so aufwändig. Im main.css fand ich die Klasse .portlet, die sich auch auf die Schrift bezieht. Da beim Vergrößern der Schrift der linke Rand (20px), zumindest mir, zu groß erscheint, könnte man ihn noch um 2–4 Pixel verkleinern.

Hab ich jetzt mal gemacht. Aber mehr Aufwand würde ich da jetzt nicht unbedingt reinstecken wollen, sondern lieber in die neue Version.

dedlfix.