Have option to adjust the font size of PDF exports#80

Currently, the PDF exports have a preset font size. Some users may prefer to have smaller (or larger) font size for their exports, so it would be convenient to have an option for that