So, I've tried a handful of GTK apps recently. They all have TEEENY TINY little fonts. Like, maybe 6pt, if that. For pretty much everything, especially menus. Is this likely a preference setting? What program sets the UI widgets shared by all GNOME apps, or their font choices? -s