Change theme based on whether or not we're on RTD.