+/* Highlight for a line that contains an error. */
+div.CodeMirror div.error-line {
+ background: rgba(255,0,0,0.2);
+}
+
+/* Highlight for a line that represents a stack frame's location. */
+div.CodeMirror div.debug-line {
+ background: rgba(156,156,255,0.1);
+}
+
+/* Generic highlighted text */
+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;
+}
+
+/* Highlight for evaluating current statement. */
+div.CodeMirror span.eval-text {
+ background-color: #403800;
+}
+