as days pass by

A chap mailed me to say: is it possible to have your searchhi JavaScript library, which automatically highlights things that the user searched for if they came to your page from Google or similar, not highlight some bits of the page like the navigation section? Good idea, I thought. So the library has now been updated to allow you to do precisely that: stop highlighting bits if they’ve got a class of nosearchhi. Thanks to Helmut Lorenz for the idea!