actualisation septembre 2025

2025-09-05 16:44:06 +02:00 · 2025-09-05 16:44:06 +02:00 · db5e626f14
commit db5e626f14
parent 4d6c70abe7
2 changed files with 0 additions and 12 deletions
--- a/_includes/metadata-hook.html~
+++ b/_includes/metadata-hook.html~
@ -1,3 +0,0 @@
-<!-- A placeholder to allow defining custom metadata
-<script type="text/javascript" src="/assets/js/toc.js" defer></script>
- -->
--- a/assets/js/toc.js~
+++ b/assets/js/toc.js~
@ -1,9 +0,0 @@
-document.querySelector("main h2, main h3")&&tocbot.refresh({
-    tocSelector:"#toc",
-    contentSelector:".content",
-    ignoreSelector:"[data-toc-skip]",
-    headingSelector:"h2, h3, h4, h5, h6",
-    orderedList:!1,
-    scrollSmooth:!1,
-    collapseDepth: 6
-});