From: Derk-Jan Hartman <hartman.wiki@gmail.com>
Date: Sat, 8 Jun 2019 20:04:10 +0000 (+0200)
Subject: Print: Add padding on pre elements
X-Git-Tag: 1.34.0-rc.0~1487^2
X-Git-Url: https://git.cyclocoop.org/admin/?a=commitdiff_plain;h=f0db50867f14c569137da124cb9a7252f940ce69;p=lhc%2Fweb%2Fwiklou.git

Print: Add padding on pre elements

This is inline with their non-print styling and avoids the border and
the glyph being so close that it affects readability.

Bug: T225188
Change-Id: I0dcf09742483e28535d1d48641ccfba359e9f377
---

diff --git a/resources/src/mediawiki.legacy/commonPrint.css b/resources/src/mediawiki.legacy/commonPrint.css
index e58e677096..4671a381ea 100644
--- a/resources/src/mediawiki.legacy/commonPrint.css
+++ b/resources/src/mediawiki.legacy/commonPrint.css
@@ -124,7 +124,7 @@ pre,
 	background: #fff;
 	color: #000;
 	border: 1pt dashed #000;
-	padding: 1em 0;
+	padding: 1em;
 	font-size: 8pt;
 	white-space: pre-wrap;
 	word-wrap: break-word;