##// END OF EJS Templates
remove Firefox-specific CSS workaround...
MinRK -
Show More
@@ -22,14 +22,6 b''
22 22 overflow-x: auto;
23 23 }
24 24
25 @-moz-document url-prefix() {
26 /* Firefox does weird and terrible things (#3549) when overflow-x is auto */
27 /* It doesn't respect the overflow setting anyway, so we can workaround it with this */
28 .CodeMirror-scroll {
29 overflow-x: hidden;
30 }
31 }
32
33 25 .CodeMirror-lines {
34 26 /* In CM2, this used to be 0.4em, but in CM3 it went to 4px. We need the em value because */
35 27 /* we have set a different line-height and want this to scale with that. */
@@ -57,7 +57,7 b' div.input_area>div.highlight{margin:.4em;border:none;padding:0;background-color:'
57 57 div.input_area>div.highlight>pre{margin:0;border:none;padding:0;background-color:transparent}
58 58 .CodeMirror{line-height:1.21429em;height:auto;background:none;}
59 59 .CodeMirror-scroll{overflow-y:hidden;overflow-x:auto}
60 @-moz-document url-prefix(){.CodeMirror-scroll{overflow-x:hidden}}.CodeMirror-lines{padding:.4em}
60 .CodeMirror-lines{padding:.4em}
61 61 .CodeMirror-linenumber{padding:0 8px 0 4px}
62 62 .CodeMirror-gutters{border-bottom-left-radius:4px;border-top-left-radius:4px}
63 63 .CodeMirror pre{padding:0;border:0;-webkit-border-radius:0;-moz-border-radius:0;border-radius:0}
@@ -1362,7 +1362,7 b' div.input_area>div.highlight{margin:.4em;border:none;padding:0;background-color:'
1362 1362 div.input_area>div.highlight>pre{margin:0;border:none;padding:0;background-color:transparent}
1363 1363 .CodeMirror{line-height:1.21429em;height:auto;background:none;}
1364 1364 .CodeMirror-scroll{overflow-y:hidden;overflow-x:auto}
1365 @-moz-document url-prefix(){.CodeMirror-scroll{overflow-x:hidden}}.CodeMirror-lines{padding:.4em}
1365 .CodeMirror-lines{padding:.4em}
1366 1366 .CodeMirror-linenumber{padding:0 8px 0 4px}
1367 1367 .CodeMirror-gutters{border-bottom-left-radius:4px;border-top-left-radius:4px}
1368 1368 .CodeMirror pre{padding:0;border:0;border-radius:0;-webkit-border-radius:0;-moz-border-radius:0;border-radius:0}
General Comments 0
You need to be logged in to leave comments. Login now