small css update
[codemirror] default settings changed