Update the theme name in the documentation