1 %% Translation of GIT committish: d96023d8792c8af202c7cb8508010c0d3648899d
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"