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.
alephdata · Jun 2, 2023 · 5194802 · 5194802
1 parent 1a102db
commit 5194802
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git 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 → ...c/components/common/mermaid-theme.css.txt b/docs/src/components/common/mermaid-theme.css → ...c/components/common/mermaid-theme.css.txt