:root{color-scheme:light;font:16px/1.4 Arial,Helvetica,sans-serif;color:#203446;background:#f4f7fa}*{box-sizing:border-box}body{margin:0}a{color:#126caa}.math-tex{position:relative}.math-inline{display:inline-block;vertical-align:-.12em;line-height:1}.math-display{display:block;text-align:center}.math-tex mjx-container{margin:0!important}.math-tex svg{max-width:100%;height:auto}mjx-assistive-mml{position:absolute!important;width:1px!important;height:1px!important;overflow:hidden!important;clip-path:inset(50%)!important;white-space:nowrap!important}.node-label{font-size:19px;line-height:1.2;text-align:center;color:#203446}.constraint-label{font-size:16px}.time-label{font:12px Arial;fill:#617181}.message-label{color:#c16023;font-size:17px;text-align:center}