chiark / gitweb /
gitk: remove crappy fonts