How do I change the font size of the top menu panel in Gnome3
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
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
Above the code font-weight:bold;
add the following font-size:13px;
and save the file
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.