Re: 9.3 First Impressions

From: Never-takes-a-bath man (look_at_the.end)
Date: 04/28/05 

Date: Thu, 28 Apr 2005 09:30:46 +0100

David Wright said the following on 28/04/2005 07:02:

> Firefox: Under KDE, it is the same old problem, it ignores the font settings
> of both KDE and Gnome (both set to use 8 point fonts) and uses 12 point
> fonts for some reason, so the menus look huge and child-like in comparison
> to the other apps. If I run it under Gnome it is fine. Been trawling the
> group archives trying to find which config file to edit for this, but the
> one I found (.mozilla/firefox/.../metacity.conf) and changing the font size
> in there doesn't work. If anyone can remember which file, please post. I
> thought it was under .gconf or .gnome, but I haven't found a reference yet.

The file you need is userchrome.css under ~/.mozilla/firefox/*your user profile
here*/chrome/
by default, it is either empty or non existent, or there is another file called
userChrome-example.css. if you add the following lines, the menu to this file
(or create one with the following lines), it should work. You can change the
font size to your liking here. You can change the font name of course, something
you like.

[CODE]
/* Change the font style on the bookmark toolbar */
.toolbarbutton-text {
font-size: 9pt !important; /* text size for icons and bookmarks toolbar */
font-family: Verdana !important;
}

textbox {
font-size: 9pt !important; /* text size for the URL address*/
font-family: Verdana !important;
}

/* change the font style on the tabs */
.tab-text {
     font-size: 10pt !important; /* text size for the tab */
     font-family: Verdana !important;
     text-align: left !important;
[/CODE] 

-- 
Ziggi
yoruk at hotmail dot com
"The advantage of a bad memory is that one enjoys several times the same
good things for the first time." F. Nietzsche