Tobias Wolter [tobias.wolter@epost.de] wrote: > > Does anyone have _any_ idea to get these back down to a decent size? > > Yepp. > Check out the GNOME Control Center. There, 'hidden' in the Theme > Selector dialog, you can also set the font to what pleases you most. OMG that is so much better. If I had 5 bucks I'd give it to you. Thanks! :-) -- -Brian