/* Shared by every page under research/pythagoras-prover-4b/: the section sub-navigation,
   plus long-form result styles scoped under .note so they never touch the visual pages. */
.subnav{position:sticky;top:41px;z-index:50;display:flex;align-items:center;gap:6px 16px;flex-wrap:wrap;padding:9px 18px;font:11px/1.4 var(--mono);letter-spacing:.08em;text-transform:uppercase;background:color-mix(in srgb,var(--head-bg) 92%,transparent);backdrop-filter:blur(8px);border-bottom:1px solid var(--line);color:var(--muted)}
.subnav a{color:inherit;text-decoration:none;white-space:nowrap}
.subnav a:hover,.subnav a:focus-visible,.subnav a[aria-current="page"]{color:var(--accent)}
.subnav b{color:var(--ink);font-weight:700;margin-right:10px}
.subnav span{opacity:.5}
@media(max-width:790px){.subnav{top:64px}}
@media(max-width:480px){.subnav{top:58px;padding:8px 10px;gap:4px 12px}}

.note .hero{padding-top:calc(var(--site-header-height,65px) + 48px)}
.note .hero h1{max-width:16ch}
.note .hero .lede{max-width:46ch}
.note .meta{font:12px/1.7 var(--mono);letter-spacing:.06em;color:var(--muted);margin:28px 0 0}
.note .section h3{margin-top:40px}
.note code{font:.84em/1.4 var(--mono);background:var(--accent-soft);border:1px solid var(--line);border-radius:2px;padding:1px 5px;overflow-wrap:anywhere}
.note .table-wrap{overflow-x:auto;margin:28px 0;border:1px solid var(--line);background:var(--paper)}
.note .data{border-collapse:collapse;width:100%;min-width:620px;font-size:16px;line-height:1.5;text-align:left;font-variant-numeric:tabular-nums}
.note .data th{font:11px/1.4 var(--mono);text-transform:uppercase;letter-spacing:.12em;color:var(--accent);background:var(--panel);white-space:nowrap}
.note .data th,.note .data td{padding:12px 15px;border-bottom:1px solid var(--line);vertical-align:top}
.note .data tbody tr:last-child td{border-bottom:0}
.note .data td{color:var(--muted)}
.note .data td:first-child,.note .data td.hit{color:var(--ink);font-weight:700}
.note .data td.hit{color:var(--accent)}
.note .stats{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:1px;background:var(--line);border:1px solid var(--line);margin-top:34px}
.note .stats div{background:var(--paper);padding:24px 22px}
.note .stats b{display:block;font:clamp(30px,4vw,44px)/1 var(--display-face);color:var(--accent);margin-bottom:10px;font-variant-numeric:tabular-nums}
.note .stats span{font-size:15px;line-height:1.45;color:var(--muted);display:block}
.note .correction{border:1px solid var(--line);border-left:3px solid var(--accent);background:var(--panel);padding:22px 26px;margin:28px 0;max-width:76ch}
.note .correction .label{display:block;margin-bottom:8px}
.note .correction p:last-child{margin-bottom:0}
.note ol.findings{padding-left:1.3em;max-width:70ch}
.note ol.findings li{margin-bottom:16px}
.note .card h3 a{color:inherit;text-decoration:none}
.note .card h3 a:hover{color:var(--accent)}
.note a.card{display:block;text-decoration:none;color:inherit}
.note a.card:hover{border-color:var(--accent);filter:none}
@media(max-width:760px){.note .stats{grid-template-columns:repeat(2,minmax(0,1fr))}.note .hero{padding-top:calc(var(--site-header-height,65px) + 32px)}}

/* Visual pages: their own in-page header scrolls with the content (the Sekos bars are the fixed ones). */
body.viz header.top{position:static}
body.viz [id]{scroll-margin-top:96px}