[ale] GTK font sizes

[David Corbin]

Suddenly, all my GTK based applications are using "really small fonts".   
barley legible at the high-resolution that I run my KDE desktop at.  The only 
thing i did (honest) was to move my system from one building to another.  As 
I recall, all my fonts started coming up small, but I've changed my KDE 
settings, and now everything is reasonable except the fonts in GTK widgets.

Ideas?

David