46
个编辑
(未显示同一用户的2个中间版本) | |||
.diff-editfont-monospace .diff-deletedline,
.diff-editfont-monospace .diff-context {
font-family: Ubuntu Mono, Consolas, Monaco, DejaVu Sans Mono, monospace;
}
.wikiEditor-ui .ace_editor {
font-size: 13px;
font-family: Ubuntu Mono, Consolas, Monaco, DejaVu Sans Mono, monospace;
}
.mw-body-content {
font-size: 15px;
}
.searchdidyoumean em,
.searchmatch {
font-weight: normal;
/* background-color: yellow; */
color: red;
}
|