vimrc: GTK font size 12 -> 11