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}