1\version "2.19.11"
2
3\header {
4  texidoc = "Staff line thickness should be scaled along with
5staff size when using the @code{\magnifyStaff} command.  Staff
6lines can get thicker than the default, but not thinner."
7}
8
9{
10  \magnifyStaff 0.50 b'1
11  \magnifyStaff 0.71 b'1
12  \magnifyStaff 1.00 b'1
13  \magnifyStaff 1.41 b'1
14  \magnifyStaff 2.00 b'1
15} \addlyrics {
16  " 0.50 "
17  " 0.71 "
18  " 1.00 "
19  " 1.41 "
20  " 2.00 "
21}
22