##// END OF EJS Templates
rollback #3358...
MinRK -
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:scroll;margin-bottom:-38px;}
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