diff options
| author | Lars Wirzenius <liw@liw.fi> | 2019-06-16 10:49:50 +0300 |
|---|---|---|
| committer | Lars Wirzenius <liw@liw.fi> | 2019-06-16 11:02:39 +0300 |
| commit | 854d2349a9800cd93bac3897fa705e53ac8b50ed (patch) | |
| tree | daf06b104c394595826b67b5889b00cdf144190a | |
| parent | ea39dd674695ef5e4a574b2914ea67ad0e3ebbe6 (diff) | |
| download | fable-poc-854d2349a9800cd93bac3897fa705e53ac8b50ed.tar.gz | |
Change: style of HTML out put for generated docs
| -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> |