Avoid too-big font size in gradebook