Documentation uses now sphinx theme.