Commit 7ea363402c587f8368a7fff88c58afc3898e8b24

Werner Lemberg 2014-11-27T19:38:31

* src/tools/docmaker/tohtml.py: Usee more CSS for index.