vncrc, xinitrc: Don't do so much Gnome fiddling.

[profile] / gitconfig

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