Few options for CodeMirror editor to look nicer.