/* trace scene: one turn, measured. 1800 x 674 */
.sc-tr-h { font-size: 26px; font-weight: 700; fill: #fff !important; }
.sc-tr-h2 { font-size: 24px; font-weight: 700; fill: #fff !important; }
.sc-tr-box { fill: rgba(0,0,0,.32); stroke: rgba(255,255,255,.14); stroke-width: 1.5; }
.sc-tr-log { font-family: var(--mono) !important; font-size: 19px; fill: var(--mute) !important; }
.sc-tr-tok { font-weight: 700; }
.sc-tr-cap { font-size: 21px; fill: var(--mute) !important; }
.sc-tr-seg.code { fill: #f4f4f4; }
.sc-tr-seg.model { fill: #2f7fe0; filter: drop-shadow(0 0 10px rgba(47,127,224,.55)); }
.sc-tr-seg.lite { fill: rgba(106,168,255,.55); }
.sc-tr-seg.lite.after { fill: none; stroke: #6aa8ff; stroke-width: 2; stroke-dasharray: 8 6; }
.sc-tr-seg.rest { fill: var(--mute); }
.sc-tr-name { font-size: 23px; fill: var(--fg2) !important; }
.sc-tr-val { font-family: var(--mono) !important; font-size: 21px; fill: #fff !important; }
.sc-tr-note { font-size: 23px; fill: var(--fg2) !important; }
.sc-tr-note.hi { fill: #fff !important; font-weight: 500; }
.sc-tr-note.dim { fill: var(--mute) !important; }
.sc-tr-done line { stroke: var(--amber); stroke-width: 3; }
.sc-tr-done-t { font-family: var(--mono) !important; font-size: 20px; fill: var(--amber) !important; font-weight: 700; }
.sc-tr-after { font-size: 20px; fill: #9cc8ff !important; }
.sc-tr-track { fill: none; stroke: rgba(255,255,255,.2); stroke-width: 1.5; }
.sc-tr-bad { fill: rgba(255,91,79,.85); }
.sc-tr-band { fill: none; stroke: #fff; stroke-width: 2; stroke-dasharray: 6 5; }
.sc-tr-rule { stroke: rgba(255,255,255,.12); stroke-width: 1.5; }
.sc-tr-big { font-size: 104px; font-weight: 700; font-variant-numeric: tabular-nums; fill: #fff !important; letter-spacing: -.02em; }
.sc-tr-src { font-size: 20px; fill: var(--mute) !important; }
/* pass^k chart (group scaled by 0.9, so sizes here are about 10% larger than they render) */
.sc-tr-pk-axis line { stroke: rgba(255,255,255,.3); stroke-width: 2; }
.sc-tr-pk-axis text { font-family: var(--mono) !important; font-size: 22px; fill: var(--mute) !important; }
.sc-tr-pk-axis .sc-tr-pk-axt { font-family: var(--font) !important; font-size: 23px; }
.sc-tr-pk-at { fill: none; stroke: #6aa8ff; stroke-width: 4; }
.sc-tr-pk-every { fill: none; stroke: #fff; stroke-width: 4; }
.sc-tr-pk-base { fill: none; stroke: var(--mute); stroke-width: 3; stroke-dasharray: 8 7; }
.sc-tr-pk-dot { fill: #fff; }
.sc-tr-pk-lbl { font-size: 28px; font-weight: 700; fill: #fff !important; }
.sc-tr-pk-m { font-size: 23px; fill: #9cc8ff !important; }
.sc-tr-pk-b { font-size: 22px; fill: var(--mute) !important; }
.sc-tr-pk-title { font-size: 28px; font-weight: 700; fill: #fff !important; }
.sc-tr-pk-track { stroke: rgba(255,255,255,.25); stroke-width: 4; stroke-linecap: round; }
.sc-tr-pk-handle { fill: var(--amber); stroke: #222; stroke-width: 3; }
.sc-tr-pk-hint { font-size: 22px; fill: var(--mute) !important; }
.sc-tr-pk-hit { fill: transparent; cursor: ew-resize; touch-action: none; }
.sc-tr-pk-lead { stroke: rgba(255,255,255,.45); stroke-width: 1.5; }