some codemirror style tweeks