Optional font size for PDF export

[ghost]

On export of my PDFs, the font size is much larger than it needs to be and if i were to print it I'd waste a significant amount of paper. I think adding an option in the preferences to choose the font size for a note you want to export would be a very useful feature.