Code

gitk: Use the UI font for the diff/old version/new version radio buttons
-rwxr-xr-x 236260 gitk