switch to the RTD sphinx theme