docs.conf: Set theme to default to get the new readthedocs theme.