.runtime-case{--accent:var(--case-blue);--accent-soft:#f0f8ff;--line:var(--case-line);--foreground:var(--case-ink);--muted:var(--case-muted);--text-secondary:var(--case-muted);--surface:#fafbfd;--background:#fff;font-size:15px}.runtime-case code{overflow-wrap:anywhere;font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,monospace;font-size:.88em}.runtime-case .runtime-journey-figure{margin:30px 0 22px}.runtime-case .runtime-journey{background:#fff}.runtime-case .runtime-journey-step{min-height:110px;padding:18px}.runtime-case .runtime-journey-step>span{letter-spacing:0;font-family:inherit;font-size:13px}.runtime-case .runtime-journey-step strong{margin-top:3px;font-size:17px}.runtime-case .runtime-journey-step small{color:#4f5966;margin-top:8px;font-size:14px;font-weight:600}.runtime-case figcaption{color:var(--case-muted);font-size:13px;font-weight:400;line-height:1.65}.runtime-case .runtime-meta{border-top:1px solid var(--case-line);border-bottom:1px solid var(--case-line);grid-template-columns:1.1fr 1.4fr .7fr;gap:20px;padding:18px 0;display:grid}.runtime-meta>div{min-width:0}.runtime-meta dt{color:var(--case-muted);margin-bottom:4px;font-size:14px;font-weight:600}.runtime-meta dd{margin:0;font-size:15px;font-weight:650}.runtime-case .trading-overview-grid ul{font-size:15px}.runtime-case .trading-section{margin-top:44px}.runtime-case .trading-section>p{line-height:1.8}.runtime-case .runtime-comparison-grid{background:#fff;margin-top:22px}.runtime-case .runtime-comparison-column{padding:22px 24px}.runtime-case .runtime-comparison-column>span{letter-spacing:.025em;font-size:12px}.runtime-case .runtime-comparison-column strong{font-size:18px}.runtime-case .runtime-comparison-column ul{margin-top:12px;padding:0;font-size:15px;line-height:1.7;list-style:none}.runtime-subheading{margin:28px 0 10px;font-size:17px;font-weight:750;line-height:1.4}.runtime-case .fiber-tree-figure,.runtime-case .scheduler-figure,.runtime-case .keyed-move-figure{margin:22px 0}.runtime-case .fiber-tree-board{gap:16px;padding:24px}.runtime-case .fiber-tree-column-head>span{letter-spacing:.025em;font-size:11px}.runtime-case .fiber-tree-column-head strong{font-size:17px}.runtime-case .fiber-node{font-size:13px}.runtime-case .fiber-alternate-bridge span{letter-spacing:0;font-size:11px}.runtime-case .fiber-pointer-legend span{color:#256da3;background:#f5faff;border-color:#c7e2f8;border-radius:3px;font-size:12px}.runtime-case .scheduler-visual{gap:14px;padding:24px}.runtime-case .scheduler-lane>strong{letter-spacing:0;flex-shrink:0;width:78px;font-size:12px}.runtime-case .scheduler-lane>span{min-width:0;padding:12px 8px;font-size:13px}.runtime-case .scheduler-lane>.scheduler-yield{max-width:60px;font-size:11px}.runtime-case .trading-result{font-size:15px}.runtime-boundaries{grid-template-columns:repeat(2,minmax(0,1fr));gap:28px;margin-top:24px;display:grid}.runtime-boundaries h3{margin:0 0 9px;font-size:16px;font-weight:750;line-height:1.5}.runtime-boundaries p{color:var(--case-muted);line-height:1.8}.runtime-case .keyed-state>span{font-size:12px}.runtime-case .keyed-state strong{min-height:62px;font-size:18px}.runtime-case .keyed-move-arrow span{letter-spacing:0;font-size:11px}.runtime-verification-table{margin-top:22px}.runtime-verification-table table{border-collapse:collapse;text-align:left;width:100%;font-size:15px;line-height:1.65}.runtime-verification-table caption{text-align:left;padding-bottom:10px;font-size:16px;font-weight:700}.runtime-verification-table thead{background:#f7f9fb}.runtime-verification-table th,.runtime-verification-table td{border-bottom:1px solid var(--case-line);vertical-align:top;padding:13px 16px}.runtime-verification-table th{font-weight:650}.runtime-verification-table tbody th{width:28%}.runtime-verification-table td{color:var(--case-muted)}.runtime-scope{border-top:1px solid var(--case-line);border-bottom:1px solid var(--case-line);margin-top:26px;padding:20px 0}.runtime-scope h3{margin:0 0 10px;font-size:17px;font-weight:750}.runtime-scope p{color:var(--case-muted);line-height:1.8}.runtime-case .runtime-scope p+p{margin-top:10px}.runtime-case .trading-tags{font-size:13px}.runtime-resources{border-top:1px solid var(--case-line);flex-wrap:wrap;justify-content:space-between;gap:20px;margin-top:38px;padding-top:20px;font-size:14px;font-weight:650;display:flex}.runtime-resources>div{color:var(--case-muted);flex-wrap:wrap;gap:12px 24px;display:flex}.runtime-resources a:hover{color:var(--case-blue);text-decoration:underline}@media (max-width:760px){.runtime-case .runtime-meta{grid-template-columns:repeat(2,minmax(0,1fr))}.runtime-case .runtime-journey{grid-template-columns:1fr}.runtime-case .runtime-journey-step{min-height:90px}.runtime-case .runtime-comparison-grid{grid-template-columns:1fr}.runtime-case .fiber-tree-board{grid-template-columns:1fr;padding:18px}.runtime-case .scheduler-lane{flex-wrap:wrap}.runtime-case .scheduler-lane>strong{width:100%;min-height:auto}.runtime-case .scheduler-lane>span{flex:80px}.runtime-case .scheduler-lane>.scheduler-yield{flex-basis:45px}.runtime-case .keyed-move-visual{grid-template-columns:1fr}.runtime-boundaries{grid-template-columns:1fr;gap:20px}}@media (max-width:520px){.runtime-case .trading-intro .trading-lead{font-size:17px}.runtime-case .runtime-meta{grid-template-columns:1fr;gap:12px}.runtime-meta>div{grid-template-columns:70px minmax(0,1fr);gap:12px;display:grid}.runtime-meta dt{margin:0}.runtime-case .trading-section{margin-top:34px}.runtime-case .runtime-comparison-column{padding:20px}.runtime-case .fiber-tree-column{padding:15px}.runtime-case .scheduler-visual{padding:16px}.runtime-verification-table th,.runtime-verification-table td{padding:12px 8px;font-size:14px}.runtime-verification-table tbody th{width:32%}}@media print{.runtime-case{font-size:10pt}.runtime-case .trading-section{margin-top:24pt}.runtime-case .runtime-journey-step{min-height:70pt;padding:10pt}.runtime-case .runtime-journey-step strong{font-size:11pt}.runtime-case .runtime-journey-step small,.runtime-case figcaption{font-size:9pt}.runtime-comparison-grid,.runtime-meta,.runtime-scope,.runtime-boundaries,.runtime-verification-table tr{break-inside:avoid}.runtime-resources{display:none}}