Readthedocs html theme fix