Fix bugs in pdf exporter

rubenwardy · Feb 25, 2018 · 1f258e0 · 1f258e0
1 parent d32e151
commit 1f258e0
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/_sass/_main.scss b/_sass/_main.scss
@@ -159,6 +159,10 @@ footer a:hover {
 		font-size: 11pt;
 	}
 
+	footer {
+		display: none;
+	}
+
 	#container {
 		max-width: none;
 		margin: 0;

diff --git a/utils/convert_to_pdf.js b/utils/convert_to_pdf.js
@@ -33,7 +33,7 @@ var links = {{ site.data.links_en | jsonify }};
 			// page.pdf() is currently supported only in headless mode.
 			// @see https://bugs.chromium.org/p/chromium/issues/detail?id=753118
 			const margin = "0.2in"
-			const file_seg = link.num ? link.num.pad() : ("0_" + link.title.replace(".", "_"))
+			const file_seg = link.num ? link.num.pad() : ("00_" + link.title.replace(".", "_"))
 			await page.pdf({
 				path: "tmp/page_" + file_seg + ".pdf",
 				format: "A5",