ProFont wasn't mentioned. It's a monospace truetype font designed to look it's best at 9 points size, so you get more code on the screen.