veGhostLettersFinish();
    }

    function scrollToTop() {
        removeGhostLettersInit();
        scrollPosition = 0;
        bodyDiv.scroll(0, scrollPosition);
        removeGhostLettersFinish();
    }

    function scrollToBottom() {
        removeGhostLettersInit();
        scrollPosition = bodyDiv.scrollHeight - bodyDiv.offsetHeight;
        bodyDiv.scroll(0, scrollPosition);
        removeGhostLettersFinish();
    }

    function setZoomConfig(zoom) {
        fetch("/config/zoom", {
          metho