Linux gvim font size 11 -> 10