OK - it is Text Font in the Notation Options and it needs to be set to other... Then I can select a font to use and set its size. Now I'm experimenting with font size and whether to bold it or not.