無編輯摘要
imported>=海豚= （创建页面，内容为“→BASICS： .CodeMirror { →Set height, width, borders, and global font properties here： font-family: monospace; height: 300px; color: black; } /* PADD…”） |
imported>=海豚= 無編輯摘要 |
||
| 行 23： | 行 23： | ||
/* GUTTER */ | /* GUTTER */ | ||
.CodeMirror-linenumbers {} | .CodeMirror-linenumbers {} | ||
.CodeMirror-linenumber { | .CodeMirror-linenumber { | ||
| 行 188： | 行 183： | ||
.CodeMirror-gutter-filler { | .CodeMirror-gutter-filler { | ||
left: 0; bottom: 0; | left: 0; bottom: 0; | ||
} | } | ||
.CodeMirror-gutter { | .CodeMirror-gutter { | ||
| 行 273： | 行 263： | ||
.CodeMirror-scroll, | .CodeMirror-scroll, | ||
.CodeMirror-sizer, | .CodeMirror-sizer, | ||
.CodeMirror-linenumber { | .CodeMirror-linenumber { | ||
-moz-box-sizing: content-box; | -moz-box-sizing: content-box; | ||