Re: Font sizes change on change of font

[Paul Hodges]

On 22/08/2021 17:20:54, "Thomas Morley" <thomasmorley65@gmail.com> 
wrote:

>Use
>"Times New Roman,"
>Note the trailing comma (see NR for the issue).
Sadly this has no discernible effect.
I may try to get away with only changing the font in the title fields, 
using markup, which would be no bother.

Paul

PS:
On 22/08/2021 15:32:23, "Valentin Petzel" <valentin@petzel.at> wrote:
 > the default staff-size is 20, not 22, so you need to divide by 20.

My global-staff-size is 22 (to match another piece, and for printing on 
larger JIS B4 paper)