Change Font Sizes for taskbar buttons / main panel / app menubars

[wolfgang]

In an older episode (Tuesday 30 July 2002 13:42), Joe Klemmer wrote:

> 	What theme engine are you using?  I don't have this problem and have
> never run gnomecc.

xfce