Minor documentation improvements.
Change default theme