Deploying to gh-pages from @ ac5e73d 🚀

sdcTools · Oct 7, 2024 · c906a88 · c906a88
1 parent 8686c02
commit c906a88
Show file tree

Hide file tree

Showing 104 changed files with 1,465 additions and 1,652 deletions.
diff --git a/404.html b/404.html
diff --git a/articles/index.html b/articles/index.html
diff --git a/articles/recordSwapping.html b/articles/recordSwapping.html
diff --git a/articles/recordSwapping_files/header-attrs-2.28/header-attrs.js b/articles/recordSwapping_files/header-attrs-2.28/header-attrs.js
@@ -0,0 +1,12 @@
+// Pandoc 2.9 adds attributes on both header and div. We remove the former (to
+// be compatible with the behavior of Pandoc < 2.8).
+document.addEventListener('DOMContentLoaded', function(e) {
+  var hs = document.querySelectorAll("div.section[class*='level'] > :first-child");
+  var i, h, a;
+  for (i = 0; i < hs.length; i++) {
+    h = hs[i];
+    if (!/^h[1-6]$/i.test(h.tagName)) continue;  // it should be a header h1-h6
+    a = h.attributes;
+    while (a.length > 0) h.removeAttribute(a[0].name);
+  }
+});
diff --git a/articles/sdcMicro.html b/articles/sdcMicro.html
diff --git a/authors.html b/authors.html