Page setup for printing with font size and line numbers options

In addition to requesting code highlighting colors to show in printout (maybe as an option in the page setup) as mentioned in issue https://github.com/arduino/Arduino/issues/3013, I'd like to see choosing font size and and option to turn on (or off) line numbers in the printout.

I often print to pdf for carrying my source codes around and viewing them on platforms that I don't have the IDE/editor that I used to write the code installed. Having syntax highlighting and line numbers adds value to the printouts. I can (and have) load the .ino into a programmer's editor (PSPad in my case) to print using C/C++ highlighting, but that doesn't highlight the library keywords like the IDE does.

Because my display is a highDPI monitor (3200x1800 on a 15" screen) I have increased the font-size to 18pt for the editor. But this is way to large for printing. Please add a font-size setting in the page settings so I can reduced down to a reasonable size for printouts.

Start by locating the Arduino IDE 1.x page-setup and print workflow, then compare it with the editor font-size setting and existing syntax-highlighted output. Done means print settings can choose a print font size and enable or disable line numbers, while preserving the requested code highlighting behavior.

Written by the indexing model from the issue text.