fonts for the groff family of text formatters