#2177 Jets upgrade

This commit is contained in:
Knut Sveidqvist
2021-07-15 10:14:35 +02:00
parent 30de90e4f0
commit 1034e1a301
18 changed files with 1148 additions and 1024 deletions

View File

@@ -30,6 +30,7 @@ if (location.href.match('test-html-escaping')) {
code = code3;
}
mermaid.initialize({
theme: 'default',
// fontFamily: '"Lucida Console", Monaco, monospace',