Issue #8780 by tuj: Moved font size