Odder has uploaded a new change for review. https://gerrit.wikimedia.org/r/91879
Change subject: (bug 40941) Increase font size in Gerrit diff messages ...................................................................... (bug 40941) Increase font size in Gerrit diff messages Raising it by 1pt to 9pt to match the font size in commit messages set in 07e32eedf and, to quote the submitter, 'to make it easier to the eyes of old people.' (This is a local change, but might as well be pushed upstream if it's a good idea.) Bug: 40941 Change-Id: I771580d2a9252369b7b38e2a005ccf9248c1f814 --- M files/gerrit/skin/GerritSite.css 1 file changed, 8 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/operations/puppet refs/changes/79/91879/1 diff --git a/files/gerrit/skin/GerritSite.css b/files/gerrit/skin/GerritSite.css index 13bfda8..09295e0 100644 --- a/files/gerrit/skin/GerritSite.css +++ b/files/gerrit/skin/GerritSite.css @@ -126,6 +126,14 @@ } /** + * https://bugzilla.wikimedia.org/show_bug.cgi?id=40941 + * Gerrit diff font isn't big enough, either + */ +.patchContentTable td { + font-size: 9pt !important; +} + +/** * LDAP login */ #gerrit_body h1 { -- To view, visit https://gerrit.wikimedia.org/r/91879 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I771580d2a9252369b7b38e2a005ccf9248c1f814 Gerrit-PatchSet: 1 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Odder <tom...@twkozlowski.net> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
