.smv{color:#1d354a;background:#fff;min-width:0;font-family:var(--sans,system-ui)}
.smv[hidden],.smv [hidden]{display:none!important}
.smv-toolbar{display:flex;align-items:center;justify-content:space-between;flex-wrap:wrap;gap:8px;padding:8px 12px;border-block:1px solid #d3dfe8;background:#f5f8fb}
.smv-intro,.smv-zoom{display:flex;flex-wrap:wrap;align-items:center;gap:6px;min-width:0}
.smv-intro h3,.smv-empty h3{margin:0;font-size:.95rem;color:#21445e}.smv-intro h3{margin-right:4px}
.smv-intro select,.smv-zoom button{max-width:100%;min-height:32px;border:1px solid #c7d6e0;border-radius:5px;color:#234b67;background:white;padding:3px 9px;font:600 .78rem/1.3 var(--sans,system-ui)}
.smv-intro select{min-width:0;max-width:min(100%,27rem);font-family:var(--mono,monospace)}
.smv-zoom button:disabled{opacity:.5}.smv button:focus-visible,.smv select:focus-visible,.smv-viewport:focus-visible{outline:2px solid #137ca1;outline-offset:-2px}
.smv-viewport{position:relative;overflow:auto;overscroll-behavior:contain;display:flex;align-items:safe center;min-width:0;height:clamp(255px,40vh,440px);background-color:#f9fcfe;background-image:radial-gradient(#d3e0e8 .8px,transparent .9px);background-size:16px 16px}
#benchPanel.editor-focus .smv-viewport{height:clamp(320px,57vh,740px)}.smv-diagram{display:block;flex:none;margin-inline:auto;max-width:none;color:#2c586f}
.smv-node,.smv-edge,.smv-edge-label{cursor:pointer}.smv-card{fill:#fff;stroke:#698aa0;stroke-width:1.4}.smv-initial .smv-card{fill:#e4f3f7;stroke:#3b7e93;stroke-width:2}.smv-node:focus{outline:none}.smv-node:is(:focus-visible,:hover) .smv-card{fill:#f0f7ff;stroke:#1b6798;stroke-width:2.6}
.smv-kind,.smv-source-line{font:600 10px var(--sans,system-ui);fill:#4c6d82}.smv-name{fill:#123651;font:650 13px var(--mono,monospace)}.smv-source-line{font-family:var(--mono,monospace);font-weight:400}
.smv-hit{stroke:transparent;stroke-width:12px;fill:none}.smv-line{stroke:#49718a;stroke-width:1.6;fill:none}.smv-arrow{fill:#49718a}.smv-edge:focus{outline:none}.smv-edge:is(:focus-visible,:hover) .smv-line{stroke:#005f92;stroke-width:3}
.smv-edge-label{fill:#244e66;font:550 11px var(--mono,monospace);paint-order:stroke fill;stroke:#f9fcfe;stroke-width:4}.smv-edge-label:hover{fill:#005c89}
.smv-placeholder,.smv-empty p,.smv-notice{margin:.35rem 0;color:#496477;font-size:.87rem;line-height:1.5}.smv-placeholder{margin:auto;padding:16px;text-align:center}.smv-empty{padding:26px 20px;min-height:175px;background:#f6fafc}
.smv-transitions{padding:12px 14px 14px;border-top:1px solid #d3dfe8}.smv-transitions h4{margin:0 0 7px;color:#21445e;font-size:.84rem}
.smv-edges{list-style:none;margin:0;padding:0;max-height:280px;overflow:auto}.smv-edges li{margin:0}.smv-edges li button{display:grid;grid-template-columns:minmax(92px,.8fr) minmax(75px,1.4fr) auto;width:100%;align-items:baseline;gap:8px;min-height:34px;padding:5px 7px;text-align:left;background:#fff;border:0;border-bottom:1px solid #e0e8ee;border-radius:0;color:#254b65}
.smv-edges li button:hover{background:#eef5fa}.smv-pair,.smv-guard,.smv-lineno{font:500 .75rem/1.45 var(--mono,monospace);overflow-wrap:anywhere;color:inherit}.smv-guard{color:#3b5265}.smv-lineno{color:#456778;font-size:.69rem}
@media(max-width:640px){.smv-toolbar{padding:7px 8px}.smv-intro{max-width:100%}.smv-intro h3{flex-basis:100%}.smv-zoom button,.smv-intro select,.smv-edges li button{min-height:42px}.smv-transitions{padding:10px 8px}.smv-edges li button{grid-template-columns:1fr auto;gap:2px 8px}.smv-guard{grid-column:1;grid-row:2}.smv-lineno{grid-column:2;grid-row:1}}