minor docs fixes.
update sphinx theme.