Re: Global fonts

[Werner LEMBERG]

> If you use version 2.25.4, then it's possible to set the size for
> text fonts [...]
>
> \paper {
>   text-font-size = 16
> }

This is great!  And completely undocumented.  There isn't even a
regtest...


    Werner