##// END OF EJS Templates
Fixing CM3 line numbers for cells.
Brian E. Granger -
Show More
@@ -28,6 +28,18 b''
28 padding: 0.4em;
28 padding: 0.4em;
29 }
29 }
30
30
31 .CodeMirror-linenumber {
32 // This is needed to fine tune the position of the line numbers because we use the 0.4em
33 // spacing in various places. Fine tuned to look right.
34 padding: 0 8px 0 4px;
35 }
36
37 .CodeMirror-gutters {
38 // This is needed because our cell has rounded corners, otherwise the gutter area square
39 // corner cuts into the rounded cell border.
40 .corner-all;
41 }
42
31 .CodeMirror pre {
43 .CodeMirror pre {
32 /* In CM3 this went to 4px from 0 in CM2. We need the 0 value because of how we size */
44 /* In CM3 this went to 4px from 0 in CM2. We need the 0 value because of how we size */
33 /* .CodeMirror-lines */
45 /* .CodeMirror-lines */
@@ -942,6 +942,8 b' 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-y:hidden;overflow-x:auto;}
943 .CodeMirror-scroll{overflow-y:hidden;overflow-x:auto;}
944 .CodeMirror-lines{padding:0.4em;}
944 .CodeMirror-lines{padding:0.4em;}
945 .CodeMirror-linenumber{padding:0 8px 0 4px;}
946 .CodeMirror-gutters{border-radius:4px;}
945 .CodeMirror pre{padding:0;border:0;-webkit-border-radius:0;-moz-border-radius:0;border-radius:0;}
947 .CodeMirror pre{padding:0;border:0;-webkit-border-radius:0;-moz-border-radius:0;border-radius:0;}
946 .completions{position:absolute;z-index:10;overflow:hidden;border:1px solid #ababab;border-radius:4px;-webkit-box-shadow:0px 6px 10px -1px #adadad;-moz-box-shadow:0px 6px 10px -1px #adadad;box-shadow:0px 6px 10px -1px #adadad;}
948 .completions{position:absolute;z-index:10;overflow:hidden;border:1px solid #ababab;border-radius:4px;-webkit-box-shadow:0px 6px 10px -1px #adadad;-moz-box-shadow:0px 6px 10px -1px #adadad;box-shadow:0px 6px 10px -1px #adadad;}
947 .completions select{background:white;outline:none;border:none;padding:0px;margin:0px;overflow:auto;font-family:monospace;font-size:110%;color:#000000;}
949 .completions select{background:white;outline:none;border:none;padding:0px;margin:0px;overflow:auto;font-family:monospace;font-size:110%;color:#000000;}
General Comments 0
You need to be logged in to leave comments. Login now