Style tools for the blackbox family of window managers