update version mermaid

jessica-mitchell · jessica-mitchell · commit 9b95e670c587 · 2024-10-14T11:57:44.000+02:00
diff --git a/doc/htmldoc/conf.py b/doc/htmldoc/conf.py
@@ -93,7 +93,7 @@
 copybutton_only_copy_prompt_lines = True
 
 mermaid_output_format = "raw"
-mermaid_version = "10.2.0"
+mermaid_version = "10.3.0"
 
 # disable require js - mermaid doesn't work if require.js is loaded before it
 nbsphinx_requirejs_path = ""
