/* Research companion: document typography and restrained scientific color. */
.network-heading{display:flex;align-items:baseline;justify-content:space-between;gap:15px;margin-top:22px}.network-heading h3{font-size:16px}.network-heading a{font:12px/1.5 Arial,sans-serif}.network-panels{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:13px;margin-top:14px}.network-panel{border:1px solid #d8dce0;background:#fcfcfc;min-width:0}.network-panel-title,.network-panel-status{display:flex;justify-content:space-between;gap:8px;padding:8px 10px;font:12px/1.45 Arial,sans-serif}.network-panel-title{border-bottom:1px solid #e5e7e9}.network-panel-title span{font-family:Consolas,monospace;color:#555}.network-panel canvas{display:block;width:100%;height:auto;aspect-ratio:60/41}.network-panel-status{font-size:10px;color:#606770;border-top:1px solid #e5e7e9;flex-wrap:wrap}.network-legend{display:flex;flex-wrap:wrap;gap:10px 18px;margin-top:12px;font:12px/1.5 Arial,sans-serif;color:#555}.network-legend span{display:flex;align-items:center;gap:6px}.network-legend i{display:inline-block;width:9px;height:9px;border-radius:50%}.network-legend .pending{background:#dfe4e8}.network-legend .revealed{background:#317fa4}.network-legend .frontier{background:#cf8d32}.network-legend .source{background:#a43649}.network-legend+.caption{margin-bottom:22px}.replay-scrubber{display:flex;align-items:center;gap:12px;margin-top:12px;font:12px/1.5 Arial,sans-serif;color:#555}.replay-scrubber input{flex:1;min-width:0;accent-color:#555}.replay-scrubber output{min-width:36px;text-align:right;font-family:Consolas,monospace}@media(max-width:760px){.network-panels{grid-template-columns:repeat(2,minmax(0,1fr))}.network-heading{align-items:start;flex-direction:column;gap:4px}}@media(max-width:480px){.network-panels{grid-template-columns:1fr}}@media print{.network-panel{break-inside:avoid}.network-panel canvas{print-color-adjust:exact}.replay-scrubber{display:none}}
:root { --ink:#202020; --muted:#606060; --line:#d4d4d4; --light:#f5f5f5; --paper:#fff; --accent:#445b6b; --mono:Consolas,"Liberation Mono",monospace; --sans:Arial,Helvetica,sans-serif; --serif:Georgia,"Times New Roman",serif; }
*{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:28px}body{margin:0;background:var(--paper);color:var(--ink);font:16px/1.6 var(--serif)}h1,h2,h3,p{margin:0}h1,h2,h3{font-weight:600;letter-spacing:0}a{color:var(--accent);text-underline-offset:3px}a:hover{text-decoration:underline}button,input,select{font:inherit}button,a,input,select{touch-action:manipulation}[hidden]{display:none!important}:focus-visible{outline:2px solid var(--accent);outline-offset:3px}
.wrap{max-width:1060px;margin:auto;padding:0 40px}.topbar{max-width:1060px;margin:auto;padding:17px 40px;display:flex;justify-content:space-between;align-items:center;gap:18px;border-bottom:1px solid var(--line);font:13px/1.5 var(--sans)}.wordmark{font-weight:700;text-decoration:none;color:var(--ink)}.wordmark span{font-weight:400;color:var(--muted)}.topbar nav{display:flex;flex-wrap:wrap;gap:18px}.topbar nav a{color:var(--muted);text-decoration:none}.document-meta{display:flex;justify-content:space-between;gap:16px;font:12px/1.6 var(--sans);color:var(--muted);margin-bottom:18px}.paper-header{padding-top:32px;padding-bottom:20px}h1{font-size:29px;line-height:1.3;max-width:850px}.author{margin-top:14px;font-size:17px}.document-links{display:flex;gap:22px;flex-wrap:wrap;margin-top:9px;font:13px/1.5 var(--sans)}.abstract{margin:26px 0 15px;max-width:890px}.abstract h2{font-size:16px;margin-bottom:7px}.abstract p{font-size:16px;line-height:1.65}.keywords{font-size:13px;color:var(--muted);max-width:900px}.keywords b{color:var(--ink)}.table-wrap{overflow:auto;margin-top:25px}.results-table{width:100%;border-collapse:collapse;font:14px/1.5 var(--sans)}caption{text-align:left;font:13px/1.55 var(--serif);padding-bottom:9px;color:var(--muted)}th,td{padding:8px 12px;border-bottom:1px solid #e2e2e2;text-align:left;vertical-align:top}th{font-size:12px;font-weight:600;border-top:1px solid #555;border-bottom:1px solid #999}td:nth-child(2),td:last-child,th:nth-child(2),th:last-child{text-align:right;font-variant-numeric:tabular-nums}td:last-child{font-family:var(--mono);white-space:nowrap}.results-table tbody tr:last-child td{border-bottom:1px solid #777}
.eyebrow{font:12px/1.5 var(--sans);color:var(--muted);letter-spacing:.025em}.section-head{display:block;margin-bottom:22px}.section-head h2{font-size:22px;line-height:1.35;margin:5px 0 12px}.section-head p{max-width:890px;color:#484848;font-size:16px}.replay-section,.limits-section,.evidence-section{padding:30px 0}.replay-section>.wrap,.limits-section>.wrap,.evidence-section>.wrap{position:relative}.replay-section>.wrap:before,.limits-section>.wrap:before,.evidence-section>.wrap:before{content:"";position:absolute;top:-30px;left:40px;right:40px;border-top:1px solid var(--line)}.lab-section,.other-findings{padding-top:30px;padding-bottom:30px;border-top:1px solid var(--line)}
button,.button{display:inline-flex;justify-content:center;align-items:center;gap:9px;min-height:36px;padding:7px 13px;background:white;border:1px solid #bcbcbc;border-radius:2px;color:var(--ink);font:14px/1.4 var(--sans);text-decoration:none;cursor:pointer}button:hover,.button:hover{background:#ededed;text-decoration:none}.primary{background:#353535;border-color:#353535;color:white}.primary:hover{background:#151515;color:white}button:disabled{opacity:.45;cursor:default}.text-link{font:14px/1.5 var(--sans)}select{border:1px solid #bcbcbc;border-radius:2px;min-height:37px;padding:7px 29px 7px 9px;background:white;color:var(--ink);font:14px/1.4 var(--sans);max-width:100%}.replay-controls,.lab-controls{display:flex;flex-wrap:wrap;gap:15px;align-items:end}.replay-controls label,.lab-controls label:not(.check){display:flex;flex-direction:column;gap:5px;color:var(--muted);font:13px/1.5 var(--sans)}.replay-controls label:first-child{flex:1;min-width:210px}.race-top{display:flex;justify-content:space-between;flex-wrap:wrap;gap:10px;margin:22px 0 14px;font:12px/1.5 var(--mono);color:var(--muted)}.badge{font:12px/1.5 var(--sans)}.race{display:flex;flex-direction:column;gap:11px}.race-row{display:grid;grid-template-columns:170px 1fr 102px;gap:18px;align-items:center}.race-label{font:14px/1.4 var(--sans)}.race-label small{display:block;color:var(--muted);font-size:12px}.race-track{height:21px;background:#f0f0f0;position:relative;overflow:hidden}.race-bar{height:100%;width:0;position:absolute;left:0;top:0;background:#444;will-change:width}.race-bar.heap{background:#a7a7a7}.race-bar.list{background:#363636}.race-bar.map{background:#737373}.race-bar.ring{background:#555}.race-bar.max{background:repeating-linear-gradient(135deg,#858585 0px,#858585 3px,#a5a5a5 3px,#a5a5a5 5px)}.race-bar.selected{background:repeating-linear-gradient(90deg,#777 0px,#777 2px,#aaa 2px,#aaa 4px)}.race-value{text-align:right;font:14px/1.4 var(--mono);white-space:nowrap}.race-value small{display:block;font:12px/1.4 var(--sans);color:var(--muted)}.race-row.done .race-value{font-weight:600}.play-row{display:flex;align-items:center;flex-wrap:wrap;gap:9px;margin-top:18px}.play-row>span{color:var(--muted);font:12px/1.5 var(--sans);margin-left:5px}.caption{font:13px/1.6 var(--serif);color:var(--muted);margin-top:12px}.replay-insight{display:grid;grid-template-columns:1.2fr 1fr;gap:38px;border-top:1px solid var(--line);padding:20px 0;margin-top:21px}.replay-insight h3{font-size:17px;line-height:1.4;margin:6px 0 9px}.replay-insight p{font-size:15px;color:#484848}.aggregate{display:flex;flex-direction:column;gap:6px}.aggregate>div{display:flex;justify-content:space-between;gap:20px;font:14px/1.5 var(--sans);border-bottom:1px solid #e4e4e4;padding:3px 0}.aggregate b{font:14px/1.5 var(--mono)}.aggregate-caption{font:12px/1.5 var(--sans);color:var(--muted);margin-top:6px}details{border-top:1px solid var(--line);padding:15px 0}summary{cursor:pointer;font:14px/1.5 var(--sans);font-weight:600}details p,details li{font-size:15px;color:#484848}details li{margin:8px 0}.method-glossary{display:grid;grid-template-columns:1fr 1fr;gap:13px 30px;padding-top:16px}
.lab-controls{margin-bottom:23px}.check{display:flex;gap:8px;align-items:center;padding-bottom:8px;font:13px/1.5 var(--sans)}.check input{width:16px;height:16px;accent-color:#555}.algorithm-grid{display:grid;grid-template-columns:1fr 1fr;gap:28px}.algorithm{min-width:0;border-top:1px solid #888;padding-top:11px}.algorithm-title{display:flex;align-items:baseline;flex-wrap:wrap;gap:7px}.algorithm-title h3{font-size:16px;line-height:1.4}.algorithm-title>span:last-child{flex-basis:100%;color:var(--muted);font:12px/1.5 var(--sans)}.method-dot{display:none}.graph{width:100%;display:block;margin-top:12px;overflow:visible}.graph .edge{stroke:#c6c6c6;stroke-width:1.2;fill:none}.graph .edge.active{stroke:var(--accent);stroke-width:2.5}.graph .cost{font:12px var(--mono);fill:#555;paint-order:stroke;stroke:white;stroke-width:4px}.graph .vertex circle{fill:white;stroke:#a5a5a5;stroke-width:1}.graph .vertex text{font:14px var(--sans);fill:var(--ink);text-anchor:middle;dominant-baseline:central}.graph .vertex.known circle{fill:#dedede;stroke:#858585}.graph .vertex.active circle{fill:#333;stroke:#333}.graph .vertex.active text{fill:white}.graph .distance{font:12px var(--mono)!important;fill:#333!important;paint-order:stroke;stroke:white;stroke-width:3px}.trace-stats{display:flex;gap:20px;font:12px/1.5 var(--sans);margin:9px 0 12px}.trace-stats b{font:15px/1.5 var(--mono);margin-right:4px}.event{font:14px/1.5 var(--serif);min-height:66px;color:#484848}.queue{display:flex;flex-wrap:wrap;gap:5px;min-height:40px;align-content:flex-start}.queue span{background:#f0f0f0;padding:3px 7px;font:12px/1.5 var(--mono)}.queue .queue-label{background:transparent;padding-left:0;color:var(--muted)}.lab-bottom{display:flex;align-items:center;justify-content:space-between;gap:15px}.lab-bottom>span{font:13px/1.5 var(--sans);color:#444;max-width:260px}.legend{display:flex;flex-wrap:wrap;gap:18px;font:12px/1.5 var(--sans);color:var(--muted);margin-top:18px}.legend>span{display:flex;gap:7px;align-items:center}.node{display:block;width:10px;height:10px;border-radius:50%}.unseen{background:white;border:1px solid #999}.discovered{background:#c3c3c3}.current{background:#333}.line{display:block;width:20px;height:2px;background:var(--accent)}
.density-grid{display:grid;grid-template-columns:1.4fr 1fr;gap:35px;align-items:center}.slider-label{display:flex;justify-content:space-between;align-items:baseline;gap:12px;font:14px/1.5 var(--sans)}.slider-label strong{font:14px/1.5 var(--mono)}input[type=range]{width:100%;margin:12px 0;accent-color:#555;cursor:pointer;height:18px}.density-reading{border-left:1px solid var(--line);padding-left:25px}.density-reading>div{font:25px/1.4 var(--mono)}.density-reading h3{font-size:17px;margin:8px 0;line-height:1.4}.density-reading p{font-size:15px;color:#484848}.density-reading p.caption{font-size:13px}#density-chart{width:100%;display:block;overflow:visible}#density-chart text{fill:#555;font:14px var(--sans)}#density-chart .trend{fill:none;stroke:#444;stroke-width:2}#density-chart .threshold{stroke:#999;stroke-width:1;stroke-dasharray:4 4}#density-chart .point{fill:white;stroke:#555;stroke-width:1.5}#density-chart .selected-point{fill:var(--accent);stroke:white;stroke-width:2;transition:cx .2s,cy .2s}.axis-note{font:12px/1.5 var(--sans);color:var(--muted)}.duplicate-story{display:grid;grid-template-columns:1fr 1fr;gap:35px;border-top:1px solid var(--line);padding-top:23px;margin-top:30px}.duplicate-story h3{font-size:18px;line-height:1.4;margin:7px 0 11px}.duplicate-story p{font-size:15px;color:#484848}.work-bars{padding-top:10px}.work-bars>div{display:grid;grid-template-columns:1fr auto;gap:8px;margin-bottom:18px}.work-bars span{font:13px/1.5 var(--sans)}.work-bars strong{font:14px/1.5 var(--mono)}.work-track{grid-column:1/-1;height:20px;background:#efefef;overflow:hidden}.work-track i{display:block;height:100%;background:#999}.work-bars>div:nth-child(2) .work-track i{background:#454545}.work-bars p.caption{font-size:13px}.dense-conclusion{border-top:1px solid var(--line);margin-top:18px;padding-top:16px}.dense-conclusion b{font:14px/1.5 var(--mono)}.dense-conclusion p{font-size:14px;color:var(--muted);margin-top:7px}.findings-grid{display:grid;grid-template-columns:1fr 1fr;gap:36px;margin-top:17px}.finding-number{font:19px/1.5 var(--mono)}.finding-number:after{content:" cases with fewer insertions";font:12px/1.5 var(--sans);color:var(--muted)}.findings-grid h3{font-size:17px;margin:7px 0 9px}.findings-grid p{font-size:15px;color:#484848}.evidence-stats{display:grid;grid-template-columns:repeat(4,1fr);gap:18px;padding:14px 0;border-top:1px solid var(--line);border-bottom:1px solid var(--line)}.evidence-stats b{display:block;font:18px/1.5 var(--mono)}.evidence-stats span{font:12px/1.5 var(--sans);color:var(--muted)}.evidence-links{display:flex;align-items:center;flex-wrap:wrap;gap:14px;margin:20px 0}footer.wrap{display:flex;justify-content:space-between;gap:20px;border-top:1px solid var(--line);padding-top:20px;padding-bottom:24px;color:var(--muted);font:12px/1.5 var(--sans)}footer a{font-size:13px}.skip{position:fixed;top:-100px;left:10px;background:white;padding:12px;z-index:5}.skip:focus{top:10px}
@media(max-width:760px){.wrap{padding-left:22px;padding-right:22px}.topbar{padding:14px 22px;flex-wrap:wrap;gap:10px}.topbar nav{gap:14px;font-size:12px}.document-meta{flex-direction:column;gap:2px}.paper-header{padding-top:25px}h1{font-size:25px}.document-links{gap:13px}.section-head h2{font-size:21px}.replay-section>.wrap:before,.limits-section>.wrap:before,.evidence-section>.wrap:before{left:22px;right:22px}.replay-controls{display:grid;grid-template-columns:1fr 1fr;gap:10px}.replay-controls label{min-width:0}.replay-controls label:first-child{grid-column:1/-1;min-width:0}.replay-controls select{width:100%}.race-row{grid-template-columns:100px 1fr 83px;gap:10px}.race-label,.race-value{font-size:13px}.race-track{height:20px}.replay-insight,.density-grid,.duplicate-story,.findings-grid,.algorithm-grid{grid-template-columns:1fr;gap:23px}.method-glossary{grid-template-columns:1fr}.lab-controls label:not(.check){flex:1;min-width:150px}.lab-bottom{display:block}.lab-bottom>span{display:block;margin-top:13px}.algorithm-title>span:last-child{flex-basis:auto;margin-left:auto}.event{min-height:46px}.density-reading{border-left:0;border-top:1px solid var(--line);padding:17px 0 0}.evidence-stats{grid-template-columns:1fr 1fr;gap:14px}.evidence-links{gap:10px}footer.wrap{flex-wrap:wrap}.results-table{min-width:540px}.table-wrap{max-width:100%}.play-row>span{flex-basis:100%;margin-left:0}}
@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,*::before,*::after{animation:none!important;transition:none!important}}
/* Color carries method identity or diagram state; document surfaces stay neutral. */
:root{--method-heap:#718394;--method-list:#317fa4;--method-map:#26867f;--method-ring:#7865a5;--method-max:#ad8035;--method-selected:#a65f78;--diagram-known:#d9eaf4;--diagram-active:#edc478;--diagram-relaxation:#26867f}
.race-bar.heap{background:var(--method-heap)}
.race-bar.list{background:var(--method-list)}
.race-bar.map{background:var(--method-map)}
.race-bar.ring{background:var(--method-ring)}
.race-bar.max{background:repeating-linear-gradient(135deg,var(--method-max) 0px,var(--method-max) 3px,#cba667 3px,#cba667 5px)}
.race-bar.selected{background:repeating-linear-gradient(90deg,var(--method-selected) 0px,var(--method-selected) 2px,#c18ca0 2px,#c18ca0 4px)}
.graph .vertex.known circle{fill:var(--diagram-known);stroke:#5b8ca8;stroke-width:1.3}
.graph .vertex.active circle{fill:var(--diagram-active);stroke:#99691d;stroke-width:2}
.graph .vertex.active text{fill:#302410}
.graph .edge.active{stroke:var(--diagram-relaxation);stroke-width:2.5}
.legend .discovered{background:var(--diagram-known);border:1px solid #5b8ca8}
.legend .current{background:var(--diagram-active);border:1px solid #99691d}
.legend .improved{background:var(--diagram-relaxation)}
.queue span:not(.queue-label){background:#eaf2f7;color:#25516c}
#density-chart .trend{stroke:var(--method-map)}
#density-chart .point{fill:#e7f2f0;stroke:var(--method-map)}
#density-chart .selected-point{fill:var(--method-map);stroke:white}
#degree{accent-color:var(--method-map)}
.work-track i{background:#b58a48}
.work-bars>div:nth-child(2) .work-track i{background:var(--diagram-relaxation)}
@media print{.graph,#density-chart,.legend{-webkit-print-color-adjust:exact;print-color-adjust:exact}}
@media print{body{font-size:11pt}.wrap,.topbar{max-width:none;padding-left:0;padding-right:0}.topbar nav,.replay-controls,.lab-controls,.play-row,.document-links,.evidence-links,input[type=range]{display:none}h1{font-size:21pt}h2{font-size:15pt}.race-bar,.work-track i{-webkit-print-color-adjust:exact;print-color-adjust:exact}.algorithm-grid{break-inside:avoid}a{color:inherit}.replay-section,.limits-section,.evidence-section,.lab-section,.other-findings{padding-top:18px;padding-bottom:18px}details>*{display:block!important}details>summary{margin-bottom:8px}}