From b0cb85ae9821e61b9ea7cf61ee272aff2434bd7b Mon Sep 17 00:00:00 2001 From: lincc <46962923+blueskyson@users.noreply.github.com> Date: Thu, 26 Aug 2021 13:17:50 +0800 Subject: [PATCH] render.py: fix PDF kerning rendering bug (#6366) --- scripts/pdf/render.py | 110 +++++++++++------------------------------- 1 file changed, 29 insertions(+), 81 deletions(-) diff --git a/scripts/pdf/render.py b/scripts/pdf/render.py index 102dacaeb..5985fd393 100644 --- a/scripts/pdf/render.py +++ b/scripts/pdf/render.py @@ -15,106 +15,54 @@ import markdown import argparse from datetime import datetime -from weasyprint import HTML - +from weasyprint import HTML, CSS def main(loc, colorscheme): - oslist = [] - allmd = [] - group = [] - ap = [] - # Checking correctness of path if not os.path.isdir(loc): print("Invalid directory. Please try again!", file=sys.stderr) sys.exit(1) - # Writing names of all directories inside 'pages' to a list - for os_dir in os.listdir(loc): - oslist.append(os_dir) - - oslist.sort() - - # Required strings to create intermediate HTML files - header = '
' + # Set up css style sheets + csslist = ["basic.css"] if colorscheme != "basic": - header += '\n' + csslist.append(colorscheme + ".css") - header += "\n" - footer = "" - title_content = "