trying to use readthedocs default theme