use default theme when on readthedocs.org