Increasing mintty font size