[pull] develop from mermaid-js:develop#183

pull[bot] merged 13 commits into

code:developcode/app-mermaid:developfrom

mermaid-js:developmermaid-js/mermaid:developCopy head branch name to clipboard