In the meantime, since you can achieve the look you want with HTML, you might investigate whether a 3rd party HTML to PDF converter would work to convert your HTML output -- which can use HTMLSTYLE -- to PDF and whether the borders would convert correctly to PDF.