use readthedocs default theme