Comment by daa

Thx, we'll see if we can find a good monospaced font. Although IMO it's not as important in html as in other languages, for some reason.