How do I change the font size of the top menu panel in Gnome3
ID: 16
Category: Gnome3
Added: 25th of September 2015
Views: 4,306
ⓘ This article is now out of date
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;
}
-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;
}
-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.
