How to change font size in gnome-shell panel

I tried gnome-shell in Ubuntu by using the gnome-shell --replace command. It works well but I think the font size in the shell panel is too big.

Is possible to custom the font size in gnome-shell panel?

Please change the /usr/share/gnome-shell/theme/gnome-shell.css accordingly. For example, if you want to change panel font, you can add font-family: "FontName" into .panel-button. And you can further customize the font of the Dashboard, etc.

You can checkout my blog post on customizing gnome-shell: http://joneslee85.wordpress.com/2010/02/28/howto-customize-gnome-shell-theme/

Found this:

cd /usr/share/gnome-shell/theme
sudo gedit gnome-shell.css

I've played around with some of the settings in the gnome-shell.css file and through a bit of trial and error, managed to increase the size of the text underneath the Application icons. On line 638, I increased font-size from 7.5pt to 11.5pt which made it more readable. Code:

.app-well-app > .overview-icon,
.remove-favorite > .overview-icon,
.search-result-content > .overview-icon {
    border-radius: 4px;
    padding: 3px;
    border: 1px rgba(0,0,0,0);
    font-size: 7.5pt;
    color: white;
    transition-duration: 100;
    text-align: center;
}

I also decided to decrease the size of the icons.

.icon-grid .overview-icon {
    icon-size: 96px;
}