From 5194802d64b04986f3e3d22a95b0c43a7770ed95 Mon Sep 17 00:00:00 2001
From: Till Prochaska <till.prochaska@occrp.org>
Date: Fri, 2 Jun 2023 17:11:30 +0200
Subject: [PATCH] Implement workaround for Astro bug

This is a workaround due to an Astro bug. The bug has been fixed, but we're still on an older Astro version, and using a different file extension works fine for now.
---
 docs/src/components/common/Mermaid.astro                        | 2 +-
 .../common/{mermaid-theme.css => mermaid-theme.css.txt}         | 0
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename docs/src/components/common/{mermaid-theme.css => mermaid-theme.css.txt} (100%)

diff --git a/docs/src/components/common/Mermaid.astro b/docs/src/components/common/Mermaid.astro
index a1b133472..0416b6120 100644
--- a/docs/src/components/common/Mermaid.astro
+++ b/docs/src/components/common/Mermaid.astro
@@ -4,7 +4,7 @@ import Spinner from '@components/common/Spinner.astro';
 
 <script>
   import mermaid from 'mermaid';
-  import themeCSS from './mermaid-theme.css?inline';
+  import themeCSS from './mermaid-theme.css.txt?raw';
 
   mermaid.initialize({
     themeCSS,
diff --git a/docs/src/components/common/mermaid-theme.css b/docs/src/components/common/mermaid-theme.css.txt
similarity index 100%
rename from docs/src/components/common/mermaid-theme.css
rename to docs/src/components/common/mermaid-theme.css.txt