htmldocs

Properly sized logos for htmldocs are not ready yet.