/* AI Engineer Exhaustive — lab desk, not Claude parchment.
   Cool office gray + graph paper (math site). White sheets for reading.
   Links are ordinary web blue. Dark is GitHub dark, not "warm night". */
*,*::before,*::after{box-sizing:border-box}
:root{
  --bg:#eef1f4;
  --bg-elev:#ffffff;
  --bg-soft:#e6eaef;
  --fg:#1f2328;
  --mut:#656d76;
  --line:#d0d7de;
  --acc:#0969da;
  --acc-ink:#ffffff;
  --mint:#1a7f37;
  --rose:#cf222e;
  --easy:#1a7f37;
  --medium:#9a6700;
  --hard:#cf222e;
  --advanced:#8250df;
  --grid:#d8dee6;
  --code:#f6f8fa;
  --radius:2px;
  --wrap:1100px;
  --prose:42rem;
  --serif:ui-sans-serif,system-ui,-apple-system,sans-serif;
  --sans:ui-sans-serif,system-ui,-apple-system,"Segoe UI",sans-serif;
  --mono:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;
  --shadow:none;
  color-scheme:light;
}
@media(prefers-color-scheme:dark){
  :root:not([data-theme=light]){
    --bg:#0d1117;
    --bg-elev:#161b22;
    --bg-soft:#21262d;
    --fg:#e6edf3;
    --mut:#8b949e;
    --line:#30363d;
    --acc:#58a6ff;
    --acc-ink:#0d1117;
    --mint:#3fb950;
    --rose:#f85149;
    --easy:#3fb950;
    --medium:#d29922;
    --hard:#f85149;
    --advanced:#d2a8ff;
    --grid:#21262d;
    --code:#0d1117;
    color-scheme:dark;
  }
}
:root[data-theme=light]{
  --bg:#eef1f4;
  --bg-elev:#ffffff;
  --bg-soft:#e6eaef;
  --fg:#1f2328;
  --mut:#656d76;
  --line:#d0d7de;
  --acc:#0969da;
  --acc-ink:#ffffff;
  --mint:#1a7f37;
  --rose:#cf222e;
  --easy:#1a7f37;
  --medium:#9a6700;
  --hard:#cf222e;
  --advanced:#8250df;
  --grid:#d8dee6;
  --code:#f6f8fa;
  color-scheme:light;
}
:root[data-theme=dark]{
  --bg:#0d1117;
  --bg-elev:#161b22;
  --bg-soft:#21262d;
  --fg:#e6edf3;
  --mut:#8b949e;
  --line:#30363d;
  --acc:#58a6ff;
  --acc-ink:#0d1117;
  --mint:#3fb950;
  --rose:#f85149;
  --easy:#3fb950;
  --medium:#d29922;
  --hard:#f85149;
  --advanced:#d2a8ff;
  --grid:#21262d;
  --code:#0d1117;
  color-scheme:dark;
}

html{-webkit-text-size-adjust:100%;scroll-behavior:smooth}
@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}*{animation:none!important;transition:none!important}}
body{
  margin:0;color:var(--fg);font:16px/1.5 var(--sans);min-height:100vh;
  background-color:var(--bg);
  background-image:
    linear-gradient(var(--grid) 1px, transparent 1px),
    linear-gradient(90deg, var(--grid) 1px, transparent 1px);
  background-size:24px 24px;
}
.skip{position:absolute;left:-999px;top:8px;background:var(--acc);color:var(--acc-ink);padding:8px 12px;z-index:20;border-radius:6px}
.skip:focus{left:12px}
.wrap{width:min(var(--wrap),calc(100% - 40px));margin:0 auto}
main.wrap,article.prose{position:relative;z-index:1}
main{padding:36px 0 80px}

/* header */
.site-header{position:sticky;top:0;z-index:8;background:var(--bg-elev);border-bottom:1px solid var(--line)}
.site-header .wrap{display:flex;align-items:center;gap:18px;padding:12px 0;min-height:56px}
.brand{display:flex;align-items:center;gap:8px;font-family:var(--sans);font-weight:700;letter-spacing:-.02em;text-decoration:none;color:var(--fg);font-size:0.92rem;white-space:nowrap}
.brand .mark{color:var(--acc);font-size:1.05rem;line-height:1}
.nav-toggle{display:none;margin-left:auto;background:none;border:1px solid var(--line);color:var(--fg);border-radius:var(--radius);padding:8px 10px;cursor:pointer}
.nav-toggle span{display:block;width:16px;height:1.5px;background:var(--fg);margin:3px 0}
.site-nav{display:flex;gap:2px;flex-wrap:wrap;align-items:center}
.site-nav a{color:var(--mut);text-decoration:none;font-size:13px;padding:6px 8px;border-bottom:2px solid transparent}
.site-nav a:hover,.site-nav a.on{color:var(--fg);background:transparent}
.site-nav a.on{border-bottom-color:var(--acc);color:var(--fg)}
.header-tools{margin-left:auto;display:flex;gap:8px;align-items:center}
.icon-btn{background:var(--bg-elev);border:1px solid var(--line);color:var(--fg);border-radius:var(--radius);width:34px;height:34px;cursor:pointer;font-size:15px;line-height:1}
.icon-btn:hover{border-color:var(--acc);color:var(--acc)}
.readbar{position:sticky;top:56px;z-index:7;height:2px;background:transparent}
.readbar>i{display:block;height:100%;width:0;background:var(--acc)}

/* type */
h1,h2,h3,h4{font-family:var(--sans);letter-spacing:-.03em;line-height:1.15;font-weight:650}
.hero h1,article.prose>h1:first-child{font-family:var(--sans);font-weight:650;letter-spacing:-.03em}
h1{font-size:clamp(1.8rem,3vw,2.4rem);margin:0 0 .4em}
h2{margin-top:1.8em;border-bottom:1px solid var(--line);padding-bottom:.25em}
h3{margin-top:1.4em}
a{color:var(--acc)}
a:focus-visible,.icon-btn:focus-visible,.nav-toggle:focus-visible,button:focus-visible,input:focus-visible{
  outline:2px solid var(--acc);outline-offset:2px
}
.lede{color:var(--mut);font-size:1.08rem;max-width:40rem}
.kicker{display:flex;gap:8px;flex-wrap:wrap;align-items:center;margin:0 0 10px;color:var(--mut);font-size:12px;letter-spacing:.08em;text-transform:uppercase}
.crumbs{display:flex;flex-wrap:wrap;gap:6px;align-items:center;font-size:13px;color:var(--mut);margin:0 0 18px}
.crumbs a{color:var(--mut);text-decoration:none}
.crumbs a:hover{color:var(--acc)}
.crumbs span{opacity:.5}

/* pills */
.pill{display:inline-flex;align-items:center;gap:4px;border-radius:var(--radius);padding:2px 7px;font-size:11px;letter-spacing:.06em;text-transform:uppercase;border:1px solid var(--line);color:var(--mut);font-family:var(--mono)}
.pill.easy{color:var(--easy);border-color:color-mix(in srgb,var(--easy) 45%,var(--line))}
.pill.medium{color:var(--medium);border-color:color-mix(in srgb,var(--medium) 45%,var(--line))}
.pill.hard{color:var(--hard);border-color:color-mix(in srgb,var(--hard) 45%,var(--line))}
.pill.advanced{color:var(--advanced);border-color:color-mix(in srgb,var(--advanced) 45%,var(--line))}
.pill.lock{color:var(--mut)}

/* home */
.hero{padding:18px 0 8px}
.hero h1{font-size:clamp(2.2rem,5vw,3.4rem);max-width:16ch}
.hero h1 em{font-style:italic;color:var(--acc);font-weight:500}
.dash{margin:28px 0;padding:18px 20px;background:var(--bg-elev);border:1px solid var(--line);border-radius:var(--radius)}
.dash-top{display:flex;justify-content:space-between;gap:16px;flex-wrap:wrap;align-items:end}
.dash h2{margin:0;border:none;padding:0;font-size:1.15rem}
.big-pct{font-family:var(--mono);font-size:2.2rem;color:var(--acc);line-height:1;letter-spacing:-.04em}
.progress-block{margin-top:12px}
.progress-meta{display:flex;justify-content:space-between;font-size:12px;color:var(--mut);margin-bottom:6px;font-family:var(--mono)}
.progress-bar{height:4px;background:var(--bg-soft);border-radius:0;overflow:hidden}
.progress-bar>i{display:block;height:100%;width:0;background:var(--acc);border-radius:0;transition:width .35s ease}
.dash [data-resume]{margin-top:16px}
.dash [data-resume] small{display:block;color:var(--mut);letter-spacing:.06em;text-transform:uppercase;font-size:11px}
.desk{margin:22px 0 0;padding:18px 20px;background:var(--bg-elev);border:1px solid var(--line)}
.desk .kicker{margin:0 0 8px}
.path-pills{display:flex;flex-wrap:wrap;gap:6px;margin:0 0 12px}
.path-pills button{
  background:transparent;border:1px solid var(--line);color:var(--mut);border-radius:var(--radius);
  padding:5px 10px;cursor:pointer;font:inherit;font-size:12px;font-family:var(--mono)
}
.path-pills button.on,.path-pills button:hover{border-color:var(--acc);color:var(--fg)}
.desk-loop{margin:0 0 10px;color:var(--mut);font-size:14px}
.desk-go{display:block;padding:12px 14px;border:1px solid var(--line);text-decoration:none;color:inherit}
.desk-go:hover{border-color:var(--acc)}
.desk-go strong{display:block;font-size:1.05rem}
.desk-go small{display:block;margin-top:4px;color:var(--mut);font-size:13px}
.desk-empty{margin:0;color:var(--mut)}
.rust{margin-top:16px}
.rust ul{list-style:none;margin:0;padding:0}
.rust li{margin:0 0 8px}
.rust a{color:inherit}
.rust button{margin-left:8px;font:inherit;font-size:12px;font-family:var(--mono);background:transparent;border:1px solid var(--line);color:var(--mut);cursor:pointer;padding:2px 8px}
.evidence{max-width:var(--prose);margin:22px 0;padding:18px 20px;background:var(--bg-elev);border:1px solid var(--line)}
.evidence.needs{border-color:var(--rose)}
.evidence h2{margin:0 0 8px;border:none;font-size:1.1rem}
.evidence p{margin:0 0 12px;color:var(--mut);font-size:14px}
.evidence label{display:block;margin:0 0 12px;font-size:13px;color:var(--mut)}
.evidence textarea{
  display:block;width:100%;margin-top:4px;background:var(--code);border:1px solid var(--line);
  color:var(--fg);font:inherit;font-size:14px;padding:8px 10px;resize:vertical
}
.evidence-status{min-height:1.2em;color:var(--rose);font-size:13px}
.rust-banner{max-width:var(--prose);margin:0 0 16px;padding:10px 14px;border:1px solid var(--line);background:var(--bg-elev);display:flex;flex-wrap:wrap;gap:10px;align-items:center;justify-content:space-between}
.footer-tools{display:flex;gap:10px;flex-wrap:wrap}
footer button{background:none;border:1px solid var(--line);color:var(--mut);border-radius:var(--radius);padding:6px 10px;cursor:pointer;font:inherit;font-size:13px}
.home-search{margin:22px 0 8px}
.home-search input,.toolbar input{
  width:100%;background:var(--bg-elev);border:1px solid var(--line);color:var(--fg);
  border-radius:var(--radius);padding:12px 14px;font:inherit
}
.search-hits{margin-top:10px;border:1px solid var(--line);border-radius:var(--radius);background:var(--bg-elev);overflow:hidden}
.search-hits a{display:flex;justify-content:space-between;gap:12px;padding:10px 14px;text-decoration:none;color:var(--fg);border-top:1px solid var(--line);font-size:14px}
.search-hits a:first-child{border-top:none}
.search-hits a:hover{background:var(--bg-soft)}
.search-hits small{color:var(--mut)}
.grid{display:grid;grid-template-columns:repeat(auto-fill,minmax(240px,1fr));gap:14px;margin-top:28px}
.card{border:1px solid var(--line);border-radius:var(--radius);padding:18px;text-decoration:none;color:inherit;display:block;background:var(--bg-elev);position:relative;overflow:hidden}
.card::before{content:"";position:absolute;left:0;top:0;bottom:0;width:3px;background:var(--acc);transform:scaleY(0);transform-origin:top;transition:transform .2s}
.card:hover{border-color:color-mix(in srgb,var(--acc) 50%,var(--line))}
.card:hover::before{transform:scaleY(1)}
.card h2{margin:0 0 6px;border:none;padding:0;font-size:1.2rem}
.card p{margin:0;color:var(--mut);font-size:14px}
.card .count{display:block;margin-top:14px;font-size:12px;color:var(--mut)}
.card .mini-bar{margin-top:10px;height:4px}

/* listings */
.track-head{margin-bottom:22px}
.toolbar{display:flex;flex-wrap:wrap;gap:10px;align-items:center;margin-top:18px}
.toolbar input{max-width:360px}
.diff-pills{display:flex;gap:6px;flex-wrap:wrap}
.diff-pills button{
  background:transparent;border:1px solid var(--line);color:var(--mut);border-radius:var(--radius);
  padding:5px 10px;cursor:pointer;font:inherit;font-size:12px;font-family:var(--mono)
}
.diff-pills button.on,.diff-pills button:hover{border-color:var(--acc);color:var(--fg)}
.group{margin:28px 0}
.group>h2{margin:0 0 10px;border:none;font-size:1.05rem;color:var(--mut);letter-spacing:.04em;text-transform:uppercase}
.track{list-style:none;margin:0;padding:0;border:1px solid var(--line);border-radius:var(--radius);overflow:hidden;background:var(--bg-elev)}
.track li{display:flex;align-items:center;gap:10px;padding:8px 12px;border-top:1px solid var(--line);font-size:14.5px}
.track li:first-child{border-top:none}
.track li.done a{color:var(--mut);text-decoration:line-through}
.track a{flex:1;color:inherit;text-decoration:none}
.track a:hover{color:var(--acc)}
.mark{
  width:18px;height:18px;border-radius:50%;border:1.5px solid var(--line);background:transparent;
  padding:0;cursor:pointer;flex:none
}
.mark[aria-pressed=true]{background:var(--acc);border-color:var(--acc);box-shadow:inset 0 0 0 3px var(--bg-elev)}
.track li.is-hidden,.group.is-hidden{display:none}
.empty-filter{display:none;color:var(--mut);padding:20px 0}
.empty-filter.show{display:block}

/* article — a white sheet on the desk, not text on parchment */
.prose{
  max-width:var(--prose);
  background:var(--bg-elev);
  border:1px solid var(--line);
  padding:28px 32px 40px;
}
.statement{
  margin:0 0 1.6em;padding:14px 16px;border:1px solid var(--line);background:var(--code);
}
.statement>:first-child{margin-top:0}
.statement>:last-child{margin-bottom:0}
.ex{margin:16px 0;padding:12px 14px;border:1px solid var(--line);background:var(--code)}
.ex-k{margin:0 0 10px;font:12px var(--mono);color:var(--mut);letter-spacing:.04em;text-transform:uppercase}
.ex dl{margin:0}
.ex dt{margin:10px 0 2px;font:11px var(--mono);color:var(--mut);letter-spacing:.06em;text-transform:uppercase}
.ex dt:first-child{margin-top:0}
.ex dd{margin:0;font-family:var(--mono);font-size:13px;line-height:1.45;white-space:pre-wrap;overflow-wrap:anywhere}
.ex dd code{display:block;background:var(--bg-elev);border:1px solid var(--line);padding:8px 10px;font-size:13px}
.tests{margin:12px 0;overflow:auto}
.tests table{display:table;width:100%;border-collapse:collapse}
.tests th{font:11px var(--mono);letter-spacing:.06em;text-transform:uppercase;color:var(--mut)}
.pill.public{color:var(--easy);border-color:color-mix(in srgb,var(--easy) 45%,var(--line))}
.pill.hidden{color:var(--mut)}
.prose>h1:first-child{margin-top:0}
.meta-row{display:flex;flex-wrap:wrap;gap:8px;align-items:center;margin:0 0 20px}
.toc{margin:0 0 28px;padding:14px 16px;border:1px solid var(--line);border-radius:var(--radius);background:var(--bg-elev)}
.toc[hidden]{display:none}
.toc strong{display:block;font-size:12px;letter-spacing:.08em;text-transform:uppercase;color:var(--mut);margin-bottom:8px}
.toc ol{margin:0;padding-left:18px}
.toc a{color:var(--fg);text-decoration:none;font-size:14px}
.toc a:hover{color:var(--acc)}
.donebar{display:flex;flex-wrap:wrap;gap:10px;align-items:center;margin:8px 0 22px}
.done-btn{
  background:var(--acc);color:var(--acc-ink);border:none;border-radius:var(--radius);padding:8px 14px;
  font:600 13px var(--sans);cursor:pointer
}
.done-btn[aria-pressed=true]{background:var(--mint);color:var(--bg)}
.sources{margin:8px 0 28px;padding:16px 18px;border:1px solid var(--line);border-radius:var(--radius);background:var(--bg-elev)}
.sources h2{margin:0 0 8px;border:none;padding:0;font-size:1.05rem}
.sources p{margin:0 0 10px;color:var(--mut);font-size:14px}
.sources ul{margin:0;padding-left:18px}
.sources a{word-break:break-word}
.group-links{margin:0 0 10px;font-size:13px}
.group-links a{margin-right:12px}
.pager{display:flex;justify-content:space-between;gap:12px;margin:40px 0 10px;flex-wrap:wrap}
.pager a{flex:1;min-width:180px;padding:12px 14px;border:1px solid var(--line);border-radius:var(--radius);text-decoration:none;color:inherit;background:var(--bg-elev)}
.pager a:hover{border-color:var(--acc)}
.pager small{display:block;color:var(--mut);font-size:11px;letter-spacing:.06em;text-transform:uppercase}
pre{background:var(--code);padding:36px 14px 14px;border-radius:var(--radius);overflow:auto;font-size:13px;border:1px solid var(--line);position:relative}
code{font-family:var(--mono);font-size:.9em}
:not(pre)>code{background:var(--bg-soft);padding:.1em .35em;border-radius:4px}
pre code{background:none;padding:0}
.copy{
  position:absolute;top:8px;right:8px;background:var(--bg-soft);border:1px solid var(--line);
  color:var(--mut);border-radius:6px;padding:3px 8px;font:12px var(--sans);cursor:pointer
}
.copy:hover{color:var(--fg);border-color:var(--acc)}
table{border-collapse:collapse;width:100%;display:block;overflow:auto}
th,td{border:1px solid var(--line);padding:6px 10px;text-align:left}
img{max-width:100%;border-radius:0}
blockquote{border-left:3px solid var(--acc);margin:0;padding:4px 0 4px 14px;color:var(--mut)}
hr{border:none;border-top:1px solid var(--line);margin:2em 0}
.math.display{display:block;overflow-x:auto;padding:8px 0}

footer{border-top:1px solid var(--line);background:var(--bg-elev);color:var(--mut);font-size:13px;padding:22px 0 36px;position:relative;z-index:1}
footer .wrap{display:flex;justify-content:space-between;gap:16px;flex-wrap:wrap;align-items:center}
footer button{background:none;border:1px solid var(--line);color:var(--mut);border-radius:var(--radius);padding:5px 10px;cursor:pointer}
footer button:hover{color:var(--fg);border-color:var(--acc)}

@media(max-width:800px){
  .nav-toggle{display:block}
  .site-nav{display:none;width:100%;flex-direction:column;align-items:stretch;padding-bottom:8px}
  .site-header.is-open .site-nav{display:flex}
  .header-tools{margin-left:8px}
  .toolbar input{max-width:none}
  ul.listing{columns:1}
}
@media(max-width:640px){
  body{font-size:15.5px}
  main{padding:24px 0 64px}
  .prose{padding:20px 16px 32px}
}