The new option to convert Wikipedia articles to PDF format is a great improvement in the print quality. But the default font size appears to about 8 or 9 points, too small for comfortable reading to these 64 year old eyes. I would like to see one of these options:
(1) Allow the user to enter his/her preferred font size, perhaps with upper and lower limits.
(2) Or if (1) is too difficult to implement, offer 3 sizes, Small, Medium, and Large, where Small would be the current size; Medium would be 11 points ( or 2-3 point sizes larger than Small), and Large would be 13 points (or 2-3 points larger than Medium.)
Also it would be convenient to store the user's preference, so that the font size selection would not have to be entered for each PDF print job. But if a certain article needs to be printed in a different size than the user's normal size, it should be quick and easy to change the size for that exceptional print job.