Move back to a 9-point font.