In article <[EMAIL PROTECTED]>,
Benjamin Wiegert <[EMAIL PROTECTED]> wrote:
>Yup, I've noticed that also!
>But, I also noticed this, which still makes me think it's Mozillas fault:
>Goto Mozillas HTML-editor, and check out the sourcecode-edit-tab.
>In there I get these tiny unreadable fonts also!
Try something like this in your prefs.js or user.js file:
user_pref("font.minimum-size.x-western", 10);
This should be settable from the GUI I think.
Arjan
--
Arjan de Vet, Eindhoven, The Netherlands <[EMAIL PROTECTED]>
URL : http://www.iae.nl/users/devet/ <[EMAIL PROTECTED]>
Work: http://www.madison-gurkha.com/ (Security, Open Source, Education)
