chiark / gitweb /
Update manual style.