|
From: | Mahanidhi |
Subject: | Font size |
Date: | Wed, 14 Dec 2022 10:45:54 +0100 |
User-agent: | Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101 Thunderbird/102.5.0 |
Buongiorno,
vorrei inserire un comando generale tipo: font-size = #10 per
modificare le dimensione del font ma non sò dove
inserirlo.
Volevo inserirlo in questa
sezione:
\paper {
#(define fonts
(set-global-fonts
#:roman "Times New Roman"
#:sans "Nimbus Sans,Nimbus Sans L"
#:typewriter "Luxi Mono"
#:factor (/ staff-height pt 19)
ma non sò come...
Grazie.
[Prev in Thread] | Current Thread | [Next in Thread] |