Themes for the Fvwm2 window manager