Option to change font size


#1

Would it be possible to give an option to change the font size? (The current size is a bit too small for me.)