Arch Linux

augustob

Member

From: Florianópolis, Brazil

Registered: 2006-03-17

Posts: 135

Firefox and fraction font sizes

Today I was experimenting with GTK font sizes, and noticed that my new least-favorite app doesn't even handle that correctly.

Check this out:

Exhibit A: GTK font size 7

Exhibit B: GTK font size 7.5

Notice how the font in Thunar's menu changed and Firefox's didn't? Through testing 7.9 as a font size I came to the conclusion that it isn't even rounding to the nearest integer, just outright ignoring the decimals.

Is there a solution for this?

skymt

Member

Registered: 2006-11-27

Posts: 443

Re: Firefox and fraction font sizes

Is there a solution for this?

Yes, but you won't like it. Crack open your UserChrome.css file (in ~/.mozilla/firefox/<garbage>.default/chrome/) and do something like this:

.chromeclass-menubar {
    font-size: 10pt !important;
}

EDIT: To set the default font size for everything (not just the menu bar), use "*" instead of ".chromeclass-menubar".

paem

Member

Registered: 2006-10-09

Posts: 14

Re: Firefox and fraction font sizes

Or you can use Stylish, it doesn't require restart to commit changes.

skymt

Member

Registered: 2006-11-27

Posts: 443

Re: Firefox and fraction font sizes

Or you can use Stylish, it doesn't require restart to commit changes.

Good point. I hadn't noticed that Stylish styles chrome too.