@import "https://fonts.googleapis.com/css2?family=Roboto+Flex:opsz,wght,XOPQ,XTRA,YOPQ,YTDE,YTFI,YTLC,YTUC@8..144,100..1000,96,468,79,-203,738,514,712&family=Roboto+Mono:ital,wght@0,100..700;1,100..700&display=swap";@import "https://fonts.googleapis.com/css2?family=Figtree:ital,wght@0,300..900;1,300..900&display=swap";pre.mermaid{font-size:.8em}span.key-colour-code-box{border:.5px solid #555;padding:3px;font-size:.8em}span.key-label{font-size:.8em;font-weight:700}