##// END OF EJS Templates
Merge pull request #5280 from jdfreder/ff_cmurlpref...
Min RK -
r15696:36df57dd 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 {
@@ -79,7 +79,7 b' div.input{page-break-inside:avoid;display:-webkit-box;-webkit-box-orient:horizon'
79 79 div.input_prompt{color:#000080;border-top:1px solid transparent}
80 80 .CodeMirror{line-height:1.231em;height:auto;background:none;}
81 81 .CodeMirror-scroll{overflow-y:hidden;overflow-x:auto}
82 @-moz-document {.CodeMirror-scroll{overflow-x:hidden}}.CodeMirror-lines{padding:.4em}
82 @-moz-document url-prefix(){.CodeMirror-scroll{overflow-x:hidden}}.CodeMirror-lines{padding:.4em}
83 83 .CodeMirror-linenumber{padding:0 8px 0 4px}
84 84 .CodeMirror-gutters{border-bottom-left-radius:4px;border-top-left-radius:4px}
85 85 .CodeMirror pre{padding:0;border:0;-webkit-border-radius:0;-moz-border-radius:0;border-radius:0}
@@ -1356,7 +1356,7 b' div.input{page-break-inside:avoid;display:-webkit-box;-webkit-box-orient:horizon'
1356 1356 div.input_prompt{color:#000080;border-top:1px solid transparent}
1357 1357 .CodeMirror{line-height:1.231em;height:auto;background:none;}
1358 1358 .CodeMirror-scroll{overflow-y:hidden;overflow-x:auto}
1359 @-moz-document {.CodeMirror-scroll{overflow-x:hidden}}.CodeMirror-lines{padding:.4em}
1359 @-moz-document url-prefix(){.CodeMirror-scroll{overflow-x:hidden}}.CodeMirror-lines{padding:.4em}
1360 1360 .CodeMirror-linenumber{padding:0 8px 0 4px}
1361 1361 .CodeMirror-gutters{border-bottom-left-radius:4px;border-top-left-radius:4px}
1362 1362 .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