change mintty setting and css