Arch: Let xfce choose a default theme.