gitk: Use the UI font for the diff/old version/new version radio buttons