New resource and commandline option 'font' to specify an additional font.