Replace double newlines with "<br /><br />" in <pre> tags.
authorMichael Orlitzky <michael@orlitzky.com>
Sat, 14 Jul 2012 03:38:31 +0000 (23:38 -0400)
committerMichael Orlitzky <michael@orlitzky.com>
Sat, 14 Jul 2012 03:38:31 +0000 (23:38 -0400)
commitb054d19e638a4983f88243e09f1aa474ae405998
tree9d6bb224ca555fbb38866cd2035bf53c304d9c92
parent8088bcb0959055f95b8363f83fba808c8dd0094e
Replace double newlines with "<br /><br />" in <pre> tags.
Supply a stylesheet (based on the default) to writeEPUB.
Set white-space: pre-line for <pre> elements.
src/LWN/Page.hs
src/LWN/XHTML.hs