Allow to set font size to 13px

12px 14px 15px These are the choices in app settings. 12 is too little, 14 is too much

More customized font size. Add the 13px.