div.CodeMirror span.marked-text {
background: rgba(255,207,0,0.2);
border: 1px dashed rgba(156, 156, 255, 0.6);
- -moz-margin-start: -1px;
- -moz-margin-end: -1px;
+ margin-inline-start: -1px;
+ margin-inline-end: -1px;
}
/* Highlight for evaluating current statement. */