4 texidoc = "Staff line thickness should be scaled along with
5 staff size when using the @code{\magnifyStaff} command. Staff
6 lines can get thicker than the default, but not thinner."
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