Implement cursor hiding on scroll

This begins to address #662, by hiding the cursor when the page is
scrolled to prevent a distracting cursor and accidentally triggering
hover effects.
Not used?