aboutsummaryrefslogtreecommitdiff
path: root/doc/manual/custom.css
AgeCommit message (Collapse)Author
2020-08-19Improve margins between sectionsEelco Dolstra
The default CSS puts almost no space between sections, but a lot of space between subsections. This flips that around.