title: How to change font for the CodeMirror editor
body: <p>I am trying to change font-family and font-size of my CodeMirror editor. I tried changing it by setting the according CSS attributes but it does not seem to work for me:</p>
  
  <pre><code>.codemirror-textarea {
      font-family: Arial, monospace;
      font-size: 16px;
  }
  </code></pre>
  
  <p>Do I have to import something in order to achieve this or might I have to edit the libraries CSS file directly? What am I doing wrong?</p>