## Mermaid widget