I think changing the default font would be more likely than adding a font selection option.