[SOLVED] change font size in gnome 3.2

Hi guys,

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!

[frood]

I believe there is a tool called "Gnome tweak" or similar available in Add/Remove Software that allows you to play with the fonts.

---
www.fedoralinuxnews.com

I know this tool but it only allows you to change the fonts in general e.g. the default font or the monospace font.
It can't change fonts of specific elements like the icons I'm talking about.

But thanks anyway!

Finally I found it out.
The font size of the applications icons is now specified in line 719.

[mcojettech737]

Hey can you post a screen cap of this line? ;

Enclosed you will find a screenshot.
You can easily jump to line 719 by typing 719 and pressing shift + g in vim.

Sorry for answering late but I was very busy.