#68 Printer font and point size

The user should have control over what font and what font point size is used to print a listing. While I like a large point size for sitting back and looking at the screen, this same size fits poorly on the printed page.

--hsm