This commit is contained in:
djmitche
2025-07-30 01:52:44 +00:00
parent 532c012b01
commit ebe5f166bd
14 changed files with 1699 additions and 93 deletions

2
toc.js
View File

@ -8,7 +8,7 @@ class MDBookSidebarScrollbox extends HTMLElement {
super();
}
connectedCallback() {
this.innerHTML = '<ol class="chapter"><li class="chapter-item expanded "><a href="introduction.html"><strong aria-hidden="true">1.</strong> Introduction</a></li><li class="chapter-item expanded "><a href="usage.html"><strong aria-hidden="true">2.</strong> Usage</a></li><li class="chapter-item expanded "><a href="integration.html"><strong aria-hidden="true">3.</strong> Integration</a></li></ol>';
this.innerHTML = '<ol class="chapter"><li class="chapter-item expanded "><a href="introduction.html"><strong aria-hidden="true">1.</strong> Introduction</a></li><li class="chapter-item expanded "><a href="usage.html"><strong aria-hidden="true">2.</strong> Usage</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="usage/docker-compose.html"><strong aria-hidden="true">2.1.</strong> Docker Compose</a></li><li class="chapter-item expanded "><a href="usage/docker-images.html"><strong aria-hidden="true">2.2.</strong> Docker Images</a></li><li class="chapter-item expanded "><a href="usage/binaries.html"><strong aria-hidden="true">2.3.</strong> Binaries</a></li></ol></li><li class="chapter-item expanded "><a href="integration.html"><strong aria-hidden="true">3.</strong> Integration</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="integration/pre-built.html"><strong aria-hidden="true">3.1.</strong> Pre-built Images</a></li><li class="chapter-item expanded "><a href="integration/crates.html"><strong aria-hidden="true">3.2.</strong> Rust Crates</a></li><li class="chapter-item expanded "><a href="integration/protocol-impl.html"><strong aria-hidden="true">3.3.</strong> Sync Protocol Implementation</a></li></ol></li></ol>';
// Set the current, active page, and reveal it if it's hidden
let current_page = document.location.href.toString().split("#")[0];
if (current_page.endsWith("/")) {