From 8369a0e8593fa152cd5ef7f13b31fa58a0f90019 Mon Sep 17 00:00:00 2001
From: Ed Sanders <esanders@wikimedia.org>
Date: Thu, 26 Oct 2023 17:38:36 +0100
Subject: [PATCH] Diffs: Explicitly set font size to 100%

This should result in no-change, but prevents a regression after I65b6a778d.

Change-Id: I0085124a8590ede25d818033b669aff18afc19d6
---
 skinStyles/mediawiki.diff.styles.less | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/skinStyles/mediawiki.diff.styles.less b/skinStyles/mediawiki.diff.styles.less
index fd6874f77..e40c300d1 100644
--- a/skinStyles/mediawiki.diff.styles.less
+++ b/skinStyles/mediawiki.diff.styles.less
@@ -42,3 +42,15 @@
 	}
 }
 // stylelint-enable selector-max-id
+
+// Wikitext font size is restored to 100%, as in mediawiki.editfont.styles
+.diff-addedline,
+.diff-deletedline,
+.diff-context,
+.mw-diff-inline-added,
+.mw-diff-inline-deleted,
+.mw-diff-inline-moved,
+.mw-diff-inline-changed,
+.mw-diff-inline-context {
+	font-size: 100%;
+}