Switching to default RTD theme