[oclug] Mozilla font question

[Brad Barnett]

On Fri, 4 Jul 2003 20:51:22 -0400 (EDT)
"David F. Skoll" <dfs at roaringpenguin.com> wrote:

> Hi,
> 
> There's a fellow at work who likes huge fonts.  Configuring Mozilla to
> display Web pages with huge fonts is no problem; that works just fine.
> 
> But how do we change the font Mozilla uses for its menus and dialogs?
> He wants those to be big, too.  If anyone knows the answer, I'd
> appreciate seeing it.
> 
> Regards,
> 
> David.
> 
> 


Mozilla allows you to use different skins/themes, that may help.

If I want system wide GTK changes to font size, I can edit /etc/gtk/gtkrc
on my system, and make changes there.  You could run Mozilla as a separate
system user and make GTK specific changes in a gtkrc file for just that
user, as well...

After all, it can't hurt to separate the user that typically accesses the
internet, and the user that edits sensitive documents...