You are not logged in.
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?
Offline
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".
Offline
Or you can use Stylish, it doesn't require restart to commit changes.
Offline
Or you can use Stylish, it doesn't require restart to commit changes.
Good point. I hadn't noticed that Stylish styles chrome too.
Offline