a "themed" window manager
