git-gui: Use option database defaults to set the font