/* Generic highlighted text */
div.CodeMirror span.marked-text {
background: rgba(255,207,0,0.2);
border: 1px dashed rgba(156, 156, 255, 0.6);
/* Generic highlighted text */
div.CodeMirror span.marked-text {
background: rgba(255,207,0,0.2);
border: 1px dashed rgba(156, 156, 255, 0.6);