sawfish/window manager theme
