[Pan-users] Bold Font in Header Pane

[Emily Jackson]

I am using Pan 0.14.2.91 with Mac OS X 10.3.2 and Apple's version of X11,
and Pan has suddenly begun displaying group names and unread messages in
the header pane in a bold font. I haven't changed the font settings for
the header pane (use custom font in header pane: Sans 12). If I change
the font for the header pane to something like Geneva 12, the bold text
goes away. Is it *supposed* to do this?

Thanks,

Emily