Comment out html_theme in doc