Function paddingTop

external/.scrollLibs.js:3550–3552

(display)

  // POSITION MEASUREMENT

  function paddingTop(display) {
    return display.lineSpace.offsetTop
  }
  function paddingVert(display) {
    return display.mover.offsetHeight - display.lineSpace.offsetHeight
  }