Use default theme for readthedocs