Fabian Boehm 9bcb4dcf70 docs: Remove some needless margins for nested lists
This double-indented a nested list *and* added some gaps at the
bottom.

Other lists are unaffected
2023-06-28 16:32:55 +02:00
..
2023-04-29 19:58:41 +02:00
2023-05-18 17:52:51 +02:00
2022-09-17 21:31:06 +08:00
2023-05-25 17:46:25 +02:00
2023-06-01 18:20:19 +02:00
2023-06-16 16:22:58 +02:00
2023-04-28 17:11:23 +02:00