Make docs theme match the website
Fix some formatting