[DOC] Improvements to dox HTML and CSS.