Slightly OT: UI Font in Mozilla

[David Krider]

Sorry for the slightly off-topic question, but does anyone know how to change the font in the Mozilla user interface? (Not the fonts for web pages, but the actual program itself.)

Thanks,
dk