Make sure readthedocs theme is used for docs everywhere, even locally