Additional window manager themes for XFce4.