This just a minor thing, but I checked that you could actually move this entire block to the bottom and then just check `if (bottom <= $('#jslint-results').height() && bottom >= 5)` and have the scroll into view inside this block. This makes the code look nicer, and even portable if needed.