[phenixbb] GUI fonts

Hi, I've just been poking around the new GUIs - neat!! But the font is absolutely enormous, which is terrifically annoying. Where do I change it? (I didn't see it in the preferences.) Cheers phx