change default theme for readthedocs