gvimrc: reduced font size on linux to 10