“MediaWiki:Vector.css”的版本间的差异
跳到导航
跳到搜索
第26行: | 第26行: | ||
.diff-editfont-monospace .diff-deletedline, |
.diff-editfont-monospace .diff-deletedline, |
||
.diff-editfont-monospace .diff-context { |
.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; |
font-family: Ubuntu Mono, Consolas, Monaco, DejaVu Sans Mono, monospace; |
||
} |
} |
2022年5月12日 (四) 15:28的版本
/* 这里的任何CSS将为使用Vector皮肤的用户加载 */
/* woodrow.cn */
.mw-body,
.parsoid-body {
background-color: #ffffff;
color: #000;
direction: ltr;
padding: 1em;
}
pre,
code,
tt,
kbd,
samp,
.mw-code {
font-family: Ubuntu Mono, Consolas, Monaco, DejaVu Sans Mono, monospace;
}
.mw-editfont-monospace {
font-family: Ubuntu Mono, Consolas, Monaco, DejaVu Sans Mono, monospace;
}
.diff-editfont-monospace .diff-addedline,
.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;
}