Thanks Andy,
Would exactly do what I need.
The only trouble is, no matter which font I assign, the output is still the default font. Might be a version problem?
Hi Oliver, this definition works on my system with version 0.6.19. (it shows face "Times New Roman" here, just because most people have it installed). If it still does not work with your font name, are you by any chance trying to use some special type of font?