Commit 434bc695739e9c679bfc09c0f9637930146ee35c

Werner Lemberg 2014-11-29T23:12:55

* src/tools/docmaker/tohtml.py: Improve CSS for vertical spacing.