changed theme from default to sphinxdoc