added a number of font and fontsize options to the theme options page