Improve look-and-feel of the git-gui tool.