use rtd-theme if not on rtd