chiark / gitweb /
10x20: Revert full stop (and colon) dot size