User:Isaacl/style/diff-mono-font.css

Code that you insert on this page could contain malicious content capable of compromising your account. If you import a script from another page with "importScript", "mw.loader.load", "iusc", or "lusc", take note that this causes you to dynamically load a remote script, which could be changed by others. Editors are responsible for all edits and actions they perform, including by scripts. User scripts are not centrally supported and may malfunction or become inoperable due to software changes. A guide to help you find broken scripts is available. If you are unsure whether code you are adding to this page is safe, you can ask at the appropriate village pump.
This code will be executed when previewing this page.

Documentation for this user script can be added at User:Isaacl/style/diff-mono-font.

Note: After saving, you have to bypass your browser's cache to see the changes. Google Chrome, Firefox, Microsoft Edge and Safari: Hold down the ⇧ Shift key and click the Reload toolbar button. For details and instructions about other browsers, see Wikipedia:Bypass your cache.

/* 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%;
}