Hi everybody! Yesterday I installed Gnome 3 and the first thing I noticed is a new bar, the activities bar, and the new notifications system. I've looked around, with no luck, trying to change the size of the font of this bar (and dialogs). So I decided to ask my friends on ubuntuforums if someone knows how to do it.
Thanks in advance!