"Magnus Hagander" <mha(at)sollentuna(dot)net> writes:
> If we find one that *looks good* we can easily re-render all the headers
> we have now, so that' snot a problem. But someone has to tell us what
> font to use that actually looks good ;-) There's a reason this one was
> picked in the beginning.
My wife's got an enormous collection of (legally purchased) fonts from
her old desktop-typesetting business. I think Frutiger Roman is one
... if not she's surely got a close approximation. What exactly is
involved in re-rendering --- is it something that can be done in Adobe
Photoshop?
regards, tom lane