A port of the ThinIce theme to GTK3