I've encountered this bug for over a year now and was wondering if anyone else has noticed that if you switch the default serif font to something else, all Mozilla-based programs will use that font for the user interface under every window manager/desktop environment except for GNOME. Has anyone else seen this or found a way to make Moz* use the right fonts?