/* To use a font not installed on your computer, such as a font from the
Google Fonts repository, you must download it and install it on your computer.
*/
.diff-editfont-monospace .diff-addedline,
.diff-editfont-monospace .diff-deletedline,
.diff-editfont-monospace .diff-context,
.diff-editfont-monospace .mw-diff-inline-context,
.diff-editfont-monospace .mw-diff-inline-changed,
.diff-editfont-monospace .mw-diff-inline-added,
.diff-editfont-monospace .mw-diff-inline-deleted
{
font-family:
"Cousine",
"IBM Plex Mono",
"Space Mono",
"Anonymous Pro",
"Fira Mono",
"Source Code Pro",
"Source Code Sans",
Consolas,
Inconsolata,
"Liberation Mono",
Menlo,
Courier,
monospace;
/* font-size: 93%; */
}
.diff-editfont-monospace .mw-diff-inline-context,
.diff-editfont-monospace .mw-diff-inline-changed,
.diff-editfont-monospace .mw-diff-inline-added,
.diff-editfont-monospace .mw-diff-inline-deleted
{
font-size: 93%;
}