jenkins-bot has submitted this change and it was merged.
Change subject: Add padding to printfooter
......................................................................
Add padding to printfooter
Without padding it sticks too close to the categories
and to the article text.
Change-Id: I04cbd1daed470f33b8212f10622736fd17525ddd
---
M resources/src/mediawiki.legacy/commonPrint.css
1 file changed, 4 insertions(+), 0 deletions(-)
Approvals:
Bartosz Dziewoński: Looks good to me, approved
jenkins-bot: Verified
diff --git a/resources/src/mediawiki.legacy/commonPrint.css
b/resources/src/mediawiki.legacy/commonPrint.css
index 2c477b2..830b02f 100644
--- a/resources/src/mediawiki.legacy/commonPrint.css
+++ b/resources/src/mediawiki.legacy/commonPrint.css
@@ -429,3 +429,7 @@
padding-left: .2em;
border-left: none;
}
+
+.printfooter {
+ padding: 1em 0 1em 0;
+}
--
To view, visit https://gerrit.wikimedia.org/r/159377
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I04cbd1daed470f33b8212f10622736fd17525ddd
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Amire80 <[email protected]>
Gerrit-Reviewer: Bartosz Dziewoński <[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
