Print: pre has a border but no padding on it's content
Closed, ResolvedPublic
Actions

Assigned To

Authored By

	TheDJ
	Jun 6 2019, 10:08 AM

Tags

Referenced Files

	F29392410: Screenshot 2019-06-08 at 22.07.43.png
	Jun 8 2019, 8:08 PM

	F29392406: Screenshot 2019-06-08 at 22.06.39.png
	Jun 8 2019, 8:08 PM

	F29360428: Screenshot 2019-06-06 at 12.08.34.png
	Jun 6 2019, 10:08 AM

	F29360416: Screenshot 2019-06-06 at 12.07.31.png
	Jun 6 2019, 10:08 AM

Subscribers

Description

	Subject	Repo	Branch	Lines +/-
	Print: Add padding on pre elements	mediawiki/core	master	+1 -1

Change 515797 had a related patch set uploaded (by TheDJ; owner: TheDJ):
[mediawiki/core@master] Print: Add padding on pre elements

Example pre and post:

Change 515797 merged by jenkins-bot:
[mediawiki/core@master] Print: Add padding on pre elements

Volker_E closed this task as Resolved.Jun 10 2019, 7:14 PM

Volker_E assigned this task to TheDJ.