Update default.html

Signed-off-by: David Rotermund <54365609+davrot@users.noreply.github.com>
This commit is contained in:
David Rotermund 2023-12-05 14:56:32 +01:00 committed by GitHub
parent 4623629913
commit 358978e86c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -167,7 +167,7 @@
width: 200px; /* Adjust as needed */ width: 200px; /* Adjust as needed */
height: 100%; height: 100%;
overflow: auto; overflow: auto;
font-size: .55rem;
} }
.toc-class ul ul { .toc-class ul ul {
@ -175,6 +175,10 @@
padding-bottom: 10px; padding-bottom: 10px;
} }
.toc-class li {
font-size: .55rem;
}
</style> </style>
</head> </head>
@ -302,9 +306,9 @@
tocElement.style.top = headerHeight - scrollTop + 'px'; // Adjust based on scroll position tocElement.style.top = headerHeight - scrollTop + 'px'; // Adjust based on scroll position
} }
if (scrollTop + windowHeight > (docHeight - footerHeight)) { if (scrollTop + 20 + windowHeight > (docHeight - footerHeight)) {
// We are in the region of the footer // We are in the region of the footer
tocElement.style.height = (docHeight - scrollTop - footerHeight) + 'px'; tocElement.style.height = (docHeight - scrollTop - footerHeight - 20) + 'px';
} else { } else {
tocElement.style.height = '100%'; tocElement.style.height = '100%';
} }