change themes to sphinxdoc