chiark / gitweb /
cgi css: tighten up spacing in status boxes etc