AFAIK the holdup for that one is that someone has to
of the font needed to make headers...
What font is it, and who is "someone?"(http://archives.postgresql.org/pgsql-www/2005-08/msg00048.php).
The "someone" is the problem, since it's a commercial font.
such to claim there is one.
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.
That or somone (hello commercial guys) could buy us a copy ;-)
//Magnus
