Function scrollSectionNav

theme.js:6814–6818

(direction)

    applyCss5(px);
  }
  function ensureProgressBarHeightApplied() {
    applyCss5(readNum(PROGRESS_BAR_HEIGHT_KEY, PROGRESS_BAR_HEIGHT_DEFAULT));
  }
  function setProgressBarCompat(enabled, reapplyRadius) {
    localStorage.setItem(PROGRESS_BAR_COMPAT_KEY, enabled ? "on" : "off");
    ensureProgressBarHeightApplied();
    reapplyRadius();
  }