infofont font [encoding] [size]

Default Command lineScope Available in
Times-Italic 14
serifItalic 14
nonetune abcm2ps
abc2svg

Set the infoline font.