On Fri, Nov 08, 2002 at 11:19:42AM +1100, andrew fries wrote:
> Is it possible to increase the size of fonts used by Mozilla - I don't
> mean for rendering web pages, but the ones used for its menus, status
> bar and the URL widget?

ummm. the short answer is yes. :)

I think the way I did it last time was to change my gtk1 default font
with the theme selecting trinket - "switch". There is also a CSS file in
the chrome directory for the user which lets you set this stuff I think.
userChrome.css or something? search google for it, you should be able to
fix it as easily as editing a web page :)

James.

-- 
SLUG - Sydney Linux User's Group - http://slug.org.au/
More Info: http://lists.slug.org.au/listinfo/slug

Reply via email to