.vimrc: Tweak gvim font size