Some experiments with a new GUI colorization (stolen from Firefox)