Smaller font size for statistics (issue #2372)