Use sphinx theme for prettier docs