http://jsbeautifier.org/web/third-party/codemirror/lib/codemirror.css