Greasy Fork

Awesome script, thanks for it!! One small thing though, it would be nice if the distance to show the header when mousing near it, was maybe a little bit smaller and also potentially it could be debounced maybe, so it won't fire repeatedly within a short time period if doing other mouse movements near the top of the page.

Thanks for the review. You can now adjust the threshold that triggers the header yourself. As for debounce, I don't plan to implement it, as it could make the header feel like "lagging".