[chora] latest diff feature?

[Anil Madhavapeddy]

Quoting Chuck Hagenbuch <chuck@horde.org>:

> Have you tried specifying in pixels as that article suggested?

I did, but Jim Winstead raised the point that he felt they were too
small for him, and that setting pixels explicitly meant that his
browser settings were getting overridden.

A fair point, but I think there's nothing we can do about that, short
of not setting font sizes at all.  That just looks really messy on 
Win32 though.

-- 
Anil Madhavapeddy, <anil@recoil.org>