jenkins-bot has submitted this change and it was merged.
Change subject: Partially revert increased wikitable padding
......................................................................
Partially revert increased wikitable padding
Follow up to 33cfd0bc. This change sparked discussion on enwiki
and Diffusion. In the original patch, consensus settled on 0.2em 0.4em,
but 0.3em 0.4em was applied instead. This patch implements the original,
as discussed in T91890.
Bug: T91890
Change-Id: I271424cb2c3e595223b33b112b48b2f7b46286c5
(cherry picked from commit 3abea9e6a235c8969fe434265dcc4f9237d1ed43)
---
M resources/src/mediawiki.legacy/shared.css
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Bartosz Dziewoński: Looks good to me, approved
jenkins-bot: Verified
diff --git a/resources/src/mediawiki.legacy/shared.css
b/resources/src/mediawiki.legacy/shared.css
index eb4741f..e526d47 100644
--- a/resources/src/mediawiki.legacy/shared.css
+++ b/resources/src/mediawiki.legacy/shared.css
@@ -528,7 +528,7 @@
table.wikitable > * > tr > th,
table.wikitable > * > tr > td {
border: 1px solid #aaa;
- padding: 0.3em 0.4em;
+ padding: 0.2em 0.4em;
}
table.wikitable > tr > th,
--
To view, visit https://gerrit.wikimedia.org/r/202907
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I271424cb2c3e595223b33b112b48b2f7b46286c5
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: REL1_25
Gerrit-Owner: Bartosz Dziewoński <[email protected]>
Gerrit-Reviewer: Bartosz Dziewoński <[email protected]>
Gerrit-Reviewer: Edokter <[email protected]>
Gerrit-Reviewer: Jack Phoenix <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
