| 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 |