Change theme to ext-theme-crisp