MediaWiki:Common.css: Difference between revisions

m
Larger on editing window.
(Tweaked monospaced fonts.)
m (Larger on editing window.)
Line 28: Line 28:
}
}


/* Increase font size in editting window */
/* Increase font size in editing window */
.mw-editfont-monospace,
.mw-editfont-monospace,
.mw-editfont-sans-serif,
.mw-editfont-sans-serif,
.mw-editfont-serif {
.mw-editfont-serif {
font-size: 16px !important;
font-size: 18px !important;
font-family: "Overpass Mono", monospace;
font-family: "Overpass Mono", monospace;
}
}