Font size changes are achieved by scaling the design size that is
closest to the desired size. The standard font size (for
@w{@code{font-size = 0}}) depends on the standard staff height.
Font size changes are achieved by scaling the design size that is
closest to the desired size. The standard font size (for
@w{@code{font-size = 0}}) depends on the standard staff height.