adjust mintty font height