Fix theme definition for RTD