/* Theme B: paper hero with ink type, one plum accent, Fraunces display over
   Source Sans 3 with JetBrains Mono labels. Every color used below is a token
   on :root so the palette can be swapped in one place. The UF logo sits on a
   small dark badge so its yellow mark stays legible on the light hero. */
:root{--ink:#1d1a16;--mut:#6a635a;--ln:#ddd5c8;--bd:#1d1a16;--ac:#6e1e3c;
--achov:#4d1329;--acsoft:#f5e9ee;--ex:#1f6b48;--exb:#ffff00;--dark:#1d1a16;
--bg:#faf7f1;--paper:#f3ede2;--card:#fffdf8;--soft:#f3ede2;--bad:#a3262b;
--lean:#2f3f8f;--attest:#8a5a12;--attestbg:#faf0dc;--badge:#141414;--r:6px;
--font:"Source Sans 3",system-ui,-apple-system,"Segoe UI",sans-serif;
--serif:Fraunces,"Iowan Old Style",Georgia,serif;
--mono:"JetBrains Mono",ui-monospace,Menlo,monospace}
*{box-sizing:border-box}
body{margin:0;background:var(--bg);color:var(--ink);font-family:var(--font);
font-size:16.5px;line-height:1.6}
.wrap{max-width:1060px;margin:0 auto;padding:0 20px}
a{color:var(--ac)}
code,.mono{font-family:var(--mono)}
h1,h2{font-family:var(--serif);font-weight:600;letter-spacing:-.005em}

header.hero{background:var(--paper);color:var(--ink);padding:34px 0 30px;
position:relative;overflow:hidden;border-bottom:1px solid var(--bd)}
header.hero>.wrap{position:relative;z-index:1}
.heroflow{position:absolute;inset:0;width:100%;height:100%;z-index:0;pointer-events:none}
.heroflow .arcs circle{fill:none;stroke:var(--ac);stroke-width:1;opacity:.10}
.heroflow .arcs circle:nth-child(2n){opacity:.06}
.brand{display:flex;align-items:center;justify-content:space-between;gap:16px;margin:0 0 18px}
.brandmark{display:flex;align-items:center;gap:16px}
.brandmark a{display:inline-flex;background:var(--badge);padding:7px 10px;border-radius:4px}
.uflogo{height:34px;width:auto;display:block}
header.hero h1{font-size:clamp(32px,6vw,46px);margin:0 0 14px;line-height:1.1;
font-variation-settings:"opsz" 144;position:relative;padding-bottom:12px}
header.hero h1::after{content:"";position:absolute;left:0;bottom:0;width:64px;height:3px;
background:var(--ac)}
header.hero p{font-size:19px;max-width:640px;margin:0;color:var(--mut)}
header.hero p a{color:var(--ac);text-decoration:underline}
header.hero p a:hover{background:var(--ac);color:#fff;text-decoration:none}
.topnav{display:flex;flex-wrap:wrap;gap:10px;margin-top:20px}
.topnav a{display:inline-flex;align-items:center;gap:7px;color:var(--ink);
font-family:var(--mono);font-size:13px;font-weight:600;
padding:7px 14px;border:1px solid var(--bd);border-radius:4px;
background:transparent;text-decoration:none}
.topnav a:hover{background:var(--ink);color:var(--paper)}
.lbcta{flex:0 0 auto;font-size:13px;font-weight:600;color:#fff;
font-family:var(--mono);background:var(--ac);border:1px solid var(--ac);
border-radius:4px;padding:9px 16px;text-decoration:none;cursor:pointer}
.lbcta:hover{background:var(--achov);border-color:var(--achov)}

h2{font-size:26px;margin:44px 0 4px}
h3{font-family:var(--font);font-size:17px;margin:26px 0 4px;font-weight:700}
.h2sub{color:var(--mut);font-size:14.5px;margin:0 0 14px}
section p{max-width:74ch}

.chartbox{border:1px solid var(--bd);border-radius:var(--r);padding:8px 10px 2px;background:var(--card)}
.chart{width:100%;height:auto;display:block}
.chart .grid{stroke:var(--ln);stroke-width:1}
.chart .ax{font-family:var(--mono);font-size:11px;fill:var(--mut)}
.chart .axl{font-family:var(--mono);font-size:11px;fill:var(--mut)}
.chart .ln{fill:none;stroke-width:2.5;stroke-linejoin:round}
.chart .lbl{font-family:var(--mono);font-size:12px;font-weight:600}
.legend{display:flex;flex-wrap:wrap;gap:8px 18px;padding:10px 4px 12px;
font-family:var(--mono);font-size:12px;color:var(--mut)}
.legend i{display:inline-block;width:10px;height:10px;border-radius:50%;margin-right:6px}

.lb{border:1px solid var(--bd);border-radius:var(--r);background:var(--card);overflow:hidden}
.lbhead{display:flex;flex-wrap:wrap;justify-content:space-between;align-items:flex-end;
gap:12px;padding:14px 18px;border-bottom:1px solid var(--bd);background:var(--paper)}
.lbhead .t{font-family:var(--mono);font-size:12px;letter-spacing:.12em;
text-transform:uppercase;color:var(--ink);font-weight:600}
.lbhead .s{color:var(--mut);font-size:13.5px}
.lbhead .big{font-family:var(--serif);font-size:32px;font-weight:600;
line-height:1;text-align:right}
.lbhead .bigk{font-family:var(--mono);font-size:10px;letter-spacing:.1em;
text-transform:uppercase;color:var(--mut);text-align:right}
.lbrow{display:grid;grid-template-columns:34px 1fr repeat(3,88px);gap:10px;
align-items:center;padding:11px 18px;border-bottom:1px solid var(--ln);background:var(--card)}
.lbrow:last-child{border-bottom:0}
.lbrow .rk{font-family:var(--mono);color:var(--mut);font-size:14px}
.lbrow .who{font-weight:700}
.lbrow .m{text-align:center}
.lbrow .m b{display:block;font-family:var(--serif);font-size:18px;line-height:1.1}
.lbrow .m span{font-family:var(--mono);font-size:10px;
letter-spacing:.06em;text-transform:uppercase;color:var(--mut)}

table{border-collapse:collapse;width:100%;font-size:14.5px}
.tw{overflow-x:auto}
th,td{text-align:left;padding:9px 11px;border-bottom:1px solid var(--ln);white-space:nowrap}
thead th{font-family:var(--mono);font-size:11px;letter-spacing:.07em;
text-transform:uppercase;color:var(--mut);font-weight:400;border-bottom:1px solid var(--bd)}
td.num{text-align:right;font-family:var(--mono);font-variant-numeric:tabular-nums}
tr.rec td{background:var(--acsoft)}

.pill{display:inline-block;font-family:var(--mono);font-size:11px;line-height:1.5;
padding:1px 8px;border-radius:4px;border:1px solid currentColor}
.t-lean{color:var(--lean);text-decoration:none;font-weight:600}
.t-leanbad{color:var(--bad);text-decoration:none;font-weight:600}
.t-leanpend{color:var(--mut);text-decoration:none}
.t-lean:hover{background:var(--lean);color:#fff}
.t-verified{color:var(--ex)}.t-reproduced{color:var(--ac)}
.t-attested{color:var(--attest);border-style:dashed;background:var(--attestbg)}
.t-cited{color:var(--mut)}.t-failed{color:var(--bad)}
a.pill{text-decoration:none}
a.t-cited:hover{color:var(--ac);border-color:var(--ac)}
.gain{color:var(--ex);font-weight:700}
.none{color:var(--mut)}
.bar{position:relative;height:9px;background:var(--ln);border-radius:2px;min-width:120px}
.bar i{position:absolute;top:0;bottom:0;left:0;background:var(--ac);border-radius:2px}

.grid3{display:grid;grid-template-columns:repeat(auto-fit,minmax(300px,1fr));gap:18px}
.orb{border:1px solid var(--bd);border-radius:var(--r);padding:14px 16px;background:var(--card)}
.orb h3{font-family:var(--serif);font-weight:600;margin:0 0 2px;font-size:20px}
.orb .sub{font-family:var(--mono);font-size:11px;color:var(--mut);
text-transform:uppercase;letter-spacing:.07em}
.cells{margin-top:10px;font-family:var(--mono);font-size:13px}
.cells div{display:flex;justify-content:space-between;align-items:center;gap:10px;
padding:5px 0;border-bottom:1px dotted var(--ln);white-space:nowrap}
.cells div>span:first-child{flex:0 0 auto}
.cells div>span:last-child{display:inline-flex;align-items:center;gap:7px;
flex:0 0 auto}
.cells div:last-child{border-bottom:0}

details{border:1px solid var(--bd);border-radius:var(--r);padding:10px 14px;background:var(--card)}
details summary{cursor:pointer;font-family:var(--mono);font-size:13px;font-weight:600}
pre{background:var(--card);border:1px solid var(--ln);border-radius:var(--r);padding:12px 14px;
overflow-x:auto;font-size:12.5px;line-height:1.5}
.refs{list-style:none;padding:0;counter-reset:r}
.refs li{counter-increment:r;padding:12px 0 12px 42px;border-bottom:1px solid var(--ln);
position:relative;max-width:80ch}
.refs li:before{content:"[" counter(r) "]";position:absolute;left:0;top:12px;
font-family:var(--mono);font-size:12px;color:var(--mut)}
.refs .ti{font-weight:700}
.refs .au{color:var(--ink)}
.refs .vn{color:var(--mut)}
.refs .nt{color:var(--mut);font-size:13.5px;margin-top:3px}
.chart .leader{fill:none;stroke-width:1.2;opacity:.55}
.prose code,p code{font-family:var(--mono);font-size:.88em;background:var(--soft);
padding:1px 4px;border-radius:3px}
.chart .hit{cursor:pointer}
.chart .hit:hover{fill:rgba(29,26,22,.06)}
#tip{position:fixed;z-index:50;max-width:310px;padding:7px 10px;border-radius:4px;
background:var(--ink);color:var(--paper);font-family:var(--mono);font-size:11.5px;
line-height:1.45;pointer-events:none;opacity:0;transition:opacity .08s}
#tip.show{opacity:1}
.h2note{font-family:var(--font);font-weight:400;font-size:14px;color:var(--mut);letter-spacing:0}

.modal{border:1px solid var(--bd);border-radius:var(--r);padding:0;max-width:620px;width:calc(100% - 32px);
box-shadow:0 24px 70px rgba(29,26,22,.35);background:var(--card)}
.modal::backdrop{background:rgba(29,26,22,.55)}
.modal h3{margin:0 0 4px;font-size:24px;font-family:var(--serif);font-weight:600}
.modal>*:not(form){padding:0 26px}
.modal h3{padding-top:24px}
.modal p:last-of-type{padding-bottom:24px}
.modal p{color:var(--mut);max-width:none}
.modal form{display:flex;justify-content:flex-end;padding:10px 12px 0}
.modal .x{background:none;border:none;font-size:24px;line-height:1;color:var(--mut);
cursor:pointer;padding:0 6px}
.codewrap{position:relative;margin:14px 26px}
.codewrap pre{background:var(--dark);color:#efe9dd;border:none;margin:0;
padding:16px 18px;border-radius:var(--r)}
.codewrap code{color:#efe9dd}
.copy{position:absolute;top:10px;right:10px;font-family:var(--mono);
font-size:11px;background:var(--ac);color:#fff;border:none;border-radius:4px;
padding:4px 10px;cursor:pointer}
.copy:hover{background:var(--achov)}

.recent{display:flex;flex-direction:column;gap:6px;border:1px solid var(--bd);
border-radius:var(--r);padding:8px;background:var(--card)}
.rrow{display:flex;align-items:center;gap:12px;flex-wrap:nowrap;white-space:nowrap;
padding:9px 14px;border-radius:4px;background:var(--card)}
.rrow:hover{background:var(--acsoft)}
.rb{font-size:13.5px;font-weight:700;text-decoration:none;color:var(--ink);flex:0 0 auto}
.rb:hover{color:var(--ac)}
.star{color:var(--ac);flex:0 0 auto}
.rt{color:var(--mut);font-size:13.5px;flex:0 0 auto}
.rw{font-size:13.5px;flex:0 0 auto}
.rd{font-family:var(--mono);font-size:12px;color:var(--mut);
margin-left:auto;flex:0 0 auto}
.tp{font-family:"Cambria Math","STIX Two Math","DejaVu Math TeX Gyre",
"Latin Modern Math",serif;font-size:.86em;vertical-align:.02em}
.warn{border:1px solid var(--bd);border-left:4px solid var(--bad);border-radius:var(--r);
padding:12px 16px;background:var(--card);margin:22px 0 0;font-size:14.5px}
.warn b{color:var(--bad)}
.tgt{font-family:var(--mono);font-size:11.5px;color:var(--mut);
white-space:nowrap}
.tgtg{color:var(--ac);margin-left:8px;font-weight:600}
a.lgd{color:var(--mut);text-decoration:none;display:inline-flex;align-items:center}
a.lgd:hover{color:var(--ac)}
a.m{text-decoration:none;color:inherit;border-radius:4px;padding:4px 0}
a.m:hover{background:var(--soft);color:var(--ac)}
.lbrow .who a{text-decoration:none;color:var(--ink)}
.lbrow .who a:hover{color:var(--ac)}
.orb h3 a,.exp a{text-decoration:none;color:inherit}
.orb h3 a:hover{color:var(--ac)}
.statebox{border:1px solid var(--bd);border-left:4px solid var(--ac);
border-radius:var(--r);padding:16px 20px;background:var(--card);margin:4px 0 14px}
.stateeq{font-size:19px;line-height:1.8;overflow-x:auto}
.stateeq sup{font-size:.7em}
.ket{font-family:var(--font);font-weight:600;white-space:nowrap}
.ket math{font-size:1.02em}
math{font-family:"STIX Two Math","Cambria Math","Latin Modern Math",serif}
.stateeq math{font-size:1.5em}
.h2sub math,.sub math,thead math{font-size:1em}
.sub math{color:var(--mut)}
header.hero p br{line-height:2}
@media(max-width:820px){.rrow .rt,.rrow .rw{display:none}}

.scroll{max-height:520px;overflow-y:auto;border:1px solid var(--bd);border-radius:var(--r);
background:var(--card)}
.scroll table{font-size:13.5px}
.scroll thead th{position:sticky;top:0;background:var(--card);z-index:1;
box-shadow:inset 0 -1px 0 var(--bd)}
a.gh{text-decoration:none;font-weight:600}
td.mono a{text-decoration:none;border-bottom:1px dotted var(--ln);padding-bottom:1px}
td.mono a:hover{border-bottom-color:var(--ac)}
a.gh:hover{text-decoration:underline}

footer.foot{margin:64px 0 0;border-top:1px solid var(--bd);background:var(--paper)}
.footmain{max-width:1060px;margin:0 auto;padding:26px 20px 30px}
.footbrand{max-width:420px}
.footbrand .fb{display:flex;align-items:center;gap:12px;margin-bottom:8px}
.footbrand .fb span{font-family:var(--serif);font-size:19px;font-weight:600;color:var(--ink)}
.footbrand p{margin:0;color:var(--mut);font-size:14.5px}
.footlinks{display:flex;flex-wrap:wrap;gap:8px 22px;align-items:center;margin-top:16px}
.footlinks a{display:inline-flex;align-items:center;gap:7px;color:var(--ink);
text-decoration:none;font-size:14.5px}
.footlinks a:hover{color:var(--ac);text-decoration:underline}
.footlinks svg{width:16px;height:16px}
@media(max-width:700px){.lbrow{grid-template-columns:28px 1fr 70px;}
.lbrow .m:nth-child(n+4){display:none}
/* a long bound title plus the date exceeds a phone width, so let the row wrap */
.rrow{flex-wrap:wrap;white-space:normal;row-gap:2px}
.rrow .rb{flex:1 1 auto;min-width:0}}