Sorry for this. > Is there an equivalent to > > #(set-global-staff-size 16) > > but for fonts?
Please discard this question, as I found my mistake :-/ Gilles _______________________________________________ lilypond-user mailing list lilypond-user@gnu.org http://lists.gnu.org/mailman/listinfo/lilypond-user
