Show More
@@ -22,7 +22,7 b'' | |||||
22 | overflow-x: auto; |
|
22 | overflow-x: auto; | |
23 | } |
|
23 | } | |
24 |
|
24 | |||
25 | @-moz-document { |
|
25 | @-moz-document url-prefix() { | |
26 | /* Firefox does weird and terrible things (#3549) when overflow-x is auto */ |
|
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 */ |
|
27 | /* It doesn't respect the overflow setting anyway, so we can workaround it with this */ | |
28 | .CodeMirror-scroll { |
|
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 | div.output_prompt{color:darkred;} |
|
83 | div.output_prompt{color:darkred;} | |
84 | .CodeMirror{line-height:1.231em;height:auto;background:none;} |
|
84 | .CodeMirror{line-height:1.231em;height:auto;background:none;} | |
85 | .CodeMirror-scroll{overflow-y:hidden;overflow-x:auto;} |
|
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 | .CodeMirror-linenumber{padding:0 8px 0 4px;} |
|
87 | .CodeMirror-linenumber{padding:0 8px 0 4px;} | |
88 | .CodeMirror-gutters{border-bottom-left-radius:4px;border-top-left-radius:4px;} |
|
88 | .CodeMirror-gutters{border-bottom-left-radius:4px;border-top-left-radius:4px;} | |
89 | .CodeMirror pre{padding:0;border:0;-webkit-border-radius:0;-moz-border-radius:0;border-radius:0;} |
|
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 | div.output_prompt{color:darkred;} |
|
1464 | div.output_prompt{color:darkred;} | |
1465 | .CodeMirror{line-height:1.231em;height:auto;background:none;} |
|
1465 | .CodeMirror{line-height:1.231em;height:auto;background:none;} | |
1466 | .CodeMirror-scroll{overflow-y:hidden;overflow-x:auto;} |
|
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 | .CodeMirror-linenumber{padding:0 8px 0 4px;} |
|
1468 | .CodeMirror-linenumber{padding:0 8px 0 4px;} | |
1469 | .CodeMirror-gutters{border-bottom-left-radius:4px;border-top-left-radius:4px;} |
|
1469 | .CodeMirror-gutters{border-bottom-left-radius:4px;border-top-left-radius:4px;} | |
1470 | .CodeMirror pre{padding:0;border:0;-webkit-border-radius:0;-moz-border-radius:0;border-radius:0;} |
|
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