无编辑摘要
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; | ||