chiark / gitweb /
Fixed the default head height.