[DOC] Improvements to dox HTML and CSS.
Merge pull request #472 from holtgrewe/feature/dox_finalization

Dox improvements.