DOC: some fixes.
DOCS More tweaking the feel of the html docs.