##// END OF EJS Templates
Merge pull request #4193 from juhasch/overflow-x...
MinRK -
r12530:ced55529 merge
parent child Browse files
Show More
@@ -22,7 +22,7 b''
22 22 overflow-x: auto;
23 23 }
24 24
25 @-moz-document {
25 @-moz-document url-prefix() {
26 26 /* Firefox does weird and terrible things (#3549) when overflow-x is auto */
27 27 /* It doesn't respect the overflow setting anyway, so we can workaround it with this */
28 28 .CodeMirror-scroll {
@@ -83,7 +83,7 b' div.out_prompt_overlay:hover{-webkit-box-shadow:inset 0 0 1px #000000;-moz-box-s'
83 83 div.output_prompt{color:darkred;}
84 84 .CodeMirror{line-height:1.231em;height:auto;background:none;}
85 85 .CodeMirror-scroll{overflow-y:hidden;overflow-x:auto;}
86 @-moz-document {.CodeMirror-scroll{overflow-x:hidden;}}.CodeMirror-lines{padding:0.4em;}
86 @-moz-document url-prefix(){.CodeMirror-scroll{overflow-x:hidden;}}.CodeMirror-lines{padding:0.4em;}
87 87 .CodeMirror-linenumber{padding:0 8px 0 4px;}
88 88 .CodeMirror-gutters{border-bottom-left-radius:4px;border-top-left-radius:4px;}
89 89 .CodeMirror pre{padding:0;border:0;-webkit-border-radius:0;-moz-border-radius:0;border-radius:0;}
@@ -1464,7 +1464,7 b' div.out_prompt_overlay:hover{-webkit-box-shadow:inset 0 0 1px #000000;-moz-box-s'
1464 1464 div.output_prompt{color:darkred;}
1465 1465 .CodeMirror{line-height:1.231em;height:auto;background:none;}
1466 1466 .CodeMirror-scroll{overflow-y:hidden;overflow-x:auto;}
1467 @-moz-document {.CodeMirror-scroll{overflow-x:hidden;}}.CodeMirror-lines{padding:0.4em;}
1467 @-moz-document url-prefix(){.CodeMirror-scroll{overflow-x:hidden;}}.CodeMirror-lines{padding:0.4em;}
1468 1468 .CodeMirror-linenumber{padding:0 8px 0 4px;}
1469 1469 .CodeMirror-gutters{border-bottom-left-radius:4px;border-top-left-radius:4px;}
1470 1470 .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