code: function setScrollTopForDocument(doc, value) {
    doc.documentElement.scrollTop = doc.body.scrollTop = value;
  }
docs: Alias for document.scrollTop setter.
  @param {!HTMLDocument} doc The document node where information will be
  queried from.
  @param {number} value The target Y scroll offset.