chiark / gitweb /
remove css cruft for long-gone separate search page