@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&family=Roboto+Slab:wght@100..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}