reverting to default readthedocs theme