Added necessary sphinx theme.

4 jobs for docs in 7 minutes and 20 seconds (queued for 1 second)