">going back</a> or try one of the links above.</p>

                    </div>
                </div><script>

var elements = document.getElementsByTagName("pre");
function isHorizontallyScrollable(element) {
    return element.scrollWidth > element.clientWidth;
};
var sidebar = document.querySelector(".sidebar");
function hideSidebarWhenHovered(element) {
    element.addEventListener('mouseenter', e => {
        sidebar.classList.add("hide-for-horizontal-scroll");
    });
    element.addEventListener('mou