:root{
  --bg:#ffffff;--bg2:#f6f7f9;--bg3:#eef0f3;--fg:#1d2127;--fg2:#4a515c;--fg3:#737b87;--line:#e1e4e8;
  --accent:#b31b1b;--link:#1f5fbf;--shadow:0 1px 2px rgba(0,0,0,.05),0 2px 8px rgba(0,0,0,.04);
  --k-statement:#2f6fdb;--k-definition:#1d9a6c;--k-proof:#7a8494;--k-remark:#c48a12;--k-example:#8a5cd1;
  --k-problem:#d2453c;--k-conjecture:#d4307f;--k-other:#5a6b7d;
  --serif:"Iowan Old Style","Palatino Linotype",Palatino,"Charter","Source Serif Pro",Georgia,serif;
  --sans:-apple-system,BlinkMacSystemFont,"Segoe UI",Inter,Roboto,"Helvetica Neue",Arial,sans-serif;
  --mono:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;
  color-scheme:light;
}
@media (prefers-color-scheme:dark){:root:not([data-theme=light]){
  --bg:#0f1216;--bg2:#161a20;--bg3:#1e232b;--fg:#e4e7ec;--fg2:#b3bac5;--fg3:#87909c;--line:#2a3039;
  --accent:#ef5b5b;--link:#7fb0ff;--shadow:none;color-scheme:dark;
  --k-statement:#6d9eff;--k-definition:#3cc795;--k-proof:#9aa3b1;--k-remark:#e8b33b;--k-example:#b18cf0;
  --k-problem:#ff7a70;--k-conjecture:#ff6fae;--k-other:#8c9cad}}
:root[data-theme=dark]{
  --bg:#0f1216;--bg2:#161a20;--bg3:#1e232b;--fg:#e4e7ec;--fg2:#b3bac5;--fg3:#87909c;--line:#2a3039;
  --accent:#ef5b5b;--link:#7fb0ff;--shadow:none;color-scheme:dark;
  --k-statement:#6d9eff;--k-definition:#3cc795;--k-proof:#9aa3b1;--k-remark:#e8b33b;--k-example:#b18cf0;
  --k-problem:#ff7a70;--k-conjecture:#ff6fae;--k-other:#8c9cad}
*{box-sizing:border-box}
html{scroll-padding-top:72px}
body{margin:0;background:var(--bg);color:var(--fg);font:16px/1.6 var(--sans);-webkit-font-smoothing:antialiased}
a{color:var(--link);text-decoration:none}
a:hover{text-decoration:underline}
h1,h2,h3,h4{line-height:1.25;font-weight:650;letter-spacing:-.01em}
h1{font-family:var(--serif);font-size:2.1rem;font-weight:600;margin:.2em 0 .4em}
h2{font-size:1.3rem;margin:1.8em 0 .6em;padding-bottom:.3em;border-bottom:1px solid var(--line)}
.mono{font-family:var(--mono);font-size:.9em}
.n{color:var(--fg3);font-size:.85em;font-weight:500}
.lead{font-size:1.1rem;color:var(--fg2);max-width:46rem}
.hint{color:var(--fg3);font-size:.9em}
.note{background:var(--bg2);border:1px solid var(--line);border-radius:10px;padding:.8em 1em;color:var(--fg2);max-width:60rem}

/* top bar */
.top{position:sticky;top:0;z-index:20;display:flex;align-items:center;gap:1rem;height:56px;padding:0 1.2rem;background:color-mix(in srgb,var(--bg) 88%,transparent);backdrop-filter:saturate(180%) blur(10px);border-bottom:1px solid var(--line)}
.brand{display:flex;align-items:center;gap:.5rem;font-weight:700;color:var(--fg);font-size:1.05rem;white-space:nowrap}
.brand:hover{text-decoration:none}
.logo{display:inline-grid;place-items:center;width:28px;height:28px;border-radius:7px;background:var(--accent);color:#fff;font-family:var(--serif);font-size:1.15rem}
.search{position:relative;flex:1;max-width:560px;margin-left:auto}
.search input{width:100%;height:36px;padding:0 .9rem;border:1px solid var(--line);border-radius:9px;background:var(--bg2);color:var(--fg);font:inherit;font-size:.95rem}
.search input:focus{outline:2px solid color-mix(in srgb,var(--link) 40%,transparent);background:var(--bg)}
#hits{position:absolute;left:0;right:0;top:42px;margin:0;padding:.3rem;list-style:none;background:var(--bg);border:1px solid var(--line);border-radius:10px;box-shadow:0 8px 30px rgba(0,0,0,.15);max-height:70vh;overflow:auto}
#hits li a{display:block;padding:.45rem .6rem;border-radius:7px;color:var(--fg)}
#hits li a:hover,#hits li.sel a{background:var(--bg3);text-decoration:none}
#hits small{display:block;color:var(--fg3);font-size:.8rem;white-space:nowrap;overflow:hidden;text-overflow:ellipsis}
.theme,.menu{border:1px solid var(--line);background:var(--bg2);color:var(--fg2);border-radius:8px;height:34px;width:34px;cursor:pointer;font-size:1rem}
.menu{display:none}

/* frame */
.frame{display:grid;grid-template-columns:250px minmax(0,1fr);max-width:1500px;margin:0 auto}
.side{position:sticky;top:56px;height:calc(100vh - 56px);overflow:auto;padding:1.2rem .8rem 2rem 1.2rem;border-right:1px solid var(--line);font-size:.92rem}
.side h3{font-size:.72rem;text-transform:uppercase;letter-spacing:.08em;color:var(--fg3);margin:1.4em .5rem .4em}
.side h3:first-child{margin-top:0}
.side a{display:flex;align-items:center;gap:.5rem;padding:.3rem .5rem;border-radius:7px;color:var(--fg2)}
.side a:hover{background:var(--bg3);text-decoration:none;color:var(--fg)}
.side a.on{background:var(--bg3);color:var(--fg);font-weight:600}
.side a .n{margin-left:auto}
main{padding:1.6rem 2.4rem 4rem;min-width:0}
.dot{display:inline-block;width:9px;height:9px;border-radius:50%;background:var(--kc,var(--k-other));flex:none}
.dot.big{width:14px;height:14px;margin-right:.5rem;vertical-align:middle}
.k-statement{--kc:var(--k-statement)}.k-definition{--kc:var(--k-definition)}.k-proof{--kc:var(--k-proof)}
.k-remark{--kc:var(--k-remark)}.k-example{--kc:var(--k-example)}.k-problem{--kc:var(--k-problem)}
.k-conjecture{--kc:var(--k-conjecture)}.k-other{--kc:var(--k-other)}

/* home */
.hero h1{font-size:2.6rem;margin-top:.3em}
.stats{display:grid;grid-template-columns:repeat(auto-fit,minmax(150px,1fr));gap:.8rem;margin:1.6rem 0}
.stat{display:flex;flex-direction:column;padding:1rem 1.1rem;border:1px solid var(--line);border-radius:12px;background:var(--bg);box-shadow:var(--shadow);border-top:3px solid var(--kc,var(--accent));color:var(--fg)}
.stat:hover{text-decoration:none;background:var(--bg2)}
.stat b{font-size:1.7rem;font-weight:700;font-variant-numeric:tabular-nums}
.stat span{color:var(--fg3);font-size:.9rem}
.cols{display:grid;grid-template-columns:minmax(0,1fr) 300px;gap:2.4rem}
.kinds,.cats{list-style:none;padding:0;margin:0}
.kinds li{display:flex;align-items:center;justify-content:space-between;padding:.25rem 0}
.kinds li a{display:flex;align-items:center;gap:.5rem}
.cats{display:flex;flex-wrap:wrap;gap:.4rem}
.cats li{border:1px solid var(--line);border-radius:999px;padding:.1rem .65rem;font-size:.88rem;background:var(--bg2)}
.cats.wide li{font-size:.95rem}
.more{font-weight:600}

/* paper lists */
.plist{list-style:none;padding:0;margin:0}
.prow{padding:.85rem 0;border-bottom:1px solid var(--line)}
.ptitle{font-family:var(--serif);font-size:1.12rem;font-weight:600;color:var(--fg)}
.pmeta{color:var(--fg3);font-size:.88rem;margin-top:.15rem}
.pcounts{margin-top:.35rem;display:flex;flex-wrap:wrap;gap:.35rem}
.chip{font-size:.75rem;padding:.05rem .5rem;border-radius:999px;color:var(--kc);background:color-mix(in srgb,var(--kc) 12%,transparent)}
.lic{font-size:.8rem;padding:.05rem .5rem;border-radius:5px;background:color-mix(in srgb,var(--k-definition) 14%,transparent);color:var(--k-definition);font-weight:600}
.lic.closed{background:var(--bg3);color:var(--fg3)}
.months{display:flex;flex-wrap:wrap;gap:.3rem;margin:1rem 0}
.months a{font-family:var(--mono);font-size:.8rem;padding:.1rem .45rem;border:1px solid var(--line);border-radius:6px}
.crumbs{font-size:.88rem;color:var(--fg3)}

/* paper */
.paper{display:grid;grid-template-columns:minmax(0,1fr) 230px;gap:2.4rem}
.pmain{max-width:52rem;min-width:0}
.ptitle-h{font-size:2rem}
.authors{font-size:1.05rem;color:var(--fg2);margin:.2rem 0 1rem}
.facts{display:grid;grid-template-columns:max-content 1fr;gap:.25rem 1rem;font-size:.92rem;margin:0 0 1rem;padding:.8rem 1rem;background:var(--bg2);border:1px solid var(--line);border-radius:10px}
.facts dt{color:var(--fg3)}
.facts dd{margin:0}
.abstract{font-family:var(--serif);font-size:1.05rem}
.abstract h2,.items-h{font-family:var(--sans)}
.toc{position:sticky;top:76px;align-self:start;max-height:calc(100vh - 96px);overflow:auto;font-size:.85rem;border-left:1px solid var(--line);padding-left:1rem}
.toc h4{margin:.2rem 0 .5rem;font-size:.72rem;text-transform:uppercase;letter-spacing:.08em;color:var(--fg3)}
.toc ol{list-style:none;margin:0;padding:0}
.toc li{border-left:2px solid var(--kc);padding:.1rem 0 .1rem .5rem;margin:.15rem 0}
.toc li a{color:var(--fg2)}
.toc li a.on{color:var(--fg);font-weight:600}

/* items */
.item{position:relative;margin:1.1rem 0;padding:.9rem 1.15rem 1rem;border:1px solid var(--line);border-left:4px solid var(--kc);border-radius:10px;background:var(--bg);box-shadow:var(--shadow)}
.item:target,.proof:target{outline:2px solid color-mix(in srgb,var(--kc) 55%,transparent)}
.ihead{display:flex;align-items:baseline;gap:.6rem;flex-wrap:wrap}
.ihead h3{margin:0;font-size:1.02rem;font-weight:650}
.ihead h3 a{color:var(--fg)}
.iname{font-weight:500;color:var(--fg2);font-style:italic}
.badge{font-size:.68rem;text-transform:uppercase;letter-spacing:.06em;font-weight:700;padding:.12rem .45rem;border-radius:5px;color:var(--kc);background:color-mix(in srgb,var(--kc) 13%,transparent);white-space:nowrap}
.tag{margin-left:auto;font-size:.78rem;color:var(--fg3)}
.ibody{font-family:var(--serif);font-size:1.04rem;line-height:1.65;margin-top:.5rem;overflow-wrap:anywhere}
.k-statement>.ibody,.k-conjecture>.ibody{font-style:italic}
.k-statement>.ibody .math,.k-conjecture>.ibody .math{font-style:normal}
.ibody p{margin:.5em 0}
.ibody ul,.ibody ol{margin:.4em 0;padding-left:1.6em}
.ibody .label{font-weight:600;font-style:normal}
.ibody .inner{margin:.6em 0;padding:.4em .8em;border-left:3px solid var(--line);background:var(--bg2);border-radius:4px}
.ibody .inner-head{font-weight:700;font-style:normal}
.ibody .center{text-align:center}
.ibody .quote,.ibody .quotation{margin:.5em 1.5em}
.ibody .fn{font-size:.9em;color:var(--fg2)}
.ibody .sc{font-variant:small-caps}
.ibody .cite{font-family:var(--sans);font-size:.82em;color:var(--fg3);font-style:normal}
.ibody .ref{font-style:normal}
.ibody .ref.missing{color:var(--fg3)}
.omitted{font-family:var(--sans);font-size:.85rem;color:var(--fg3);border:1px dashed var(--line);border-radius:6px;padding:.4em .7em;margin:.5em 0;font-style:normal}
.math.display{overflow-x:auto;overflow-y:hidden;margin:.6em 0;padding:.1em 0;font-style:normal}
.math.display:not(.done){font-family:var(--mono);font-size:.85em;color:var(--fg3);white-space:pre-wrap}
.irefs{margin-top:.6rem;font-size:.85rem;color:var(--fg3)}
.irefs .lab{font-weight:600;text-transform:uppercase;font-size:.7rem;letter-spacing:.06em;margin-right:.2rem}
.closed-note{color:var(--fg3);font-size:.9rem;margin:.5rem 0 0}
.proof{--kc:var(--k-proof);margin:.8rem 0 0;border-top:1px solid var(--line);padding-top:.5rem}
.proof summary{cursor:pointer;display:flex;align-items:baseline;gap:.5rem;list-style:none;color:var(--fg2)}
.proof summary::-webkit-details-marker{display:none}
.proof summary::before{content:"▸";color:var(--fg3);transition:transform .15s}
.proof[open] summary::before{transform:rotate(90deg)}
.proof .ibody{font-style:normal}
.proof .ibody::after{content:"∎";float:right;color:var(--fg3)}
.attrib{margin-top:2.5rem;font-size:.92rem;color:var(--fg2);background:var(--bg2);border:1px solid var(--line);border-radius:10px;padding:.3rem 1.2rem .6rem}
.attrib h2{border:0;font-size:1rem;margin:.8em 0 .2em}

/* kind index */
.filter{width:100%;max-width:420px;height:36px;padding:0 .8rem;border:1px solid var(--line);border-radius:8px;background:var(--bg2);color:var(--fg);font:inherit;margin:.4rem 0 1rem}
.kpaper{margin:0 0 1.1rem}
.kpaper h3{font-family:var(--serif);font-size:1.02rem;font-weight:600;margin:.4rem 0 .2rem}
.kpaper h3 a{color:var(--fg)}
.kpaper ul{margin:0;padding-left:1.2rem;columns:2 22rem;column-gap:2rem}
.kpaper li{break-inside:avoid;font-size:.92rem}

/* tables and prose */
.tbl{border-collapse:collapse;width:100%;max-width:56rem;font-size:.94rem;margin:1rem 0}
.tbl th,.tbl td{text-align:left;padding:.5rem .7rem;border-bottom:1px solid var(--line)}
.tbl th{font-size:.8rem;text-transform:uppercase;letter-spacing:.05em;color:var(--fg3)}
.prose{max-width:46rem}
.prose li{margin:.35em 0}
.foot{border-top:1px solid var(--line);padding:1.4rem 2rem 2.4rem;color:var(--fg3);font-size:.84rem;background:var(--bg2)}
.foot p{max-width:70rem;margin:.4em auto}

@media (max-width:1150px){.paper{grid-template-columns:minmax(0,1fr)}.toc{display:none}.cols{grid-template-columns:minmax(0,1fr)}}
@media (max-width:820px){
  .frame{grid-template-columns:minmax(0,1fr)}
  .menu{display:block}
  .side{position:fixed;left:0;top:56px;width:270px;z-index:15;background:var(--bg);transform:translateX(-100%);transition:transform .2s;box-shadow:0 0 30px rgba(0,0,0,.2)}
  .side.open{transform:none}
  main{padding:1.2rem 1rem 3rem}
  .brand{font-size:0;gap:0}.brand .logo{font-size:1.15rem}
  h1,.ptitle-h{font-size:1.6rem}.hero h1{font-size:1.9rem}
  .item{padding:.8rem .85rem}
}