Render html

paulrougieux · Oct 3, 2024 · afa6183 · afa6183
1 parent 9773fae
commit afa6183
Show file tree

Hide file tree

Showing 14 changed files with 10,795 additions and 0 deletions.
diff --git a/site_libs/font-awesome-6.4.2/css/all.css b/site_libs/font-awesome-6.4.2/css/all.css
diff --git a/site_libs/font-awesome-6.4.2/css/all.min.css b/site_libs/font-awesome-6.4.2/css/all.min.css
diff --git a/site_libs/font-awesome-6.4.2/css/v4-shims.css b/site_libs/font-awesome-6.4.2/css/v4-shims.css
diff --git a/site_libs/font-awesome-6.4.2/css/v4-shims.min.css b/site_libs/font-awesome-6.4.2/css/v4-shims.min.css
diff --git a/site_libs/font-awesome-6.4.2/webfonts/fa-brands-400.ttf b/site_libs/font-awesome-6.4.2/webfonts/fa-brands-400.ttf
diff --git a/site_libs/font-awesome-6.4.2/webfonts/fa-brands-400.woff2 b/site_libs/font-awesome-6.4.2/webfonts/fa-brands-400.woff2
diff --git a/site_libs/font-awesome-6.4.2/webfonts/fa-regular-400.ttf b/site_libs/font-awesome-6.4.2/webfonts/fa-regular-400.ttf
diff --git a/site_libs/font-awesome-6.4.2/webfonts/fa-regular-400.woff2 b/site_libs/font-awesome-6.4.2/webfonts/fa-regular-400.woff2
diff --git a/site_libs/font-awesome-6.4.2/webfonts/fa-solid-900.ttf b/site_libs/font-awesome-6.4.2/webfonts/fa-solid-900.ttf
diff --git a/site_libs/font-awesome-6.4.2/webfonts/fa-solid-900.woff2 b/site_libs/font-awesome-6.4.2/webfonts/fa-solid-900.woff2
diff --git a/site_libs/font-awesome-6.4.2/webfonts/fa-v4compatibility.ttf b/site_libs/font-awesome-6.4.2/webfonts/fa-v4compatibility.ttf
diff --git a/site_libs/font-awesome-6.4.2/webfonts/fa-v4compatibility.woff2 b/site_libs/font-awesome-6.4.2/webfonts/fa-v4compatibility.woff2
diff --git a/site_libs/header-attrs-2.28/header-attrs.js b/site_libs/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);
+  }
+});