A theme for the blackbox window manager