OLD | NEW |
1 /* BASICS */ | 1 /* BASICS */ |
2 | 2 |
3 .CodeMirror { | 3 .CodeMirror { |
4 /* Set height, width, borders, and global font properties here */ | 4 /* Set height, width, borders, and global font properties here */ |
5 font-family: monospace; | 5 font-family: monospace; |
6 height: 300px; | |
7 } | 6 } |
8 .CodeMirror-scroll { | 7 .CodeMirror-scroll { |
9 /* Set scrolling behaviour here */ | 8 /* These settings combine to allow the code portion to automatically resize it
self */ |
10 overflow: auto; | 9 height: auto; |
| 10 |
| 11 overflow-x: auto; |
| 12 overflow-y: hidden; |
11 } | 13 } |
12 | 14 |
13 /* PADDING */ | 15 /* PADDING */ |
14 | 16 |
15 .CodeMirror-lines { | 17 .CodeMirror-lines { |
16 padding: 4px 0; /* Vertical padding around content */ | 18 padding: 4px 0; /* Vertical padding around content */ |
17 } | 19 } |
18 .CodeMirror pre { | 20 .CodeMirror pre { |
19 padding: 0 4px; /* Horizontal padding of content */ | 21 padding: 0 4px; /* Horizontal padding of content */ |
20 } | 22 } |
(...skipping 93 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
114 overflow: hidden; | 116 overflow: hidden; |
115 background: white; | 117 background: white; |
116 color: black; | 118 color: black; |
117 } | 119 } |
118 | 120 |
119 .CodeMirror-scroll { | 121 .CodeMirror-scroll { |
120 /* 30px is the magic margin used to hide the element's real scrollbars */ | 122 /* 30px is the magic margin used to hide the element's real scrollbars */ |
121 /* See overflow: hidden in .CodeMirror */ | 123 /* See overflow: hidden in .CodeMirror */ |
122 margin-bottom: -30px; margin-right: -30px; | 124 margin-bottom: -30px; margin-right: -30px; |
123 padding-bottom: 30px; | 125 padding-bottom: 30px; |
124 height: 100%; | |
125 outline: none; /* Prevent dragging from highlighting the element */ | 126 outline: none; /* Prevent dragging from highlighting the element */ |
126 position: relative; | 127 position: relative; |
127 -moz-box-sizing: content-box; | 128 -moz-box-sizing: content-box; |
128 box-sizing: content-box; | 129 box-sizing: content-box; |
129 } | 130 } |
130 .CodeMirror-sizer { | 131 .CodeMirror-sizer { |
131 position: relative; | 132 position: relative; |
132 border-right: 30px solid transparent; | 133 border-right: 30px solid transparent; |
133 -moz-box-sizing: content-box; | 134 -moz-box-sizing: content-box; |
134 box-sizing: content-box; | 135 box-sizing: content-box; |
(...skipping 128 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
263 | 264 |
264 /* Used to force a border model for a node */ | 265 /* Used to force a border model for a node */ |
265 .cm-force-border { padding-right: .1px; } | 266 .cm-force-border { padding-right: .1px; } |
266 | 267 |
267 @media print { | 268 @media print { |
268 /* Hide the cursor when printing */ | 269 /* Hide the cursor when printing */ |
269 .CodeMirror div.CodeMirror-cursors { | 270 .CodeMirror div.CodeMirror-cursors { |
270 visibility: hidden; | 271 visibility: hidden; |
271 } | 272 } |
272 } | 273 } |
OLD | NEW |