Merge "Diffs: Explicitly set font size to 100%"

This commit is contained in:
jenkins-bot 2023-10-28 11:16:09 +00:00 committed by Gerrit Code Review
commit 58a77bc10d

View file

@ -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%;
}