.html
main.querySelectorAll("a[href$='.md']").forEach(a => a.href = a.getAttribute("href").replace(/\.md$/, ".html"));
// blocs ```mermaid -> diagrammes
main.querySelectorAll("pre > code.language-mermaid").forEach(c => {
const pre = document.createElement("pre");
pre.className = "mermaid";
pre.textContent = c.textContent;
c.parentElement.replaceWith(pre);
});
const sombre = matchMedia("(prefers-color-scheme: dark)").matches;
mermaid.initialize({ startOnLoad: false, theme: sombre ? "dark" : "default", securityLevel: "strict" });
mermaid.run();