gitconfig: Reduce the font size in git-gui.