diff --git a/scripts/hotdoc-html-2-pdf b/scripts/hotdoc-html-2-pdf
index 98196e8581877dcf517c37156c725ef4457926f1..14edd1fb8612572d4338d71ee5b727e2996ed3c5 100755
--- a/scripts/hotdoc-html-2-pdf
+++ b/scripts/hotdoc-html-2-pdf
@@ -71,6 +71,20 @@ def update_local_links(elem, prefix):
link.attrib['href'] = '%s/%s' % (prefix, href)
+def format_lntables(elem):
+ tables = elem.xpath('.//table')
+ for table in tables:
+ cls = table.attrib.get('class')
+ if cls != 'lntable':
+ continue
+
+ col = etree.Element("col")
+ col.attrib['width'] = "97%"
+ table.insert(0, col)
+ col = etree.Element("col")
+ col.attrib['width'] = "3%"
+ table.insert(0, col)
+
def convert_images(elem, imgdir):
imgs = elem.xpath('.//img')
for img in imgs:
@@ -116,6 +130,7 @@ def transform(args):
inpath = os.path.dirname(args.input)
tmpdir_path = tempfile.mkdtemp(prefix=os.path.join(inpath, ''))
convert_images(body, tmpdir_path)
+ format_lntables(body)
output.append('<!DOCTYPE html>')
output.append('<html lang="en">')