The default theme can be deleted