mintty color tweak