mermaid-1537387603584 {
color: rgb(0, 0, 0); font: normal normal 400 normal 16px / normal "Times New Roman";
}