Update default.html

Signed-off-by: David Rotermund <54365609+davrot@users.noreply.github.com>
This commit is contained in:
David Rotermund 2023-12-04 18:13:20 +01:00 committed by GitHub
parent 7e18a17fb6
commit 59ab5d323e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -299,7 +299,7 @@
tocElement.style.top = headerHeight - scrollTop + 'px'; // Adjust based on scroll position
}
if (window.innerWidth > scrollLeft){
if (window.innerWidth > 1600){
tocElement.style.display = 'block'; // Show the navigation bar
} else {
tocElement.style.display = 'none'; // Hide the navigation bar