Minor design improvements to documentation

The current documentation has some design caveats:

• no favicon
• no logo in sidebar
• too narrow for large content like tables
• cards in main page lack padding

They are easy to fix. The current MR addressing these is !30 (closed).