arjun
committed
on 13 Jun 02
small fix to header font name quoting