It would be really great if the font size under the character menu could be increased or decreased by half points, rather than full points. It's a bit of a pain to have to type in half point values for sizing numerals and all caps.