Ubuntu 18.04: How to customize the font face and size in Dash to panel extension?
67755
How to customize the gnome classic panel
85617
How do I increase the font size in Ubuntu 18.04 LTS for a HDPI / 4K display?
30648
Firefox extension custom fonts
109646
Setting custom font
110949
How can I increase window title font size?
107945
How to customize 19.10 Desktop Icon Font Size
5423
Switching to different font size(s) locally
2292
Ubuntu 20.04 interface font too small after restart, even with high scaling factor
10185
linespacing local font environment
73046
Dashed borders of my window manager (XFce)
46854
Is there a general method for obtaining small caps with custom fonts?
41822
How do I set the default font size in Vim?
45043
How to get an even smaller font?
7559
Change font size of the verbatim environment
89242
How do I change the font-size of an  element within ?
14364
Can I change the Linux console (Ctrl+Alt+F1) font to Ubuntu Mono?
79523
Can the default font be changed?