From d0f38a03d507cb87500797aee7fadae1d4188c26 Mon Sep 17 00:00:00 2001
From: "Matthijs S. Berends" <berendsms@gmail.com>
Date: Mon, 24 May 2021 15:29:31 +0200
Subject: [PATCH] v1.7.0

---
 .../AMR_files/header-attrs-2.8/header-attrs.js       | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 docs/articles/AMR_files/header-attrs-2.8/header-attrs.js

diff --git a/docs/articles/AMR_files/header-attrs-2.8/header-attrs.js b/docs/articles/AMR_files/header-attrs-2.8/header-attrs.js
new file mode 100644
index 00000000..dd57d92e
--- /dev/null
+++ b/docs/articles/AMR_files/header-attrs-2.8/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);
+  }
+});