46
个编辑
“MediaWiki:Vector.css”的版本间的差异
无编辑摘要
| （未显示同一用户的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;
}
| |||