gitconfig: Reduce the font size in git-gui.

At 11pt the results came out horrible on one machine.  Maybe this will
help.

diff --git a/gitconfig b/gitconfig
index 5d38112..4f63592 100644 (file)
--- a/gitconfig
+++ b/gitconfig
@@ -56,4 +56,4 @@
        mdw = mdw@distorted.org.uk
 [gui]
        fontui = -family helvetica -size 11 -weight normal -slant roman -underline 0 -overstrike 0
-       fontdiff = -family fixed -size 11 -weight normal -slant roman -underline 0 -overstrike 0
+       fontdiff = -family fixed -size 10 -weight normal -slant roman -underline 0 -overstrike 0