diff options
-rw-r--r-- | Makefile | 2 | ||||
-rw-r--r-- | fable-doc.css | 19 |
2 files changed, 20 insertions, 1 deletions
@@ -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> |