and how long it stays in place after you scroll. This is something you'll probably keep disabled most of the time, but it's helpful if you're on a page without much formatting that doesn't give ...