User:Nardog/DiffFontSwitcher

Since May 2020, the font for editing is also used for diffs. Proportional and monospaced fonts each have advantages on diffs: the former may be more legible for longer texts, while the latter may make it easier to spot tiny differences such as punctuation. With this script, you can switch between the default font and a font of your choice by clicking on a line number ("Line n:") on any diff.

Usage
If you prefer a monospaced font for editing but sans-serif for diffs, you can make sans-serif the default for diffs by adding the following to your common.css or global.css.

And if you want to switch to a monospaced font by clicking on a line number on a diff, install the script by adding the following to your common.js or global.js:

Or you may enable the script installer in and click "Install" in the infobox on this page.

And then add the following to the CSS: