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

pull[bot] merged 16 commits into

code:developcode/app-mermaid:developfrom

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