[wjed] How to change font size

[Jörg Sommer <joerg@xxxxxxxxxxxx>]

Hi,

I've installed WJED yesterday. The font size was really small. How can I
enlarge the font?

Bye, Jörg.
-- 
Im Leben lernt der Mensch als erstes das Gehen und Sprechen.
Später lernt er still zu sitzen und den Mund zu halten.

--------------------------
To unsubscribe send email to <jed-users-request@xxxxxxxxxxx> with
the word "unsubscribe" in the message body.
Need help? Email <jed-users-owner@xxxxxxxxxxx>.