chiark / gitweb /
Revamp pencil mark placement and sizing. Pencil marks are now sized