Themes for the window manager WindowMaker.