change monospace font size to 12px. closes #32