Show More
@@ -79,7 +79,7 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 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