summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile2
-rw-r--r--fable-doc.css19
2 files changed, 20 insertions, 1 deletions
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>