Use the mermaid theme

2021-10-31 15:14:11 -07:00 · 2021-10-31 15:14:11 -07:00 · fdfb5d8270
parent 1b7e690ec1
commit fdfb5d8270
1 changed files with 1 additions and 1 deletions
--- a/docs/index.html
+++ b/docs/index.html
@ -45,7 +45,7 @@

    function colorizeEverything() {
      colorize.map((id) => {
-        monaco.editor.colorizeElement(document.getElementById('code' + id))
+        monaco.editor.colorizeElement(document.getElementById('code' + id), { theme: 'mermaid' })
      })
      colorize = colorize.filter(colorizeEl => colorizeEl)
    }