A printer driver for PDF output will be able to scale down the whole page, but I don't know of any possibility to select text and change the font size. You will need to do the font change in the application that prints out to a PDF.
You could also try some application that is able to edit PDF-files, but modifying font sizes that way is a lot of work, unless you want change all text to the same font size.
linux