Show More
@@ -18,22 +18,8 b'' | |||||
18 | .CodeMirror-scroll { |
|
18 | .CodeMirror-scroll { | |
19 | /* The CodeMirror docs are a bit fuzzy on if overflow-y should be hidden or visible.*/ |
|
19 | /* The CodeMirror docs are a bit fuzzy on if overflow-y should be hidden or visible.*/ | |
20 | /* We have found that if it is visible, vertical scrollbars appear with font size changes.*/ |
|
20 | /* We have found that if it is visible, vertical scrollbars appear with font size changes.*/ | |
21 | /* overflow: scroll prevents scrollbars being drawn on top of the last line of the cell, */ |
|
21 | overflow-y: hidden; | |
22 | /* but at the expense of extra gutter at the bottom. To compensate, we shrink the margin */ |
|
22 | overflow-x: auto; | |
23 | /* between the last line and the scrollbar when it's drawn. */ |
|
|||
24 | overflow: scroll; |
|
|||
25 | margin-bottom: -38px; /* default margin is -30px */ |
|
|||
26 | } |
|
|||
27 |
|
||||
28 | /* this one is needed for Text Cells to match code cells for some reason */ |
|
|||
29 | .CodeMirror-wrap .CodeMirror-scroll { |
|
|||
30 | overflow: scroll; |
|
|||
31 | } |
|
|||
32 |
|
||||
33 | /* CM sometimes draws a vertical scrollbar under zoom, but it never should in the Notebook. */ |
|
|||
34 | /* this hides them - display: none would be preferable, but it gets clobbered by CodeMirror */ |
|
|||
35 | .CodeMirror-vscrollbar, .CodeMirror-scrollbar-filler { |
|
|||
36 | visibility: hidden; |
|
|||
37 | } |
|
23 | } | |
38 |
|
24 | |||
39 | .CodeMirror-lines { |
|
25 | .CodeMirror-lines { |
@@ -940,9 +940,7 b' div.out_prompt_overlay{height:100%;padding:0px;position:absolute;border-radius:4' | |||||
940 | div.out_prompt_overlay:hover{-webkit-box-shadow:inset 0 0 1px #000000;-moz-box-shadow:inset 0 0 1px #000000;box-shadow:inset 0 0 1px #000000;background:rgba(240, 240, 240, 0.5);} |
|
940 | div.out_prompt_overlay:hover{-webkit-box-shadow:inset 0 0 1px #000000;-moz-box-shadow:inset 0 0 1px #000000;box-shadow:inset 0 0 1px #000000;background:rgba(240, 240, 240, 0.5);} | |
941 | div.output_prompt{color:darkred;margin:0 5px 0 -5px;} |
|
941 | div.output_prompt{color:darkred;margin:0 5px 0 -5px;} | |
942 | .CodeMirror{line-height:1.231;height:auto;background:none;} |
|
942 | .CodeMirror{line-height:1.231;height:auto;background:none;} | |
943 |
.CodeMirror-scroll{overflow: |
|
943 | .CodeMirror-scroll{overflow-y:hidden;overflow-x:auto;} | |
944 | .CodeMirror-wrap .CodeMirror-scroll{overflow:scroll;} |
|
|||
945 | .CodeMirror-vscrollbar,.CodeMirror-scrollbar-filler{visibility:hidden;} |
|
|||
946 | .CodeMirror-lines{padding:0.4em;} |
|
944 | .CodeMirror-lines{padding:0.4em;} | |
947 | .CodeMirror-linenumber{padding:0 8px 0 4px;} |
|
945 | .CodeMirror-linenumber{padding:0 8px 0 4px;} | |
948 | .CodeMirror-gutters{border-bottom-left-radius:4px;border-top-left-radius:4px;} |
|
946 | .CodeMirror-gutters{border-bottom-left-radius:4px;border-top-left-radius:4px;} |
General Comments 0
You need to be logged in to leave comments.
Login now