Updated documentation theme, etc.