Change html theme to sphinxdoc

Change html theme to sphinxdoc.