#1542 Setting theme options as the regular options

This commit is contained in:
Knut Sveidqvist
2020-07-16 23:39:38 +02:00
parent 8c0e022b44
commit fd4240b774
17 changed files with 477 additions and 1450 deletions

1068
dist/mermaid.js vendored

File diff suppressed because one or more lines are too long