Thanks very much for the quick response. That does the trick. The header text in edit mode is still in the original font - which is fine because I think that looks nicer 
I achieved something similar (I think) with a different CSS selector;
.CodeMirror {
font-family: Hack, monospace;
}