You are not logged in.
As the title suggests, I have a problem with the font size in the top bar of Firefox. It is a lot larger than the font I set in the preferences.
My main problem is that I am struggling to find the cause of the problem, as I do not know how Firefox decides the font size.
I already had a previous problem, which was related, with setting the font type. I this solved by adding a preferred font to the
/etc/fonts/conf.d/60-latin.conffile. This worked, as none of the fonts in the list were installed (at least that's what I think).
The output of fc-match is the following:
$ fc-match -v
Pattern has 36 elts (size 48)
family: "Noto Sans"(s)
familylang: "en"(s)
style: "Regular"(s)
stylelang: "en"(s)
fullname: "Noto Sans Regular"(s)
fullnamelang: "en"(s)
slant: 0(i)(s)
weight: 80(f)(s)
width: 100(f)(s)
size: 12(f)(s)
pixelsize: 12.5(f)(s)
foundry: "GOOG"(w)
hintstyle: 1(i)(w)
hinting: True(s)
verticallayout: False(s)
autohint: False(s)
globaladvance: True(s)
file: "/usr/share/fonts/noto/NotoSans-Regular.ttf"(w)
index: 0(i)(w)
outline: True(w)
scalable: True(w)
dpi: 75(f)(s)
scale: 1(f)(s)
charset:
0000: 00000000 ffffffff ffffffff 7fffffff 00000000 ffffffff ffffffff ffffffff
0001: ffffffff ffffffff ffffffff ffffffff ffffffff ffffffff ffffffff ffffffff
0002: ffffffff ffffffff ffffffff ffffffff ffffffff ffffffff ffffffff ffffffff
0003: ffffffff ffffffff ffffffff fcffffff ffffd7f0 fffffffb ffffffff ffff0003
0004: ffffffff ffffffff ffffffff ffffffff ffffffff ffffffff ffffffff ffffffff
0005: ffffffff 0000ffff 00000000 00000000 00000000 00000000 00000000 00000000
001a: 00000000 00000000 00000000 00000000 00000000 7fff0000 00000000 00000000
001c: 00000000 00000000 00000000 00000000 000001ff 00000000 00000000 00000000
001d: ffffffff ffffffff ffffffff ffffffff ffffffff ffffffff ffffffff f83fffff
001e: ffffffff ffffffff ffffffff ffffffff ffffffff ffffffff ffffffff ffffffff
001f: 3f3fffff ffffffff aaff3f3f 3fffffff ffffffff ffdfffff efcfffdf 7fdcffff
0020: ffffffff ffffffff ffffffff fff3ffdf 1fff7fff ffffffff 00000000 00010000
0021: ffffffff ffffffff ffffffff 00000000 00000210 00000000 00000000 00000000
002c: 00000000 00000000 00000000 ffffffff 00000000 00000000 00000000 00000000
002d: 00000000 00000000 00000000 00000000 00000000 00000000 00000000 ffffffff
002e: ffffffff ffffffff 0000001f 00000000 00000000 00000000 00000000 00000000
00a6: 00000000 00000000 ffffffff ffffffff ffffffff 00000000 00000000 00000000
00a7: ffffffff ffffffff ffffffff ffffffff ffffffff 00ff7fff 00000000 ff800000
00a9: 00000000 00004000 00000000 00000000 00000000 00000000 00000000 00000000
00ab: 00000000 ffff0000 ffffffff 0000003f 00000000 00000000 00000000 00000000
00fb: 0000007f 00000000 00000000 00000000 00000000 00000000 00000000 00000000
00fe: 00000001 0000ffff 00000000 00000000 00000000 00000000 00000000 80000000
00ff: 00000000 00000000 00000000 00000000 00000000 00000000 00000000 30000000
(w)
lang: aa|ab|af|ast|av|ay|az-az|ba|bm|be|bg|bi|bin|br|bs|bua|ca|ce|ch|chm|co|cs|cu|cv|cy|da|de|el|en|eo|es|et|eu|fi|fj|fo|fr|ff|fur|fy|ga|gd|gl|gn|gv|ha|haw|ho|hr|hu|ia|ig|id|ie|ik|io|is|it|kaa|ki|kk|kl|ku-am|kum|kv|kw|ky|la|lb|lez|ln|lt|lv|mg|mh|mi|mk|mo|mt|nb|nds|nl|nn|no|nr|nso|ny|oc|om|os|pl|pt|rm|ro|ru|sah|sco|se|sel|sh|shs|sk|sl|sm|sma|smj|smn|sms|so|sq|sr|ss|st|sv|sw|tg|tk|tl|tn|to|tr|ts|tt|tw|tyv|uk|uz|ve|vi|vo|vot|wa|wen|wo|xh|yap|yo|zu|ak|an|ber-dz|crh|csb|ee|fat|fil|hsb|ht|hz|jv|kab|kj|kr|ku-tr|kwm|lg|li|mn-mn|ms|na|ng|nv|pap-an|pap-aw|qu|quz|rn|rw|sc|sg|sn|su|ty|za(s)
fontversion: 131072(i)(s)
capability: "otlayout:DFLT otlayout:cyrl otlayout:grek otlayout:latn"(w)
fontformat: "TrueType"(w)
embeddedbitmap: True(s)
decorative: False(s)
namelang: "en"(s)
prgname: "fc-match"(s)
postscriptname: "NotoSans-Regular"(w)
color: False(w)
symbol: False(s)
variable: False(s)I do notice the 'size' is 12 in the above output, however this definitely does not align with the font size of the top bar in Firefox.
My current Firefox preferences are set to "Noto Sans" size 16.
Changing those preferences does not change anything in the top bars, but does change the font (size) of web pages.
I am using i3 (gaps) as Window manager, and use Rofi to start up applications such as Firefox.
This is my first time posting, so if I need to change some stuff or add additional information, please tell!
Edit:
This font size problem also applies to the Firefox menu's, e.g. Preferences, Add-ons etc.
Last edited by StenSipma (2018-07-17 12:36:01)
Offline
Firefox's UI uses gtk+ configuration, so you change the UI font via gtk+'s config files. See the wiki.
I think firefox uses gtk3 configuration, but if that doesn't work, try configuring the font for gtk2 as well.
Offline
Thanks, that was the information I needed. Changed the font size in the GTK3 config file and it adjusts properly.
I do have one follow up question: There is a large difference between the font size set in Firefox and the font size set in GTK. Both are set to 'Noto Sans', however the font set in preferences is set to size 16 and the GTK is set to size 11 and they seems to be a about the same size when looking at them.
Offline
I'm not sure, but it could be due to different units of font size measurement, or firefox scaling fonts based on the size defined on the web page.
Also, by default firefox allows web pages to set their own fonts (in Fonts & Colors -> Advanced...), although that only seems to effect the font family, and not the size.
Offline
Ye suspected something like that. Thanks!
Offline