Renamed theme so RTD recognizes it