3 ms·

I have never implemented this but I think they just add a 1 pixel div element at the top of the window and detect a mouseover event.