In fact, let's use the default monospace font.

Closes #2.