Added: 25th of September 2015
Viewed: 2609 times
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
Other Tips & Tutorials
Gnome3How do I change the font size of the top menu panel in Gnome3
Posted: 25th of September 2015