[05:55] <kingkarlos> Evening people. Anybody had experience in using changing a GTK2 theme to use symbolic colors? eg '@bg_color' and 'shade(0.9, @fg_color)'