# vi /usr/share/gnome-shell/theme/gnome-shell.css <enter>
Replace all font-size with 10 pt or greater where font-size < 10pt. 10pt should be okay for most people.
This would apply till Gnome 3 comes with a GUI-based configuration editor to do this.