[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Global fonts
From: |
Werner LEMBERG |
Subject: |
Re: Global fonts |
Date: |
Thu, 27 Apr 2023 08:32:52 +0000 (UTC) |
>> \paper {
>> text-font-size = 16
>> }
>
> I would want to create a better interface for it before documenting
> it. For example, right now, it must be put after
> set-global-staff-size, and it also can't be different for the sans
> or typewriter font.
Hmm, maybe using alists that override this global setting? Something
like
```
\paper {
text-font-size = 16
fonts.sans = "Foo"
fonts.sans.size = 18
}
```
Werner