From 854d2349a9800cd93bac3897fa705e53ac8b50ed Mon Sep 17 00:00:00 2001
From: Lars Wirzenius <liw@liw.fi>
Date: Sun, 16 Jun 2019 10:49:50 +0300
Subject: Change: style of HTML out put for generated docs

---
 Makefile      |  2 +-
 fable-doc.css | 19 +++++++++++++++++++
 2 files changed, 20 insertions(+), 1 deletion(-)
 create mode 100644 fable-doc.css

diff --git a/Makefile b/Makefile
index bb4c885..f5b5430 100644
--- a/Makefile
+++ b/Makefile
@@ -16,4 +16,4 @@ publish:
 	./pandoc.sh $< -o $@
 
 .tmp.html:
-	./pandoc.sh $< -o $@
+	./pandoc.sh $< -o $@ -H fable-doc.css
diff --git a/fable-doc.css b/fable-doc.css
new file mode 100644
index 0000000..a2e3875
--- /dev/null
+++ b/fable-doc.css
@@ -0,0 +1,19 @@
+<style>
+html {
+    font-family: "Bitstream Charter", serif;
+    margin-left: 3em;
+    margin-right: 2em;
+    margin-top: 2em;
+}
+header p {
+    display: inline;
+}
+header p + p::before {
+    content: "|";
+    padding-left: 1em;
+    padding-right: 1em;
+}
+pre {
+    font-family: "Courier 10 Pitch", monospace;
+}
+</style>
-- 
cgit v1.2.1