3 files changed, 55 insertions, 0 deletions
diff --git a/docs/gen/end.html b/docs/gen/end.html
new file mode 100644
index 0000000..308b1d0
--- /dev/null
+++ b/docs/gen/end.html
@@ -0,0 +1,2 @@
+</body>
+</html>
diff --git a/docs/gen/start.m4 b/docs/gen/start.m4
new file mode 100644
index 0000000..f714588
--- /dev/null
+++ b/docs/gen/start.m4
@@ -0,0 +1,8 @@
+<!DOCTYPE html>
+<html>
+<link>
+	<meta charset='utf-8'>
+	<style>include(`style.css')</style>
+	<script defer src="./gen/paged.polyfill.js"></script>
+</head>
+<body>
diff --git a/docs/gen/style.css b/docs/gen/style.css
new file mode 100644
index 0000000..74795e4
--- /dev/null
+++ b/docs/gen/style.css
@@ -0,0 +1,45 @@
+@media print {
+	@page {
+		size: A4;
+		margin: 1in;
+
+		@bottom-center {
+			content: counter(page);
+		}
+	}
+	html, body {
+		width: 100%;
+		margin: 0;
+		padding: 0;
+		overflow: visible;
+
+		font-family: "TeX Gyre Schola";
+		font-size: 11pt;
+	}
+
+	pre, code {
+		font-family: "JetBrainsMono Nerd Font";
+		font-size: 9pt;
+	}
+
+	figure {
+		text-align: center;
+	}
+
+	figcaption {
+		text-align: justify;
+		text-justify: auto;
+	}
+
+	table {
+		border-collapse: collapse;
+	}
+
+	th, td {
+		padding: 2pt 6pt;
+	}
+
+	th {
+		border-bottom: 1pt solid black;
+	}
+}