dépôts / lhc / web / wiklou.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7316194) | patch
Print: Add padding on pre elements
authorDerk-Jan Hartman <hartman.wiki@gmail.com>
Sat, 8 Jun 2019 20:04:10 +0000 (22:04 +0200)
committerDerk-Jan Hartman <hartman.wiki@gmail.com>
Sat, 8 Jun 2019 20:04:10 +0000 (22:04 +0200)
commitf0db50867f14c569137da124cb9a7252f940ce69
tree8b979d94ee692ededd9df09347d6d1af8fb6ebb4tree | snapshot
parent73161944dafaea9d0431cc969591f5f91c43e288commit | diff
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 diff | blob | history
Wiklou, le Wiki du Wiklou