.cm-s-default .cm-matchhighlight{background:#e9e9e9}.cm-s-default .CodeMirror-activeline-background{background:#e8f2ff}.cm-s-default .cm-searching{background:#ffa;background:rgba(255,255,0,.4)}