Revert theme or else rtd loses its cool theme.