From 1551c158fa1df59d2ee3a51cfdf21818cddd81a4 Mon Sep 17 00:00:00 2001
From: Samuel Pastva <sam.pastva@gmail.com>
Date: Wed, 4 May 2022 15:04:21 +0200
Subject: [PATCH] Fix mermaid integration in docs.

---
 docs-head.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs-head.html b/docs-head.html
index 8130270..a4f8e59 100644
--- a/docs-head.html
+++ b/docs-head.html
@@ -5,7 +5,7 @@
         // Once document is loaded, we init mermaid with a specific set of html elements (since
         // we don't use standard class).
         // We also add a special class to chart parents so we can style them.
-        var charts = document.getElementsByClassName("language-mermaid");
+        var charts = document.querySelectorAll(".language-mermaid > code");
         for (var i = 0; i < charts.length; i++) {
             charts[i].parentElement.classList.add("mermaid-parent");
         }