change theme name so rtd does not use its own