change font size in gnome 3.2
after upgrading to Fedora 16, I wanted to change the font size of the icons shown in the applications overview.
In gnome 3.0 you have to edit line 638 of the file /usr/share/gnome-shell/theme/gnome-shell.css.
But in gnome 3.2 this file is completely different.
Does anybody already figured out, which line to edit to change the icon's font size?
Thanks in advance!