Added font size to humdrum.css.