“MediaWiki:Vector.css”的版本间的差异

跳到导航 跳到搜索
添加126字节 、 2022年5月12日 (四) 15:28
无编辑摘要
.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;
}

导航菜单