Trying serif font in original Humdrum documentation.