|
|
.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;
}
|