Use the system monospace font in the docs
Merge pull request #1601 from mdboom/docs/make-monospace-font-match

Fix monospaced fonts in docs