variablize gui colors in simple theme