From f0db50867f14c569137da124cb9a7252f940ce69 Mon Sep 17 00:00:00 2001 From: Derk-Jan Hartman Date: Sat, 8 Jun 2019 22:04:10 +0200 Subject: [PATCH] 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 --- resources/src/mediawiki.legacy/commonPrint.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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; -- 2.20.1