Decreases CodeMirror's font size

From 16pt to 14px