Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!

Bug 54734

Summary: Small font in Mozilla menu, navbar
Product: Gentoo Linux Reporter: Ondrej Raska <or2>
Component: Current packagesAssignee: Mozilla Gentoo Team <mozilla>
Status: RESOLVED WONTFIX    
Severity: trivial    
Priority: High    
Version: unspecified   
Hardware: All   
OS: Linux   
Whiteboard:
Package list:
Runtime testing required: ---

Description Ondrej Raska 2004-06-22 06:36:43 UTC
I'm using Mozilla 1.6 in KDE without xfs, default KDE font configuration.

Font in Mozilla menu, navigation bar is too small. Better look is with

$ cat ~/.mozilla/default/{random}/chrome/userChrome.css
window, menubar, menubutton, menulist, menu, menuitem {
  font-family: arial !important;
  font-size: 4mm !important;
}

Reproducible: Always
Steps to Reproduce:




http://www.mozilla.org/unix/dpi.html
Comment 1 Brad Laue (RETIRED) gentoo-dev 2004-07-03 22:06:49 UTC
This can be adjusted with the gtk-font-name property of GTK+2 in a .gtkrc-2.0 file such as

gtk-font-name="Luxi Sans 10"

The one trick I see to adding the larger size per default is people with lower resolutions. Aron, what do you think?
Comment 2 Brad Laue (RETIRED) gentoo-dev 2005-02-20 01:11:23 UTC
We need to leave this to the user.