Better default font for Windows users

[joequery]

Hi!

This is a pretty small complaint, but the Windows font used for <pre> doesn't look very good. Everything looks great on linux/OS X, but not so much on Windows.