chiark / gitweb /
script: Fiddle with CSS to try to get cursor to update