changed gitk font size