Reduce mintty font size from 11 to 10.