Expand documentation.
Change documentation theme to krTheme.