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 5d381123d6a06aca2805279254f5c8086d4dcdf0..4f6359249bdeb579e8f70c1f74342bea7ba51a06 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