docs: hide the "back to top" link when there's no vertical scroll

also use local variables for DOM objects (in a slow effort to eventually
remove all non-essential global vars)