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 /fable-doc.css | |
parent | ea39dd674695ef5e4a574b2914ea67ad0e3ebbe6 (diff) | |
download | fable-poc-854d2349a9800cd93bac3897fa705e53ac8b50ed.tar.gz |
Change: style of HTML out put for generated docs
Diffstat (limited to 'fable-doc.css')
-rw-r--r-- | fable-doc.css | 19 |
1 files changed, 19 insertions, 0 deletions
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> |