There are huge problems in the world, and tiny ones. I couldn't fix a huge one today, but with a couple dozen lines of Javascript I managed to fix a small one: when you scroll a web page, you end up ...