changing fonts in ide

Using Arduino IDE 1.x
1

is there a way to change the font type and size used when printing out to paper?
thanks dave