Gnome 3 panel and menu fonts are way too small. (I like using menu's as long as I used mouse and keyboard. Touchscreen, now, that would be different) Is there a tool or extension or anything that can adjust those?
I did figure out one way to do it, after spending far too much time on this question. In gnome tweaks, font settings, first adjust (font) scaling until panel and menu fonts look good. Then set the rest of the fonts until whole desktop looks nice. But this is a clumsy way to do it. For one thing, you cannot change panel/menu font this way. Only size.
Is there any way to adjust those, short of patching gnome 3 sources and recompiling the whole desktop? As far as I can figure it out, that is the only other way…
Best Answer
You may use (GNOME) Tweaks, previously known as (GNOME) Tweak Tool. It's a graphical interface for advanced GNOME 3 settings.
You should get what you're looking for in this tool:
(screenshot source)
You may create a custom CSS override for the shell theme in your home directory and load it from there to change the font of the top bar (which is controlled by the shell theme). To do that follow the steps below.
MyTheme
in~/.themes
.MyTheme
calledgnome-shell
.gnome-shell
directory and name itgnome-shell.css
.Open this
gnome-shell.css
in a text editor and add the following linesReplace
FONT_NAME
by a font of your choice and change thefont-size
to your liking (you may change colour too) and save the file.Install and activate the User themes extension from here.
Go to Appearance section of Tweaks and click on the drop-down box next to "Shell theme". MyTheme should appear in the drop-down list. Select it.
Log out and log in again.