Tidy up docs html and add some simple css to make things look a bit prettier

Purely cosmetic changes to markup and style, no modifications to the content of the docs.