"themed" window manager
