| 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; | 6 height: 300px; |
| 7 } | 7 } |
| 8 .CodeMirror-scroll { | 8 .CodeMirror-scroll { |
| 9 /* Set scrolling behaviour here */ | 9 /* Set scrolling behaviour here */ |
| 10 overflow: auto; | 10 overflow: auto; |
| 11 } | 11 } |
| 12 | 12 |
| 13 /* PADDING */ | 13 /* PADDING */ |
| 14 | 14 |
| 15 .CodeMirror-lines { | 15 .CodeMirror-lines { |
| 16 padding: 4px 0; /* Vertical padding around content */ | 16 padding: 4px 0; /* Vertical padding around content */ |
| 17 } | 17 } |
| 18 .CodeMirror pre { | 18 .CodeMirror pre { |
| 19 padding: 0 4px; /* Horizontal padding of content */ | 19 padding: 0 4px; /* Horizontal padding of content */ |
| 20 } | 20 } |
| 21 | 21 |
| 22 .CodeMirror-scrollbar-filler { | 22 .CodeMirror-scrollbar-filler, .CodeMirror-gutter-filler { |
| 23 background-color: white; /* The little square between H and V scrollbars */ | 23 background-color: white; /* The little square between H and V scrollbars */ |
| 24 } | 24 } |
| 25 | 25 |
| 26 /* GUTTER */ | 26 /* GUTTER */ |
| 27 | 27 |
| 28 .CodeMirror-gutters { | 28 .CodeMirror-gutters { |
| 29 border-right: 1px solid #ddd; | 29 border-right: 1px solid #ddd; |
| 30 background-color: #f7f7f7; | 30 background-color: #f7f7f7; |
| 31 white-space: nowrap; |
| 31 } | 32 } |
| 32 .CodeMirror-linenumbers {} | 33 .CodeMirror-linenumbers {} |
| 33 .CodeMirror-linenumber { | 34 .CodeMirror-linenumber { |
| 34 padding: 0 3px 0 5px; | 35 padding: 0 3px 0 5px; |
| 35 min-width: 20px; | 36 min-width: 20px; |
| 36 text-align: right; | 37 text-align: right; |
| 37 color: #999; | 38 color: #999; |
| 38 } | 39 } |
| 39 | 40 |
| 40 /* CURSOR */ | 41 /* CURSOR */ |
| (...skipping 76 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 117 outline: none; /* Prevent dragging from highlighting the element */ | 118 outline: none; /* Prevent dragging from highlighting the element */ |
| 118 position: relative; | 119 position: relative; |
| 119 } | 120 } |
| 120 .CodeMirror-sizer { | 121 .CodeMirror-sizer { |
| 121 position: relative; | 122 position: relative; |
| 122 } | 123 } |
| 123 | 124 |
| 124 /* The fake, visible scrollbars. Used to force redraw during scrolling | 125 /* The fake, visible scrollbars. Used to force redraw during scrolling |
| 125 before actuall scrolling happens, thus preventing shaking and | 126 before actuall scrolling happens, thus preventing shaking and |
| 126 flickering artifacts. */ | 127 flickering artifacts. */ |
| 127 .CodeMirror-vscrollbar, .CodeMirror-hscrollbar, .CodeMirror-scrollbar-filler { | 128 .CodeMirror-vscrollbar, .CodeMirror-hscrollbar, .CodeMirror-scrollbar-filler, .C
odeMirror-gutter-filler { |
| 128 position: absolute; | 129 position: absolute; |
| 129 z-index: 6; | 130 z-index: 6; |
| 130 display: none; | 131 display: none; |
| 131 } | 132 } |
| 132 .CodeMirror-vscrollbar { | 133 .CodeMirror-vscrollbar { |
| 133 right: 0; top: 0; | 134 right: 0; top: 0; |
| 134 overflow-x: hidden; | 135 overflow-x: hidden; |
| 135 overflow-y: scroll; | 136 overflow-y: scroll; |
| 136 } | 137 } |
| 137 .CodeMirror-hscrollbar { | 138 .CodeMirror-hscrollbar { |
| 138 bottom: 0; left: 0; | 139 bottom: 0; left: 0; |
| 139 overflow-y: hidden; | 140 overflow-y: hidden; |
| 140 overflow-x: scroll; | 141 overflow-x: scroll; |
| 141 } | 142 } |
| 142 .CodeMirror-scrollbar-filler { | 143 .CodeMirror-scrollbar-filler { |
| 143 right: 0; bottom: 0; | 144 right: 0; bottom: 0; |
| 144 z-index: 6; | 145 } |
| 146 .CodeMirror-gutter-filler { |
| 147 left: 0; bottom: 0; |
| 145 } | 148 } |
| 146 | 149 |
| 147 .CodeMirror-gutters { | 150 .CodeMirror-gutters { |
| 148 position: absolute; left: 0; top: 0; | 151 position: absolute; left: 0; top: 0; |
| 149 height: 100%; | |
| 150 padding-bottom: 30px; | 152 padding-bottom: 30px; |
| 151 z-index: 3; | 153 z-index: 3; |
| 152 } | 154 } |
| 153 .CodeMirror-gutter { | 155 .CodeMirror-gutter { |
| 156 white-space: normal; |
| 154 height: 100%; | 157 height: 100%; |
| 155 padding-bottom: 30px; | 158 padding-bottom: 30px; |
| 156 margin-bottom: -32px; | 159 margin-bottom: -32px; |
| 157 display: inline-block; | 160 display: inline-block; |
| 158 /* Hack to make IE7 behave */ | 161 /* Hack to make IE7 behave */ |
| 159 *zoom:1; | 162 *zoom:1; |
| 160 *display:inline; | 163 *display:inline; |
| 161 } | 164 } |
| 162 .CodeMirror-gutter-elt { | 165 .CodeMirror-gutter-elt { |
| 163 position: absolute; | 166 position: absolute; |
| (...skipping 73 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 237 | 240 |
| 238 /* IE7 hack to prevent it from returning funny offsetTops on the spans */ | 241 /* IE7 hack to prevent it from returning funny offsetTops on the spans */ |
| 239 .CodeMirror span { *vertical-align: text-bottom; } | 242 .CodeMirror span { *vertical-align: text-bottom; } |
| 240 | 243 |
| 241 @media print { | 244 @media print { |
| 242 /* Hide the cursor when printing */ | 245 /* Hide the cursor when printing */ |
| 243 .CodeMirror div.CodeMirror-cursor { | 246 .CodeMirror div.CodeMirror-cursor { |
| 244 visibility: hidden; | 247 visibility: hidden; |
| 245 } | 248 } |
| 246 } | 249 } |
| OLD | NEW |