⌂ Changing the size of note heads

It is possible to change the fontsize of note heads.