pythoner
diff --git a/‎v3/css/codemirror.css‎
Lines changed: 15 additions & 11 deletions b/‎v3/css/codemirror.css‎
Lines changed: 15 additions & 11 deletions
diff --git a/‎v3/css/opt-frontend.css‎
Lines changed: 3 additions & 0 deletions b/‎v3/css/opt-frontend.css‎
Lines changed: 3 additions & 0 deletions
diff --git a/‎v3/css/pytutor.css‎
Lines changed: 0 additions & 4 deletions b/‎v3/css/pytutor.css‎
Lines changed: 0 additions & 4 deletions
@@ -9,8 +9,7 @@
 }
 
 .CodeMirror-scroll {
-  overflow-x: auto;
-  overflow-y: hidden;
+  overflow: auto;
   height: 300px;
   /* This is needed to prevent an IE[67] bug where the scrolled content
      is visible outside of the scrolling box. */
@@ -20,13 +19,11 @@
 
 /* Vertical scrollbar */
 .CodeMirror-scrollbar {
-  float: right;
+  position: absolute;
+  right: 0; top: 0;
   overflow-x: hidden;
   overflow-y: scroll;
-
-  /* This corrects for the 1px gap introduced to the left of the scrollbar
-     by the rule for .CodeMirror-scrollbar-inner. */
-  margin-left: -1px;
+  z-index: 5;
 }
 .CodeMirror-scrollbar-inner {
   /* This needs to have a nonzero width in order for the scrollbar to appear
@@ -69,10 +66,6 @@
   white-space: pre;
   cursor: text;
 }
-.CodeMirror-lines * {
-  /* Necessary for throw-scrolling to decelerate properly on Safari. */
-  pointer-events: none;
-}
 
 .CodeMirror pre {
   -moz-border-radius: 0;
@@ -165,5 +158,16 @@ span.cm-em {font-style: italic;}
 span.cm-emstrong {font-style: italic; font-weight: bold;}
 span.cm-link {text-decoration: underline;}
 
+span.cm-invalidchar {color: #f00;}
+
 div.CodeMirror span.CodeMirror-matchingbracket {color: #0f0;}
 div.CodeMirror span.CodeMirror-nonmatchingbracket {color: #f22;}
+
+@media print {
+
+  /* Hide the cursor when printing */
+  .CodeMirror pre.CodeMirror-cursor {
+    visibility: hidden;
+  }
+
+}
@@ -79,3 +79,6 @@ button.bigBtn {
   margin-right: auto;
 }
 
+
+/* necessary for CodeMirror error line highlighting to work! */
+.CodeMirror .errorLine { background: #F89D99 !important; }
@@ -466,7 +466,3 @@ div.ExecutionVisualizer .ui-slider .ui-slider-handle {
   border: 1px solid #999;
 }
 
-
-/* necessary for CodeMirror line highlighting to work! */
-div.ExecutionVisualizer .CodeMirror .errorLine { background: #F89D99 !important; }
-
Original file line number	Diff line number	Diff line change
`@@ -79,3 +79,6 @@ button.bigBtn {`
`79`	`79`	`margin-right: auto;`
`80`	`80`	`}`
`81`	`81`
	`82`	`+`
	`83`	`+/* necessary for CodeMirror error line highlighting to work! */`
	`84`	`+.CodeMirror .errorLine { background: #F89D99 !important; }`
Original file line number	Diff line number	Diff line change
`@@ -466,7 +466,3 @@ div.ExecutionVisualizer .ui-slider .ui-slider-handle {`
`466`	`466`	`border: 1px solid #999;`
`467`	`467`	`}`
`468`	`468`
`469`		`-`
`470`		`-/* necessary for CodeMirror line highlighting to work! */`
`471`		`-div.ExecutionVisualizer .CodeMirror .errorLine { background: #F89D99 !important; }`
`472`		`-`