##// END OF EJS Templates
Merge pull request #3552 from minrk/anotherFFworkaround...
Paul Ivanov -
r11206:b60405b6 merge
parent child Browse files
Show More
@@ -22,6 +22,14 b''
22 overflow-x: auto;
22 overflow-x: auto;
23 }
23 }
24
24
25 @-moz-document {
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
25 .CodeMirror-lines {
33 .CodeMirror-lines {
26 /* In CM2, this used to be 0.4em, but in CM3 it went to 4px. We need the em value because */
34 /* In CM2, this used to be 0.4em, but in CM3 it went to 4px. We need the em value because */
27 /* we have set a different line-height and want this to scale with that. */
35 /* we have set a different line-height and want this to scale with that. */
@@ -1457,7 +1457,7 b' div.out_prompt_overlay:hover{-webkit-box-shadow:inset 0 0 1px #000000;-moz-box-s'
1457 div.output_prompt{color:darkred;}
1457 div.output_prompt{color:darkred;}
1458 .CodeMirror{line-height:1.231em;height:auto;background:none;}
1458 .CodeMirror{line-height:1.231em;height:auto;background:none;}
1459 .CodeMirror-scroll{overflow-y:hidden;overflow-x:auto;}
1459 .CodeMirror-scroll{overflow-y:hidden;overflow-x:auto;}
1460 .CodeMirror-lines{padding:0.4em;}
1460 @-moz-document {.CodeMirror-scroll{overflow-x:hidden;}}.CodeMirror-lines{padding:0.4em;}
1461 .CodeMirror-linenumber{padding:0 8px 0 4px;}
1461 .CodeMirror-linenumber{padding:0 8px 0 4px;}
1462 .CodeMirror-gutters{border-bottom-left-radius:4px;border-top-left-radius:4px;}
1462 .CodeMirror-gutters{border-bottom-left-radius:4px;border-top-left-radius:4px;}
1463 .CodeMirror pre{padding:0;border:0;-webkit-border-radius:0;-moz-border-radius:0;border-radius:0;}
1463 .CodeMirror pre{padding:0;border: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