From e10644c6f508894bd0b5d2e229942f287fc6f95d Mon Sep 17 00:00:00 2001
From: Jerven Bolleman <jerven.bolleman@sib.swiss>
Date: Tue, 25 Jun 2024 16:50:32 +0200
Subject: [PATCH] Github pages:Try enabling mermaid rendering

---
 .github/workflows/publish_github_pages.yaml |  2 +-
 _includes/footer-scripts.html               |  1 +
 _includes/mermaid.html                      | 11 +++++++++++
 3 files changed, 13 insertions(+), 1 deletion(-)
 create mode 100644 _includes/footer-scripts.html
 create mode 100644 _includes/mermaid.html

diff --git a/.github/workflows/publish_github_pages.yaml b/.github/workflows/publish_github_pages.yaml
index 771d651c7..974364cbb 100644
--- a/.github/workflows/publish_github_pages.yaml
+++ b/.github/workflows/publish_github_pages.yaml
@@ -1,5 +1,5 @@
 # Publishes the Markdown pages.
-name: CI
+name: Publish to github-pages
 
 on:
   push:
diff --git a/_includes/footer-scripts.html b/_includes/footer-scripts.html
new file mode 100644
index 000000000..0804e97f9
--- /dev/null
+++ b/_includes/footer-scripts.html
@@ -0,0 +1 @@
+{% include mermaid.html %}
diff --git a/_includes/mermaid.html b/_includes/mermaid.html
new file mode 100644
index 000000000..7d050083a
--- /dev/null
+++ b/_includes/mermaid.html
@@ -0,0 +1,11 @@
+<script src="https://unpkg.com/mermaid@10.9.1/dist/mermaid.min.js"></script>
+<script>
+  $(document).ready(function () {
+    mermaid.initialize({
+      startOnLoad:true,
+      theme: "default",
+    });
+    window.mermaid.init(undefined, document.querySelectorAll('.language-mermaid'));
+  });
+</script>
+