Use default theme so that we use RTD theme on RTD.