Font size tweaks for GVim in Linux