Choose a monospace font

[dmlloyd]

And do whatever CSS magic is necessary to ensure that the font is available on user agents.

[dmlloyd]

The choice (for now) will be Droid Sans Mono.

[dmlloyd]

It ended up being Roboto Mono because the Droid one isn't free. But it's done at any rate, see #85.