jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/370105 )

Change subject: Padding tweak for all lists
......................................................................


Padding tweak for all lists

This is particularly important in references where this small
change saves a large number of pages from being printed.

Bug: T172144
Change-Id: I7ceb244dc7be847cbe0fdc58c6a1cac6b0de3e0a
---
M print.less
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Bmansurov: Looks good to me, but someone else must approve
  jenkins-bot: Verified
  Jdlrobson: Looks good to me, approved



diff --git a/print.less b/print.less
index c518577..40bcc0a 100644
--- a/print.less
+++ b/print.less
@@ -118,7 +118,7 @@
                        padding: 0;
 
                        li {
-                               padding: 5px 0;
+                               padding: 2px 0;
                                font-size: 10pt;
                        }
                }

-- 
To view, visit https://gerrit.wikimedia.org/r/370105
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I7ceb244dc7be847cbe0fdc58c6a1cac6b0de3e0a
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/skins/Vector
Gerrit-Branch: master
Gerrit-Owner: Jdlrobson <jrob...@wikimedia.org>
Gerrit-Reviewer: Bmansurov <bmansu...@wikimedia.org>
Gerrit-Reviewer: Jdlrobson <jrob...@wikimedia.org>
Gerrit-Reviewer: Niedzielski <sniedziel...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to