use new sphinx theme.