I was thinking backwards. I want the old-fashined non-anti-aliased terminal fonts. Like you get in a good old xterm.