Unfortunately, the data in question is not, so far, rendering correctly with HTMLDOC -- see the screenshots in my original post. Would a2ps give the control over both line height and pagination that we need? And would it allow us to present the content to the user without generating the file on disk? (This is not a requirement, but is strongly preferred.)