Show More
@@ -22,6 +22,14 b'' | |||
|
22 | 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 | 33 | .CodeMirror-lines { |
|
26 | 34 | /* In CM2, this used to be 0.4em, but in CM3 it went to 4px. We need the em value because */ |
|
27 | 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 | 1457 | div.output_prompt{color:darkred;} |
|
1458 | 1458 | .CodeMirror{line-height:1.231em;height:auto;background:none;} |
|
1459 | 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 | 1461 | .CodeMirror-linenumber{padding:0 8px 0 4px;} |
|
1462 | 1462 | .CodeMirror-gutters{border-bottom-left-radius:4px;border-top-left-radius:4px;} |
|
1463 | 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