use default theme if on readthedocs