
Originally Posted by
r_mano
Hi, I have "arranged" a little extension to make the text on the top bar smaller (useful for netbooks). It's an hack, but it works for me, and I would like to share it with you.
http://rlog.rgtti.com/2011/12/06/a-g...op-panel-look/
The good thing is that you can use it to modify a lot of things, and test them just disabling/enabling the extension through the gnome-tweak-tool shell extension interfaces.
All the merit is to be given to Finnar B. Murphy, and all the bad things and the horrible coding style to myself.
Thanks r_mano, I played with it a bit. Your website mentioned having to add it with dconf-editor? Not sure what that's about, there was a missing url, I corrected that.
Commented the style sheet so that it doesn't override the gnome-shell theme (might not be necessary unless using theme other than Adwaita).
Instead of fixed font-size as a point, I changed it to adjust by a percentage with em instead of pt.
Changed font-size to normal & added a hover effect changing it to bold (something I like for my old tired eyes).
Also reduced padding a bit to keep the icons a little more condensed.
Hope you didn't mind me tweaking on it. 
Also, I didn't do this in the archive but if you want the panel to "come alive" when you hover over an icon you can edit the stylesheet.css portion
Code:
.panel-button:hover {
color: white;
font-weight: bold;
font-size: .90em; << -- something like this
}