GGU-STRATIG: "Font size selection" menu item
Use this menu item to alter the font sizes on element labelling (designation, height information, long texts, depth labelling, etc.). Input is subject to some restrictions, which are checked by the program. If you make entries which are not permitted, they will be automatically corrected, after an appropriate warning message.
The font sizes of text within legends are edited in the respective legend editor. Just double-click in a legend to do this.