tElementById("topmenu");
    const navbar = document.getElementById("theSideNav");

    if (topMenu) {
        const topMenuHeight = topMenu.offsetHeight;
        document.documentElement.style.setProperty('--top-menu-height', `${topMenuHeight}px`);
    }
}

adjustSidenavOffset();
window.addEventListener("resize", adjustSidenavOffset);

/* This is the scrolling offset when we click on an output in the side navigation bar
   It should take into account the top menu height */
function adjustOutputOffset() {
 