How do I change the font size of the top menu panel in Gnome3

<< More Tips   |   Added On: 25/09/15   |    Category: Gnome3    |    Number of Views: 892

Tweet

Please note: This works in Gnome 3.16 and does not work in later versions.

You will find there is no option in the settings of Gnome3 that allows you to change the font size of the top menu panel in Gnome3, however by changing the gnome-shell.css file this can be achieved.

The gnome-shell.css file can be found in the following directory
/usr/share/gnome-shell/theme/gnome-shell.css

Open you terminal and enter the following command to edit it

sudo gedit /usr/share/gnome-shell/theme/gnome-shell.css


When the file opens search for the css class .panel-button and find the section of css code that looks like this
.panel-button {
-natural-hpadding: 12px;
-minimum-hpadding: 6px;
font-weight: bold;
color: #ccc;
transition-duration: 100ms;
}


Above the code font-weight:bold; add the following font-size:13px; and save the file
.panel-button {
-natural-hpadding: 12px;
-minimum-hpadding: 6px;
font-size: 13px;
font-weight: bold;
color: #ccc;
transition-duration: 100ms;
}


For the changes to take effect, you will need to logout of Gnome3 and then log back in again.
I'm hoping in the future the developers will provide an option in the settings to change the font size.

I can't fault anything else in Gnome3 it is a wonderful window manager.