Grace note size

Grace notes are smaller versions of normal notes, and are scaled down by a ratio that is set by default to 3/5 of a normal note.

You can change the size of grace notes individually in the same way as for normal notes.