/* CodeMirror editor styles */
div.CodeMirror-wrapping {background-color: #FFFFFF; border: 1px solid #B6B6B6;}