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 |