User:MJL/common.css

body.action-edit #wpTextbox1, body.action-submit #wpTextbox1, .CodeMirror { font-family: "WikisourceMono", monospace; font-size: 10pt; }