chiark / gitweb /
Replace checkmark icon in overlay