Prefer Menlo over Monaco for code. Fixes #1362

Monaco does not have a bold fontface, and when the CSS says that
something should be bold, some browsers fiddle with the whitespace
instead. This breaks the alignment in the code examples.