/* Theorems page — builds on style.css. */

.tm-main{padding-top:0}
.tm-main #hero{padding-top:4rem}
.tm-main h1{max-width:none}
.tm-main .tm-meta{display:flex;gap:2rem;margin-top:1.5rem;flex-wrap:wrap;font-family:var(--mono);font-size:.72rem;color:var(--fg-dim);padding:1rem 0;border-top:1px solid var(--rule-2);border-bottom:1px solid var(--rule-2)}
.tm-main .tm-meta .k{letter-spacing:.1em;text-transform:uppercase;color:var(--fg-dim);margin-right:.5rem}
.tm-main .tm-meta .v{color:var(--fg-2)}
.tm-note{margin-top:2rem;padding:.9rem 1.1rem;border-left:2px solid var(--accent-dim);background:color-mix(in oklab,var(--accent) 4%,var(--panel));font-family:var(--serif);font-size:.92rem}
.tm-note p{margin:0;max-width:none}
.tm-note .mono strong{font-family:var(--mono);font-weight:500;letter-spacing:.02em;color:var(--accent)}

/* TOC */
.tm-toc{display:grid;grid-template-columns:repeat(auto-fill,minmax(220px,1fr));gap:.5rem;margin:1rem 0 1.5rem}
.tm-toc a{display:flex;justify-content:space-between;padding:.55rem .7rem;border:1px solid var(--rule-2);background:var(--panel);text-decoration:none;font-family:var(--mono);font-size:.75rem;color:var(--fg-2);border-radius:2px}
.tm-toc a:hover{border-color:var(--accent);color:var(--fg)}
.tm-toc a .c{color:var(--fg-dim);font-size:.68rem}

/* Filter controls */
.tm-controls{display:flex;gap:2rem;flex-wrap:wrap;padding:.75rem 0;border-top:1px solid var(--rule-2);border-bottom:1px solid var(--rule-2);margin-bottom:1rem}
.tm-filter{display:flex;align-items:center;gap:.4rem;font-family:var(--mono);font-size:.7rem}
.tm-filter > span{color:var(--fg-dim);letter-spacing:.1em;text-transform:uppercase;margin-right:.35rem}
.tm-filter button{background:transparent;border:1px solid var(--rule-2);color:var(--fg-dim);padding:.25rem .55rem;font-family:var(--mono);font-size:.68rem;letter-spacing:.04em;text-transform:lowercase;cursor:pointer;border-radius:2px}
.tm-filter button:hover{color:var(--fg)}
.tm-filter button.on{border-color:var(--accent);color:var(--accent);background:color-mix(in oklab,var(--accent) 6%,transparent)}

/* Family sections */
.tm-fams{display:flex;flex-direction:column;gap:3rem}
.tm-family{scroll-margin-top:72px}
.tm-fam-head{display:flex;justify-content:space-between;align-items:baseline;padding-bottom:.65rem;border-bottom:1px solid var(--rule);margin-bottom:1rem;gap:1rem;flex-wrap:wrap}
.tm-fam-name{font-family:var(--serif);font-weight:500;font-size:1.35rem;margin:0;letter-spacing:-.005em}
.tm-fam-meta{color:var(--fg-dim);font-size:.72rem;letter-spacing:.04em}
.tm-fam-meta .sep{margin:0 .4rem;color:var(--rule)}
.tm-fam-cards{display:flex;flex-direction:column;gap:1rem}

/* Card */
.tm-card{border:1px solid var(--rule-2);background:var(--panel);padding:1.1rem 1.25rem;scroll-margin-top:72px}
.tm-card-head{display:flex;justify-content:space-between;align-items:baseline;gap:1rem;margin-bottom:.6rem}
.tm-title-wrap{display:flex;align-items:baseline;gap:.55rem;flex-wrap:wrap}
.tm-anchor{color:var(--fg-dim);font-size:.8rem;user-select:none}
.tm-name{font-family:var(--mono);font-size:.92rem;font-weight:500;color:var(--fg);margin:0;letter-spacing:-.005em;text-transform:none}
.tm-kind{font-size:.65rem;color:var(--fg-dim);letter-spacing:.1em;text-transform:uppercase;padding:.15rem .4rem;border:1px solid var(--rule-2);border-radius:2px}
.chip{font-family:var(--mono);font-size:.65rem;letter-spacing:.1em;text-transform:uppercase;padding:.2rem .5rem;border-radius:2px;border:1px solid var(--rule-2);color:var(--fg-dim);white-space:nowrap}
.chip.proven{color:var(--accent);border-color:color-mix(in oklab,var(--accent) 50%,var(--rule-2))}
.chip.deferred{color:var(--cool);border-color:color-mix(in oklab,var(--cool) 50%,var(--rule-2))}
.chip.sorry{color:var(--fg-2)}
.chip.axiom{color:var(--fg);border-color:var(--rule);background:color-mix(in oklab,var(--fg) 6%,var(--panel))}

.tm-one{margin:0 0 .9rem;color:var(--fg-2);max-width:72ch;font-size:.96rem;line-height:1.55}

.tm-body{display:grid;grid-template-columns:1fr 1fr;gap:1rem;margin-top:.3rem}
.tm-label{font-size:.62rem;letter-spacing:.14em;text-transform:uppercase;color:var(--fg-dim);margin-bottom:.4rem}
.tm-math{padding:.9rem 1rem;border:1px solid var(--rule-2);background:color-mix(in oklab,var(--bg) 40%,var(--panel));min-height:3.5rem;overflow-x:auto;font-size:.95rem}
.tm-math .katex-display{margin:.2rem 0}
.tm-math.pending{color:var(--fg-dim);font-family:var(--mono);font-size:.78rem;font-style:italic;display:flex;align-items:center;justify-content:center;min-height:3.5rem}
.tm-code{font-family:var(--mono);font-size:.75rem;color:var(--fg);background:color-mix(in oklab,var(--bg) 40%,var(--panel));border:1px solid var(--rule-2);padding:.7rem .85rem;margin:0;overflow-x:auto;white-space:pre;line-height:1.5}

.tm-links{display:flex;flex-wrap:wrap;gap:1rem;margin-top:.6rem;font-size:.7rem;color:var(--fg-dim);grid-column:1/-1;padding-top:.7rem;border-top:1px solid var(--rule-2)}
.tm-links .lk{display:flex;align-items:center;gap:.35rem}
.tm-links .lk .k{letter-spacing:.1em;text-transform:uppercase;color:var(--fg-dim)}
.tm-links .lk a,.tm-links .lk .v{color:var(--fg-2);text-decoration:none}
.tm-links .lk a:hover{color:var(--accent)}
.tm-links .paper-pill{padding:.1rem .35rem;border:1px solid var(--rule-2);border-radius:2px;margin-left:.15rem}

/* Compact view — one-line rows */
body[data-view="compact"] .tm-card{padding:.55rem .85rem}
body[data-view="compact"] .tm-card-head{margin-bottom:.2rem}
body[data-view="compact"] .tm-one{font-size:.82rem;margin-bottom:.3rem;line-height:1.45}
body[data-view="compact"] .tm-body{display:none}

/* Hidden by filter */
.tm-card[hidden]{display:none}
.tm-family[hidden]{display:none}

/* Responsive */
@media (max-width:760px){
  .tm-body{grid-template-columns:1fr}
  .tm-card{padding:.9rem 1rem}
  .tm-toc{grid-template-columns:1fr 1fr}
}

.auto-tag {
  display: inline-block;
  font-size: 0.7em;
  padding: 0.1em 0.4em;
  margin-left: 0.5em;
  background: #fef3c7;
  color: #78350f;
  border: 1px dashed #92400e;
  border-radius: 0.25em;
}

/* Nav active state */
.topbar nav a.active{color:var(--fg);font-weight:500}