change theme to sphinxdoc