Eelco Dolstra 8a97b11374 Improve margins between sections ... The default CSS puts almost no space between sections, but a lot of space between subsections. This flips that around.		2020-08-19 12:31:18 +02:00
..
manual	Improve margins between sections	2020-08-19 12:31:18 +02:00