Code

gitk: Use symbolic font names "sans" and "monospace" when available