Ori.livneh has submitted this change and it was merged. Change subject: Increase font size in Gerrit diff messages ......................................................................
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(-) Approvals: Ori.livneh: Looks good to me, approved Chad: Looks good to me, but someone else must approve jenkins-bot: Verified 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: merged Gerrit-Change-Id: I771580d2a9252369b7b38e2a005ccf9248c1f814 Gerrit-PatchSet: 2 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Odder <[email protected]> Gerrit-Reviewer: Chad <[email protected]> Gerrit-Reviewer: Hashar <[email protected]> Gerrit-Reviewer: Odder <[email protected]> Gerrit-Reviewer: Ori.livneh <[email protected]> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
