How do we change fonts now

[Jonathan Corbet]

On Mon, 28 Feb 2011 09:58:06 -0600
"Jason D. Clinton" <me at jasonclinton.com> wrote:

> I pinged the design team this morning and they agreed that making the
> default font size larger without giving a UI element to move it back is
> something which needs a remedy. Jon McCann opened a bug here; from the tenor
> of the discussion my guess would be that it will make it before 3.0 is
> released:

That is good news - thanks!  Makes sitting here in the airport (two
hours delay and counting) a little more tolerable...

jon