From abfe838db2fa3f58cac7230a011d13aade9db36a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=B6ren=20Weber?= <mail@soeren-weber.de>
Date: Tue, 9 Nov 2021 21:05:54 +0100
Subject: [PATCH] mermaid: style #143

---
 static/js/relearn.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/static/js/relearn.js b/static/js/relearn.js
index b229375315..01cdbcb34f 100644
--- a/static/js/relearn.js
+++ b/static/js/relearn.js
@@ -107,7 +107,7 @@ function initMermaid() {
     if (typeof mermaid != 'undefined' && typeof mermaid.mermaidAPI != 'undefined') {
         mermaid.mermaidAPI.initialize( Object.assign( {}, mermaid.mermaidAPI.getSiteConfig(), { startOnLoad: true } ) );
         mermaid.contentLoaded();
-        $(".mermaid svg").svgPanZoom({})
+        $(".mermaid svg").svgPanZoom({});
     }
 }