From 1f258e06eaec8b00285fca22949d9a928e6e9c1e Mon Sep 17 00:00:00 2001
From: rubenwardy <rw@rubenwardy.com>
Date: Sun, 25 Feb 2018 01:25:10 +0000
Subject: [PATCH] Fix bugs in pdf exporter

---
 _sass/_main.scss        | 4 ++++
 utils/convert_to_pdf.js | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/_sass/_main.scss b/_sass/_main.scss
index bd91375..517f180 100644
--- 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
index c4c5ada..6ff3b48 100644
--- 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",