In pursuit of the "perfect desktop", I'd like to use a different font (or perhaps a different font size) in the Gnome panel, but the Appearance>Fonts>Application font setting governs so much more than the panel. Gconf appears to do the same.
Is there a way of changing the panel font without affecting anything else?