diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2020-08-19 12:31:18 +0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2020-08-19 12:31:18 +0200 |
| commit | 8a97b11374c5165d3602648c5c0327f103072105 (patch) | |
| tree | 18f702d63d18c3e85ed76a72d5bb87bdbb1cf9a0 /doc/manual/book.toml | |
| parent | 069340179e91202b2d3adc5ea1e3023ba2a51691 (diff) | |
Improve margins between sections
The default CSS puts almost no space between sections, but a lot of
space between subsections. This flips that around.
Diffstat (limited to 'doc/manual/book.toml')
| -rw-r--r-- | doc/manual/book.toml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/manual/book.toml b/doc/manual/book.toml new file mode 100644 index 000000000..fee41dfb3 --- /dev/null +++ b/doc/manual/book.toml @@ -0,0 +1,2 @@ +[output.html] +additional-css = ["custom.css"] |