use default readthedocs theme