From efdff93873b780ef207df477ce47537f4d1ab16b Mon Sep 17 00:00:00 2001
From: Eric Bouchut <ebouchut@gmail.com>
Date: Mon, 20 Feb 2023 21:42:33 +0100
Subject: [PATCH] =?UTF-8?q?=F0=9F=92=84=20Configure=20Mermaid=20diagrams?=
 =?UTF-8?q?=20stroke=20color=20to=20be=20in=20sync=20with=20our=20color=20?=
 =?UTF-8?q?scheme?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Fix #588

See https://github.com/squidfunk/mkdocs-material/issues/5034\#issuecomment-1435533798
---
 docs/stylesheets/extra.css | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/docs/stylesheets/extra.css b/docs/stylesheets/extra.css
index 4cc19faf63c..eb70324cb84 100644
--- a/docs/stylesheets/extra.css
+++ b/docs/stylesheets/extra.css
@@ -11,4 +11,8 @@ article ul ul {
 
 article ul ul ul {
         list-style-type:  square !important;
-}
\ No newline at end of file
+}
+
+.mermaid { 
+   --md-mermaid-node-fg-color:  #18A0A0;
+}