Please make a feature that allows you to set a default font size. 8.5 is much too small for most.