Google search box

I’ve added a Google search box at the bottom of each page, as the site’s search thing doesn’t really work, and Google know a thing or two about searching for stuff. So there you go.