Changement du thème par défaut sur RTD