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/quote-literals.xsl | |
| 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/quote-literals.xsl')
0 files changed, 0 insertions, 0 deletions