:root{color-scheme:light;--navy:#112d3b;--navy-dark:#0c222e;--cream:#f5f4ee;--paper:#fffef9;--ink:#172c37;--muted:#647079;--line:#dce0d9;--teal:#237d78;--teal-light:#dcefe8;--coral:#d68471;--unreviewed:#e5e8e2;--violet:#8a76af;--gold:#d6a854;--gold-light:#fff4d9;--consequence:#4f86cf;--consequence-edge:#245a98;--consequence-text:#235b9f;--consequence-tint:#e4efff;--serif:Georgia,"Times New Roman",serif;--sans:Inter,-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif;--mono:"SFMono-Regular",Consolas,"Liberation Mono",monospace}
*{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:32px}body{margin:0;background:var(--cream);color:var(--ink);font-family:var(--sans);font-size:15px;line-height:1.55}a{color:inherit;text-underline-offset:4px}button,input,select{font:inherit}button,select,input[type=checkbox]{cursor:pointer}button{color:inherit}button:focus-visible,a:focus-visible,select:focus-visible,input:focus-visible,summary:focus-visible,.matrix-scroll:focus-visible{outline:3px solid var(--gold);outline-offset:4px}button{border:1px solid var(--line);border-radius:6px;background:var(--paper);padding:9px 14px}button:hover{border-color:var(--teal)}[hidden]{display:none!important}h1,h2,h3,p{margin-top:0}h1,h2,h3{font-weight:400}h1,h2{font-family:var(--serif)}h1{font-size:clamp(38px,4.2vw,62px);line-height:1.12;letter-spacing:-1.7px;margin-bottom:24px}h2{font-size:clamp(29px,3.1vw,40px);line-height:1.2;letter-spacing:-.9px;margin-bottom:0}h3{font-size:19px;line-height:1.35}.sr-only{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}.skip-link{position:fixed;top:-80px;left:16px;z-index:100;background:var(--paper);padding:12px}.skip-link:focus{top:10px}.masthead{background:var(--navy-dark);color:#f6f3e7;border-bottom:1px solid #ffffff15}.masthead-inner{max-width:1320px;padding:23px 40px;margin:auto;display:flex;align-items:center;gap:32px}.wordmark{display:flex;gap:12px;align-items:center;text-decoration:none;font-weight:600;font-size:18px;letter-spacing:-.4px;white-space:nowrap}.mark{font-family:var(--serif);font-size:32px;line-height:1;color:#a8d7c9}.masthead nav{display:flex;gap:28px;margin-left:auto;font-size:13px;color:#c7d2d6}.masthead nav a{text-decoration:none}.masthead nav a:hover{color:white}.repo-link{border:1px solid #a9bdc33d;border-radius:5px;padding:8px 12px;font-size:12px;text-decoration:none;white-space:nowrap}.repo-link span{margin-left:8px}.hero{background:var(--navy);color:var(--paper);overflow:hidden}.hero-inner{max-width:1320px;margin:auto;padding:40px;display:block}.hero-description{font-size:16px;color:#c4d3d8;max-width:78ch;margin-bottom:20px;line-height:1.65}.hero-meta{display:flex;align-items:center;gap:18px;font-size:11px;color:#93aeb8}.hero-meta strong{font-weight:400;color:#dfebea;margin-left:8px}.meta-divider{height:12px;width:1px;background:#81939c66}.page-content{max-width:1320px;margin:auto;padding:0 40px}.section{padding-top:48px;margin-bottom:10px}.section-heading{display:flex;align-items:flex-end;justify-content:space-between;gap:24px;margin-bottom:24px}.section-aside{text-align:right;color:var(--muted);font-size:12px;line-height:1.6;margin:0 0 3px}.leaderboard-card,.matrix-card,.pair-panel{background:var(--paper);border:1px solid var(--line);border-radius:7px;overflow:hidden}.table-scroll{overflow-x:auto}.leaderboard-table{width:100%;border-collapse:collapse;text-align:left;font-size:12px}.leaderboard-table th{color:var(--muted);font-size:9px;letter-spacing:1.2px;font-weight:600;text-transform:uppercase;padding:14px 24px;background:#f0f1ea;border-bottom:1px solid var(--line)}.leaderboard-table td{padding:23px 24px;vertical-align:middle}.leaderboard-table th:first-child,.leaderboard-table td:first-child{width:90px}.leaderboard-table td:first-child{color:var(--muted);font-family:var(--mono);font-size:11px}.leaderboard-table .number-column{text-align:right;width:160px;white-space:nowrap}.leaderboard-score{font-family:var(--serif);font-size:32px;line-height:1;white-space:nowrap;font-variant-numeric:lining-nums tabular-nums}.entry-name{font-size:15px;font-weight:600;display:block}.entry-description{font-size:11px;color:var(--muted);display:block;margin-top:5px}.record-status{font-size:11px;color:var(--teal);display:block}.record-date{display:block;color:var(--muted);font-size:10px;margin-top:4px}.leaderboard-foot{border-top:1px solid var(--line);padding:13px 24px;display:flex;gap:9px;align-items:center}.leaderboard-foot p{margin:0;color:var(--muted);font-size:10px}.small-dot{width:5px;height:5px;min-width:5px;border-radius:50%;background:var(--teal)}.matrix-toolbar{display:grid;grid-template-columns:minmax(0,1fr) 38px minmax(0,1fr);align-items:end;gap:12px;margin:3px 0 15px}.matrix-toolbar .field{min-width:0}.swap-classes{height:38px;padding:0;font-size:23px;line-height:1;color:var(--teal)}.field label{display:block;font-size:10px;font-weight:600;letter-spacing:.3px;margin-bottom:7px}.field select{width:100%;height:38px;border:1px solid #d3d9d3;border-radius:5px;background:var(--paper);color:var(--ink);font-size:12px;padding:7px 11px}.field select{padding-right:28px}.text-button{padding:8px 0;border:0;background:transparent;color:var(--teal);font-size:11px;text-decoration:underline;text-underline-offset:3px;border-radius:0}.matrix-legend{display:flex;align-items:center;flex-wrap:wrap;gap:18px;margin-bottom:16px}.matrix-legend>span{display:flex;align-items:center;gap:6px;font-size:9px;color:var(--muted)}.swatch{display:inline-block;width:9px;height:9px;border-radius:2px;flex-shrink:0}.swatch-inclusion{background:var(--teal)}.swatch-separation{background:var(--coral)}.swatch-unreviewed{background:var(--unreviewed);border:1px solid #cdd3cb}.swatch-independence{background:var(--violet)}.swatch-consequence{background:var(--consequence);outline:1px solid var(--consequence-edge)}.matrix-layout{display:grid;grid-template-columns:minmax(0,1fr) 292px;gap:20px;align-items:start}.matrix-card-header,.matrix-card-footer{display:flex;justify-content:space-between;align-items:center;padding:12px 16px;font-size:10px;color:var(--muted)}.matrix-card-header{border-bottom:1px solid var(--line)}.micro-label{font-size:8px;letter-spacing:1.1px;color:#8a9699}.matrix-scroll{max-height:600px;overflow:auto;scrollbar-width:thin;scrollbar-color:#bdc9c1 #f3f4ed;overscroll-behavior:contain;padding:0 12px 12px 0;background:#fbfcf5}.matrix-table{border-collapse:separate;border-spacing:3px;width:max-content;table-layout:fixed;padding:0 3px 3px;font-size:9px}.matrix-table thead th{position:sticky;top:0;z-index:3;height:87px;vertical-align:bottom;background:#fbfcf5;padding:0 0 5px;font-weight:500}.matrix-table .corner-cell{position:sticky;left:0;z-index:5;min-width:87px;text-align:right;padding-right:8px;color:#7f8e90;vertical-align:middle}.matrix-table .col-label{writing-mode:vertical-rl;transform:rotate(180deg);white-space:nowrap;display:inline-block;font-family:var(--mono);font-size:8px;line-height:1.2;max-height:88px}.matrix-table tbody th{position:sticky;left:0;z-index:2;background:#fbfcf5;text-align:right;white-space:nowrap;padding:0 8px 0 7px;font-family:var(--mono);font-size:8px;font-weight:500;height:13px;line-height:13px}.matrix-table td{padding:0;width:13px;height:13px;min-width:13px}.matrix-cell{display:block;width:13px;height:13px;padding:0;margin:0;border:0;border-radius:2px;transition:opacity .1s;position:relative}.matrix-cell[data-status=inclusion]{background:var(--teal)}.matrix-cell[data-status=separation]{background:var(--coral)}.matrix-cell[data-status=unreviewed]{background:var(--unreviewed)}.matrix-cell[data-status=independence]{background:var(--violet)}.matrix-cell.diagonal{box-shadow:inset 0 0 0 1px #215b5640;background:#b4d1c3}.matrix-cell.selected{outline:2px solid var(--navy);outline-offset:1px;z-index:1}.matrix-cell:hover{outline:2px solid var(--navy);outline-offset:1px;z-index:1;opacity:1}.matrix-cell:focus-visible{outline:2px solid var(--navy);outline-offset:2px;z-index:4}.matrix-card-footer{border-top:1px solid var(--line);font-size:9px}.pair-panel{padding:22px;min-height:0}.pair-panel h3{font-family:var(--serif);font-size:32px;margin:10px 0 14px;overflow-wrap:anywhere}.pair-panel h3 span{color:var(--muted);font-size:25px;margin:0 5px}.pair-scores{color:var(--muted);font-size:11px;line-height:1.65;margin:16px 0 20px}.class-definitions{margin:0;padding:15px 0;border-top:1px solid var(--line);border-bottom:1px solid var(--line)}.class-definitions dt{font-family:var(--mono);font-weight:600;font-size:10px;margin-bottom:4px}.class-definitions dd{margin:0 0 15px;font-size:10px;line-height:1.6;color:var(--muted)}.class-definitions dd:last-child{margin-bottom:0}.uniformity-note{display:block;margin-top:5px;font-size:9px;color:#869087}.pair-evidence{margin-top:18px;font-size:10px}.pair-evidence p{color:var(--muted);font-size:10px}.pair-evidence h4{font-size:10px;font-weight:600;margin:0 0 10px}.section-note{font-size:10px;color:var(--muted);margin:12px 0 0;max-width:900px;line-height:1.7}.proof-source{display:block;font-size:10px;line-height:1.55;margin-bottom:5px;color:var(--teal);overflow-wrap:anywhere}.proof-note{font-size:10px;color:var(--muted);line-height:1.6}.sources-details{border-top:1px solid var(--line);border-bottom:1px solid var(--line)}.sources-details>summary{display:flex;gap:15px;align-items:center;padding:18px 0;list-style:none;cursor:pointer;font-size:12px;font-weight:500}.sources-details>summary::-webkit-details-marker{display:none}.sources-details>summary:before{content:"+";font-family:var(--mono);color:var(--teal);font-size:15px}.sources-details[open]>summary:before{content:"−"}.source-count{font-family:var(--mono);font-size:9px;color:var(--muted);font-weight:400;margin-left:auto}.source-preface{font-size:11px;color:var(--muted);max-width:780px}.source-list{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:18px 40px;padding:0 0 23px 22px;margin:0;font-size:10px}.source-list li{padding-left:3px;color:var(--muted)}.source-list a{color:var(--teal);font-weight:500}.source-list p{margin:4px 0 0;font-size:10px;line-height:1.6}.dataset-id{display:flex;align-items:center;gap:15px;padding:20px 0 22px;font-size:9px;color:var(--muted)}.dataset-id>span{white-space:nowrap}.dataset-id code{font-size:8px;overflow-wrap:anywhere;line-height:1.6}.dataset-id button{margin-left:auto;font-size:9px;white-space:nowrap}.footer{max-width:1240px;padding:23px 0 28px;margin:15px auto 0;border-top:1px solid var(--line);display:flex;align-items:center;justify-content:space-between;font-size:10px;color:var(--muted)}.footer>span{font-weight:600;color:var(--ink);font-size:12px}.footer p{margin:0}.footer a{text-decoration:none}.loading{font-size:12px;color:var(--muted);padding:40px 0}.error-panel{border:1px solid #d9b7a9;background:#f9ece5;padding:25px;margin:30px 0;border-radius:6px}.error-panel h2{font-family:var(--sans);font-size:18px;margin-bottom:8px}.error-panel p{font-size:12px}.error-panel button{font-size:12px}

/* Model evaluations. */
.section-intro{max-width:820px;margin:-7px 0 22px;color:var(--muted);font-size:12px;line-height:1.75}
.leaderboard-table .leaderboard-empty{font-family:var(--sans);padding:35px 24px 33px;color:var(--ink)}
.leaderboard-empty strong{display:block;font-size:17px;font-weight:500;line-height:1.45}
.leaderboard-empty p{max-width:650px;margin:9px 0 0;font-size:11px;line-height:1.7;color:var(--muted)}
.run-name{font-family:var(--mono);font-size:10px;overflow-wrap:anywhere}
.score-breakdown{display:block;font-size:9px;line-height:1.6;color:var(--muted);margin-top:8px}
.record-report{display:inline-block;font-size:10px;color:var(--teal);margin-top:7px}
.method-context{font-size:15px;color:var(--muted);line-height:1.75;max-width:80ch;margin-bottom:24px}

@media(min-width:1500px){.matrix-table td,.matrix-cell{width:14px;height:14px;min-width:14px}.matrix-table tbody th{height:14px;line-height:14px}}
@media(max-width:1080px){.masthead-inner{gap:24px}.masthead nav{gap:18px}.matrix-layout{grid-template-columns:minmax(0,1fr) 260px;gap:15px}.pair-panel{padding:19px}.footer{margin-left:40px;margin-right:40px}}
@media(max-width:820px){.masthead-inner{padding:18px 24px;gap:15px}.masthead nav{display:none}.repo-link{margin-left:auto}.hero-inner{padding:32px 24px}.hero-description{font-size:15px}.page-content{padding:0 24px}.section{padding-top:36px}.matrix-layout{grid-template-columns:minmax(0,1fr)}.matrix-scroll{max-height:500px}.pair-panel{min-height:0;display:grid;grid-template-columns:1fr 1.5fr;column-gap:25px;padding:21px}.pair-panel h3{grid-column:1;grid-row:1;font-size:29px;margin-top:3px;margin-bottom:8px}.pair-panel>.pair-scores{grid-column:1;grid-row:2;margin-bottom:0}.class-definitions{grid-column:2;grid-row:1/3;border:0;border-left:1px solid var(--line);padding:0 0 0 22px}.pair-evidence{grid-column:1/-1;border-top:1px solid var(--line);padding-top:16px}.matrix-toolbar{grid-template-columns:minmax(0,1fr) 38px minmax(0,1fr);gap:11px}.footer{margin-left:24px;margin-right:24px}}
@media(max-width:560px){h1{font-size:39px;letter-spacing:-1.2px}h1 br{display:none}.wordmark{font-size:16px;gap:9px}.mark{font-size:28px}.masthead-inner{padding:15px 20px}.repo-link{font-size:10px;padding:7px 9px}.hero-inner{padding:28px 20px}.hero-meta{flex-wrap:wrap;gap:8px;font-size:10px}.hero-meta .meta-divider{margin:0 4px}.hero-meta strong{margin-left:5px}.hero-description{font-size:15px}.page-content{padding:0 20px}.section-heading{align-items:flex-start;gap:14px;margin-bottom:19px}.section-aside{font-size:9px;max-width:120px;margin-top:25px}.section-heading h2{font-size:29px}.leaderboard-table th,.leaderboard-table td{padding:14px 13px}.leaderboard-table th{font-size:8px;letter-spacing:.6px}.leaderboard-table th:first-child,.leaderboard-table td:first-child{width:40px}.leaderboard-table .number-column{width:100px}.entry-name{font-size:12px}.entry-description{font-size:9px}.leaderboard-score{font-size:24px}.record-status{font-size:9px;white-space:nowrap}.record-date{font-size:8px}.leaderboard-foot{padding:12px 13px;align-items:flex-start}.leaderboard-foot p{font-size:9px}.small-dot{margin-top:5px}.field label{font-size:9px}.field select{font-size:11px}.matrix-legend{gap:9px 14px}.matrix-legend>span{font-size:8px}.swatch{width:8px;height:8px}.matrix-card-header{font-size:9px;padding:10px 12px}.micro-label{font-size:7px}.matrix-scroll{max-height:435px}.pair-panel{display:block;padding:20px}.pair-panel h3{font-size:32px;margin:8px 0 10px}.pair-panel>.pair-scores{margin:12px 0 16px}.class-definitions{border:0;border-top:1px solid var(--line);padding:15px 0 0}.class-definitions dt{font-size:10px}.class-definitions dd{font-size:10px}.pair-evidence{margin-top:16px;padding-top:14px}.section-note{font-size:9px}.source-list{grid-template-columns:1fr;gap:16px}.source-preface{font-size:10px}.dataset-id{flex-wrap:wrap;gap:7px 12px}.dataset-id code{order:3;flex-basis:100%;font-size:8px}.footer{margin:10px 20px 0;padding:21px 0;gap:10px;flex-wrap:wrap}.footer>span{font-size:11px}.footer p{order:3;flex-basis:100%;font-size:9px}.footer a{margin-left:auto;font-size:9px}}

@media(max-width:1080px){.leaderboard-table th,.leaderboard-table td{padding-left:18px;padding-right:18px}}
@media(max-width:820px){.section-intro{font-size:11px}}
@media(max-width:560px){.leaderboard-table th,.leaderboard-table td{padding-left:10px;padding-right:10px}.leaderboard-table th{font-size:7px;letter-spacing:.35px}.leaderboard-table .leaderboard-empty{padding:24px 16px}.leaderboard-empty strong{font-size:15px}.leaderboard-empty p{font-size:10px;max-width:300px}.leaderboard-table .record-status{white-space:normal}.run-name{font-size:9px}.score-breakdown{font-size:8px}}

@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}.matrix-cell{transition:none}}
@media print{.masthead nav,.repo-link,.matrix-toolbar,.matrix-layout,.matrix-legend,.dataset-id button,.footer>a{display:none}.masthead,.hero{background:white;color:black}.hero-inner{padding:20px 0}.hero-description,.hero-meta{color:#333}.hero-inner{display:block}.page-content{padding:0}.section{break-inside:avoid}.section-note{font-size:10px}.footer{margin:0}.hero-meta strong{color:#333}}

/* Navigation back to Thomas’s benchmark index. */
.personal-site-nav{max-width:1240px;margin:0 auto;padding:11px 40px;font-size:12px}.personal-site-nav a{color:var(--teal);text-decoration:none}.personal-site-nav a:hover{text-decoration:underline}.personal-site-nav a:focus-visible{outline:2px solid var(--teal);outline-offset:4px}@media(max-width:820px){.personal-site-nav{padding:11px 24px}}@media(max-width:560px){.personal-site-nav{padding:11px 20px}}


.ai-marker{font-family:system-ui,sans-serif;font-size:.7em;vertical-align:.1em;cursor:help}



/* Follow the device until the visitor chooses a theme. */
@media screen and (prefers-color-scheme:dark){
  :root:not([data-theme="light"]){
    color-scheme:dark;
    --cream:#151c20;
    --paper:#1c262b;
    --ink:#e9eeea;
    --muted:#b2bfbd;
    --line:#3b484b;
    --teal:#7ac5b8;
    --teal-light:#253e3a;
    --coral:#d99784;
    --unreviewed:#394347;
    --violet:#b6a0d6;
    --gold:#ddb968;
    --gold-light:#403824;
    --consequence:#78a8ec;
    --consequence-edge:#c0daff;
    --consequence-text:#b4d3ff;
    --consequence-tint:#243d5f;
  }
  :root:not([data-theme="light"]) .hero{color:#fffef9}
  :root:not([data-theme="light"]) .leaderboard-table th{background:#253034}
  :root:not([data-theme="light"]) .field select{border-color:var(--line)}
  :root:not([data-theme="light"]) .swatch-unreviewed{border-color:#778582}
  :root:not([data-theme="light"]) .micro-label, :root:not([data-theme="light"]) .matrix-table .corner-cell, :root:not([data-theme="light"]) .uniformity-note{color:var(--muted)}
  :root:not([data-theme="light"]) .matrix-scroll{background:#182126;scrollbar-color:#63756f #182126}
  :root:not([data-theme="light"]) .matrix-table thead th, :root:not([data-theme="light"]) .matrix-table tbody th{background:#182126}
  :root:not([data-theme="light"]) .matrix-cell.diagonal{background:#42685e;box-shadow:inset 0 0 0 1px #9ccbbb80}
  :root:not([data-theme="light"]) .matrix-cell.selected, :root:not([data-theme="light"]) .matrix-cell:hover, :root:not([data-theme="light"]) .matrix-cell:focus-visible{outline-color:var(--ink)}
  :root:not([data-theme="light"]) .error-panel{border-color:#76554b;background:#392a27}

}

@media screen{
  :root[data-theme="dark"]{
    color-scheme:dark;
    --cream:#151c20;
    --paper:#1c262b;
    --ink:#e9eeea;
    --muted:#b2bfbd;
    --line:#3b484b;
    --teal:#7ac5b8;
    --teal-light:#253e3a;
    --coral:#d99784;
    --unreviewed:#394347;
    --violet:#b6a0d6;
    --gold:#ddb968;
    --gold-light:#403824;
    --consequence:#78a8ec;
    --consequence-edge:#c0daff;
    --consequence-text:#b4d3ff;
    --consequence-tint:#243d5f;
  }
  :root[data-theme="dark"] .hero{color:#fffef9}
  :root[data-theme="dark"] .leaderboard-table th{background:#253034}
  :root[data-theme="dark"] .field select{border-color:var(--line)}
  :root[data-theme="dark"] .swatch-unreviewed{border-color:#778582}
  :root[data-theme="dark"] .micro-label, :root[data-theme="dark"] .matrix-table .corner-cell, :root[data-theme="dark"] .uniformity-note{color:var(--muted)}
  :root[data-theme="dark"] .matrix-scroll{background:#182126;scrollbar-color:#63756f #182126}
  :root[data-theme="dark"] .matrix-table thead th, :root[data-theme="dark"] .matrix-table tbody th{background:#182126}
  :root[data-theme="dark"] .matrix-cell.diagonal{background:#42685e;box-shadow:inset 0 0 0 1px #9ccbbb80}
  :root[data-theme="dark"] .matrix-cell.selected, :root[data-theme="dark"] .matrix-cell:hover, :root[data-theme="dark"] .matrix-cell:focus-visible{outline-color:var(--ink)}
  :root[data-theme="dark"] .error-panel{border-color:#76554b;background:#392a27}

}

.personal-site-nav{display:flex;align-items:center;justify-content:space-between;gap:16px}
.theme-toggle{border:1px solid var(--line);background:transparent;color:var(--teal);padding:4px 9px;border-radius:4px;font-size:12px;line-height:1.5;white-space:nowrap}
.theme-toggle:hover{border-color:var(--teal)}
@media print{.theme-toggle{display:none}}


.hero h1{font-size:clamp(28px,5vw,52px);letter-spacing:-.035em;overflow-wrap:anywhere;margin-bottom:16px}
.benchmark-explanation{max-width:85ch}
.benchmark-explanation>p{max-width:80ch;margin-bottom:16px;font-size:15px;line-height:1.75;color:var(--muted)}
.benchmark-explanation .score-formula{font-family:var(--mono);font-size:14px;color:var(--ink);overflow-wrap:anywhere;margin:22px 0}


/* A single scrollable line keeps derivations compact on narrow screens. */
.pair-panel,.pair-evidence{min-width:0}
.pair-evidence .proof-summary{display:flex;align-items:baseline;gap:10px;max-width:100%;overflow-x:auto;white-space:nowrap;margin:0;padding:0 0 6px;font-family:var(--mono);font-size:11px;line-height:1.8;color:var(--ink);scrollbar-width:thin}
.proof-summary:focus-visible{outline:2px solid var(--teal);outline-offset:3px}
.proof-citations{display:inline-flex;gap:5px;font-size:10px;color:var(--teal)}
.pair-score-row{display:flex;align-items:baseline;justify-content:space-between;gap:10px;margin-top:7px}
.pair-score-row strong{font-weight:600;color:var(--ink);font-variant-numeric:tabular-nums;text-align:right}

.pair-operator sup{font-size:.55em;line-height:0;vertical-align:super;margin-left:1px}

/* Preview the consequences of one resolution. */
.pair-score-row .score-preview{border:0;border-radius:2px;background:transparent;padding:0 2px;margin:0 -2px;font-size:inherit;line-height:inherit;font-weight:600;color:var(--ink);font-variant-numeric:tabular-nums;text-align:right;white-space:nowrap}
.pair-score-row .score-preview:hover,.pair-score-row .score-preview:focus-visible{text-decoration:underline;text-underline-offset:3px;color:var(--consequence-text)}
.pair-score-row .score-preview[aria-pressed="true"]{color:var(--consequence-text);background:var(--consequence-tint);text-decoration:underline;text-underline-offset:3px}
.matrix-cell.consequence-preview{background:var(--consequence)!important;box-shadow:inset 0 0 0 1px var(--consequence-edge)!important}
.matrix-scroll{scroll-padding-block-start:96px;scroll-padding-inline-start:96px}

/* Inclusion diagram and the alternate matrix share one selected pair. */
.relationship-visual{min-width:0}
.relationship-layout{grid-template-columns:minmax(0,1fr) 280px}
.relationship-layout>.pair-panel{position:sticky;top:24px}
.view-switch{display:flex;border:1px solid var(--line);border-radius:6px;padding:3px;gap:3px;flex-shrink:0}
.view-switch button{border:0;background:transparent;padding:7px 14px;font-size:12px;color:var(--muted)}
.view-switch button[aria-selected="true"]{background:var(--paper);color:var(--ink);box-shadow:0 1px 3px #00000015}
.diagram-card{border:1px solid var(--line);border-radius:7px;background:var(--paper);overflow:hidden}
.diagram-toolbar{display:flex;align-items:center;justify-content:space-between;gap:12px;padding:12px 16px 8px}
.selection-target,.diagram-zoom{display:flex;gap:4px;align-items:center}
.diagram-toolbar button{font-size:11px;padding:5px 9px;min-height:32px}
.selection-target button{color:var(--muted);border-color:transparent;background:transparent}
.selection-target button[aria-pressed="true"]{color:var(--ink);background:var(--cream);border-color:var(--line)}
.diagram-zoom button{border-color:transparent;background:transparent;min-width:30px}
.diagram-instruction{font-size:10px;color:var(--muted);padding:0 16px 10px;margin:0;border-bottom:1px solid var(--line)}
.diagram-scroll{height:690px;max-height:80vh;min-height:440px;overflow:auto;overscroll-behavior:contain;scrollbar-width:thin;position:relative;cursor:grab;background:var(--cream)}
.diagram-scroll.dragging{cursor:grabbing;user-select:none}
.diagram-surface{position:relative;margin:auto}
.diagram-canvas{position:absolute;top:0;left:0;transform-origin:0 0}
.diagram-lines{position:absolute;inset:0;width:100%;height:100%;overflow:visible}
.diagram-edge{fill:none;stroke:var(--muted);stroke-opacity:.32;stroke-width:1.35;stroke-linejoin:round}
.diagram-edge.on-path{stroke:var(--teal);stroke-opacity:1;stroke-width:3}
.diagram-node{position:absolute;display:flex;align-items:center;justify-content:center;padding:0 4px;border:1px solid var(--line);border-radius:5px;background:var(--paper);color:var(--ink);font-family:var(--mono);font-size:13px;font-weight:500;line-height:1;white-space:nowrap;cursor:pointer;box-shadow:0 1px 2px #00000008}
.diagram-node:hover{border-color:var(--teal);box-shadow:0 0 0 2px var(--line);z-index:3}
.diagram-node.on-path{border-color:var(--teal)}
.diagram-node.affected{background:var(--consequence-tint);border-color:var(--consequence-edge);box-shadow:0 0 0 2px var(--consequence-tint)}
.diagram-node.selected-a,.diagram-node.selected-b{border-color:var(--teal);box-shadow:0 0 0 2px var(--teal);z-index:2;font-weight:700}
.node-selection{position:absolute;top:-11px;right:-5px;padding:2px 4px;border-radius:3px;background:var(--teal);color:var(--paper);font:600 9px/1.1 var(--sans);min-width:14px;text-align:center}
.node-selection:empty{display:none}
.diagram-node:focus-visible{outline:3px solid var(--gold);outline-offset:5px;z-index:4}
.diagram-footer{display:flex;align-items:center;justify-content:space-between;gap:12px;border-top:1px solid var(--line);padding:12px 16px;min-height:54px;font-size:10px;line-height:1.5;color:var(--muted)}
.diagram-footer button{font-size:10px;flex-shrink:0;padding:0}
@media(max-width:1000px){.relationship-layout{grid-template-columns:minmax(0,1fr) 245px}.diagram-toolbar{padding:10px 12px 8px;gap:5px}.diagram-toolbar button{padding:5px 7px}}
@media(max-width:820px){.relationship-layout{grid-template-columns:minmax(0,1fr)}.relationship-layout>.pair-panel{position:static}.diagram-scroll{height:620px}.view-switch button{padding:6px 11px}}
@media(max-width:520px){#frontier>.section-heading{align-items:flex-start;flex-direction:column;gap:16px}.diagram-toolbar{flex-wrap:wrap}.diagram-scroll{height:520px;min-height:400px;max-height:70vh}.diagram-footer{align-items:flex-start;flex-direction:column;gap:6px}.diagram-node{font-size:13px}.diagram-toolbar button{min-height:36px}.view-switch button{min-height:36px}}
