style codemirror html