1 %% Translation of GIT committish: 0a868be38a775ecb1ef935b079000cebbc64de40
3 Für den pädagogischen Einsatz kann eine Linie des Notensystems dicker
4 gezeichnet werden (z. B. die Mittellinie, oder um den Schlüssel hervorzuheben).
5 Das ist möglich, indem man zusätzliche Linien sehr nahe an der Linie, die
6 dicker erscheinen soll, einfügt. Dazu wird die @code{line-positions}-Eigenschaft
10 doctitlede = "Eine Linie des Notensystems dicker als die anderen machen"