chiark / gitweb /
journal: make buttons bigger in browse.html