/* ProveSpec site — drafting print in light, cyanotype in dark. Matches the landing page. */
:root {
  --paper:#f5f6f3; --paper-2:#eceee9; --ink:#12283f; --ink-line:rgba(18,57,95,.22);
  --ink-line-strong:rgba(18,57,95,.45); --muted:#5b7691; --accent:#b4691b;
  --ok:#2f8f6d; --partial:#b4691b; --gone:#c2465a;
}
@media (prefers-color-scheme: dark) {
  :root {
    --paper:#0d2440; --paper-2:#0a1c33; --ink:#e8f0fa; --ink-line:rgba(198,222,247,.24);
    --ink-line-strong:rgba(198,222,247,.5); --muted:#8fa9c6; --accent:#e8a33d;
    --ok:#5fc9a5; --partial:#e8a33d; --gone:#e0687a;
  }
}
*,*::before,*::after { box-sizing:border-box; }
body {
  margin:0; background:var(--paper); color:var(--ink);
  font-family:'Segoe UI',system-ui,-apple-system,sans-serif; font-size:16px; line-height:1.6;
  background-image:linear-gradient(var(--ink-line) 1px,transparent 1px),linear-gradient(90deg,var(--ink-line) 1px,transparent 1px);
  background-size:96px 96px,96px 96px; background-position:-1px -1px;
}
.wrap { max-width:1080px; margin:0 auto; padding:0 28px; }
h1,h2,h3 { font-family:'Sitka Heading',Constantia,Georgia,serif; font-weight:600; text-wrap:balance; margin:0; }
h1 { font-size:clamp(1.8rem,3.6vw,2.6rem); line-height:1.15; }
h2 { font-size:1.4rem; margin-bottom:10px; }
h3 { font-size:1.02rem; }
p { margin:10px 0 0; max-width:68ch; }
a { color:inherit; }
.mono { font-family:'Cascadia Mono',Consolas,monospace; }
.lede { font-size:1.08rem; color:var(--muted); }
.hint { font-size:.85rem; color:var(--muted); }
.eyebrow {
  font-family:'Cascadia Mono',Consolas,monospace; font-size:.7rem; letter-spacing:.18em;
  text-transform:uppercase; color:var(--muted); display:flex; align-items:center; gap:10px; margin-bottom:8px;
}
.eyebrow::after { content:''; flex:1; height:1px; background:var(--ink-line); }
header.bar { display:flex; align-items:center; justify-content:space-between; gap:18px; padding:18px 0; border-bottom:1px solid var(--ink-line); }
.logo { display:flex; align-items:baseline; gap:10px; font-family:'Sitka Heading',Constantia,Georgia,serif; font-size:1.15rem; font-weight:600; text-decoration:none; }
.logo .v { font-family:'Cascadia Mono',Consolas,monospace; font-size:.68rem; color:var(--muted); }
nav.links { display:flex; gap:20px; font-size:.86rem; color:var(--muted); flex-wrap:wrap; }
nav.links a { text-decoration:none; }
nav.links a:hover { color:var(--ink); text-decoration:underline; text-underline-offset:3px; }
section { padding:38px 0; border-bottom:1px solid var(--ink-line); }
section:last-of-type { border-bottom:0; }
section.head { padding-top:44px; }
.filter {
  margin-top:22px; width:100%; max-width:420px; padding:9px 13px; font-size:.92rem;
  background:var(--paper-2); color:var(--ink); border:1px solid var(--ink-line-strong); border-radius:2px;
}
.filter:focus-visible { outline:2px solid var(--accent); outline-offset:2px; }
.cat h2 { display:flex; align-items:baseline; gap:10px; text-transform:capitalize; }
.n { font-size:.72rem; color:var(--accent); }
.entries { display:grid; grid-template-columns:repeat(auto-fill,minmax(280px,1fr)); gap:0; border:1px solid var(--ink-line-strong); }
.entry { display:flex; flex-direction:column; gap:3px; padding:16px 18px; text-decoration:none; border-right:1px solid var(--ink-line); border-bottom:1px solid var(--ink-line); }
.entry:hover { background:var(--paper-2); }
.entry:hover .entry-t { color:var(--accent); }
.entry-t { font-family:'Sitka Heading',Constantia,Georgia,serif; font-size:1.02rem; font-weight:600; }
.entry-s { font-size:.85rem; color:var(--muted); }
.entry-m { font-size:.7rem; color:var(--muted); margin-top:4px; }
.empty { text-align:center; color:var(--muted); padding:40px 0; }
.stats { display:flex; flex-wrap:wrap; gap:8px 22px; margin-top:18px; font-size:.78rem; color:var(--muted); }
.stats b { color:var(--accent); font-weight:600; }
pre { position:relative; margin:16px 0 0; padding:16px 18px; overflow-x:auto; border:1px solid var(--ink-line-strong); background:var(--paper-2); font-family:'Cascadia Mono',Consolas,monospace; font-size:.8rem; line-height:1.7; }
pre .c { color:var(--muted); } pre .k { color:var(--accent); }
pre.prompt { white-space:pre-wrap; border-style:dashed; }
button.copy {
  position:absolute; top:6px; right:6px; padding:3px 9px; font-size:.68rem;
  font-family:'Cascadia Mono',Consolas,monospace; color:var(--muted); cursor:pointer;
  background:var(--paper); border:1px solid var(--ink-line-strong); border-radius:2px;
}
button.copy:hover { color:var(--accent); border-color:var(--accent); }
button.copy:focus-visible { outline:2px solid var(--accent); outline-offset:2px; }
.sec { margin-top:22px; }
.sec h3 { display:flex; align-items:baseline; gap:10px; padding-bottom:6px; border-bottom:1px solid var(--ink-line-strong); }
.sub { margin-top:12px; }
.sub-n { font-family:'Cascadia Mono',Consolas,monospace; font-size:.72rem; letter-spacing:.1em; text-transform:uppercase; color:var(--muted); }
ul.leaves { list-style:none; margin:4px 0 0; padding:0; }
.leaf { display:flex; flex-wrap:wrap; align-items:baseline; gap:9px; padding:5px 0; border-bottom:1px dotted var(--ink-line); font-size:.9rem; }
.leaf:last-child { border-bottom:0; }
.st { font-family:'Cascadia Mono',Consolas,monospace; width:14px; flex:none; }
.st.ok { color:var(--ok); } .st.pa { color:var(--partial); } .st.no { color:var(--gone); } .st.na { color:var(--muted); }
.leaf-v { font-size:.78rem; color:var(--accent); }
.leaf-note { font-size:.8rem; color:var(--muted); flex-basis:100%; padding-left:23px; }
.dl { display:flex; gap:12px; flex-wrap:wrap; }
.btn { display:inline-block; padding:10px 18px; border-radius:2px; text-decoration:none; font-size:.88rem; font-weight:600; border:1.5px solid var(--ink); }
.btn:hover { border-color:var(--accent); color:var(--accent); }
footer { padding:30px 0 56px; color:var(--muted); font-size:.8rem; display:flex; justify-content:space-between; gap:16px; flex-wrap:wrap; }