Add link to source and add some minor style changes to manual web pages.