/* chapter-modern.css — brings the older dm³ chapters to the look of book4/attractors.html.
   Loaded AFTER each page's own <style>; remaps the old palette tokens and restyles the
   components by class name. No page text is changed by this file. */
:root{
  --bg:#07090f; --panel:#0d111b; --ink:#e8ebf2; --dim:#7d869c; --line:#1c2233;
  --navy:#0d111b; --gold:#d9b76a; --cream:#07090f; --smoke:#0d111b; --mid:#58c7d1;
  --rule:#1c2233; --text:#e8ebf2; --light:#1c2233; --teal:#58c7d1; --red:#e0735a;
  --page:#0d111b; --muted:#7d869c; --surface:#0d111b; --surface2:rgba(255,255,255,.04);
  --gold-dim:rgba(217,183,106,.4);
  --serif:'EB Garamond',Georgia,serif; --mono:'JetBrains Mono','Courier New',monospace;
  color-scheme:dark;
}
html{background:var(--bg)}
body{background:var(--bg)!important;color:var(--ink)!important;font-family:var(--serif)!important;font-size:18px;line-height:1.62}
p{font-size:1em!important;line-height:1.62!important;color:inherit}
a{color:var(--teal)}
h1,h2,h3{font-family:var(--serif)!important;font-weight:500!important;color:var(--ink)!important}
h1{line-height:1.1!important}
h2{border-bottom:1px solid var(--line)!important;padding-bottom:.3rem!important;font-size:1.5rem!important}
h3{font-size:1.15rem!important}
code{font-family:var(--mono)!important;color:var(--teal)!important;background:transparent!important;font-size:.82em!important;padding:0!important}
strong{font-weight:500;color:var(--ink)}
/* top navigation and banners */
nav,.top-nav{background:transparent!important;border-bottom:1px solid var(--line);padding:.7rem 1.25rem!important}
.nav-logo,.nav-links a,.top-nav a,.series-home{font-family:var(--mono)!important;font-size:.62rem!important;letter-spacing:.08em;text-transform:uppercase;color:var(--dim)!important;font-weight:400!important}
.nav-logo{color:var(--gold)!important}
.nav-links a:hover,.top-nav a:hover{color:var(--teal)!important}
.theory-banner{background:transparent!important;border:0!important;border-bottom:1px solid var(--line)!important}
.theory-banner span{font-family:var(--mono)!important;font-size:.6rem!important;color:var(--dim)!important}
.theory-link{font-family:var(--mono)!important;font-size:.6rem!important;letter-spacing:.06em;text-transform:uppercase;color:var(--dim)!important;border:1px solid var(--line)!important;background:transparent!important}
.theory-link:hover,.theory-link.current{border-color:var(--teal)!important;color:var(--teal)!important;background:transparent!important;font-weight:400!important}
/* hero */
.hero,.cover{background:var(--bg)!important;color:var(--ink)!important;padding:2.4rem 1.25rem 1.4rem!important;border-bottom:1px solid var(--line)}
.eyebrow,.paper-tag,.series,.section-label,.theorem-label,.lean-label,.eq-label,.cl-label,.thm-label,.ip-label{font-family:var(--mono)!important;font-size:.65rem!important;letter-spacing:.18em!important;text-transform:uppercase;color:var(--gold)!important}
.op-chain,.op-chip{font-family:var(--mono)!important;color:var(--dim)!important;font-size:.9rem!important;letter-spacing:.1em!important}
.op-chain .active{color:var(--gold)!important;border-bottom:1px solid var(--gold)!important}
.sym{color:var(--gold)!important;font-style:italic}
.value{font-family:var(--mono)!important;color:var(--gold)!important;font-size:.78rem!important}
.gold-rule{background:var(--line)!important;height:1px!important}
.hero-desc,.hero-sub,.subtitle{color:#b9c0d1!important;font-style:italic;font-size:1em!important;line-height:1.62!important}
/* body sections */
section{padding:1.2rem 1.25rem!important;background:transparent!important}
.section-inner,.paper{max-width:1100px!important}
.section-inner>*:not(.proof-grid):not(.crosslink-row):not(.lean-block):not(table):not(.compare-grid):not(.conv-grid){max-width:52rem}
.paper{background:transparent!important;box-shadow:none!important;border:0!important;margin:0 auto!important;padding:0 1.25rem!important}
/* tables */
table{border-collapse:collapse;font-family:var(--mono);font-size:.7rem;background:transparent!important;display:block;overflow-x:auto;max-width:100%}
th{background:var(--panel)!important;color:var(--dim)!important;font-family:var(--mono)!important;font-weight:400!important;text-transform:uppercase;letter-spacing:.05em;font-size:.58rem!important;border-bottom:1px solid var(--line)!important}
td{border-bottom:1px solid var(--line)!important;color:var(--ink)!important;background:transparent!important}
tr:nth-child(even) td{background:transparent!important}
td.highlight,td.hl{background:rgba(217,183,106,.07)!important;color:var(--gold)!important;font-weight:400!important}
/* cards and boxes */
.proof-card,.theorem,.theorem-box,.corollary-box,.abstract-box,.abstract,.callout,.highlight-box,.ip-box,.compare-card,.conv-card,.fig,.eq-block,.pull,.preprint-banner,.meta-chip,.meta-table,.crosslink-card{
  background:var(--panel)!important;color:var(--ink)!important;border:1px solid var(--line)!important;border-left:3px solid var(--gold)!important;border-radius:0!important;box-shadow:none!important}
.proof-title,.cl-title,.compare-title,.conv-name,.theorem-statement{color:var(--ink)!important;font-family:var(--serif)!important}
.proof-body,.thm-body,.cl-sub,.fig-caption{color:#b9c0d1!important;font-size:.95em!important;line-height:1.6!important}
.proof-num{font-family:var(--mono)!important;color:var(--gold)!important;font-size:.65rem!important}
.crosslink-card:hover{border-color:var(--teal)!important;background:var(--panel)!important}
/* code blocks */
.lean-block,.lean-code,pre{background:#04060a!important;color:#c9d1e3!important;font-family:var(--mono)!important;font-size:.72rem!important;line-height:1.7!important;border:1px solid var(--line)!important;border-left:3px solid var(--teal)!important;border-radius:0!important}
.lean-comment,.lc-cm{color:var(--dim)!important}.lean-kw,.lc-kw{color:var(--red)!important}.lean-type,.lc-id{color:var(--teal)!important}.lean-num,.lc-num{color:#a5d6ff!important}.lean-proved,.lc-gold{color:#7bd88f!important;font-weight:400!important}
/* buttons and chapter navigation */
.btn,.btn-gold,.btn-outline{font-family:var(--mono)!important;font-size:.6rem!important;letter-spacing:.06em;text-transform:uppercase;background:transparent!important;border:1px solid var(--line)!important;color:var(--dim)!important;border-radius:0!important}
.btn:hover,.btn-gold:hover,.btn-outline:hover{border-color:var(--teal)!important;color:var(--teal)!important}
.chapter-nav{background:transparent!important;border-top:1px solid var(--line)!important;padding:1.6rem 1.25rem 3rem!important}
.chapter-nav a{font-family:var(--mono)!important;font-size:.7rem!important;letter-spacing:.06em;color:var(--teal)!important;border:0!important;padding:0!important}
.chapter-nav a:hover{background:transparent!important;text-decoration:underline}
footer.prov-foot{color:var(--dim);opacity:1;font-family:var(--mono);font-size:.62rem}
.po-proved-block{background:var(--panel)!important;color:var(--ink)!important;border-color:var(--line)!important;border-left-color:#2f6b3d!important}
.po-proved-block a{color:var(--teal)!important}
/* corrections notice (added 2026-10-29) */
#corrections-2026-10-29{background:var(--panel)!important;border:1px solid #6b5a2b!important;border-left:3px solid var(--gold)!important;border-radius:0!important;max-width:1100px!important;margin:1.2rem auto!important;font-size:.82rem!important;color:#d6dae6!important}
#corrections-2026-10-29 li{max-width:60rem}
img,svg{max-width:100%}
@media(max-width:640px){body{font-size:17px}.hero,.cover{padding:1.6rem 1rem 1rem!important}}
#corrections-2026-10-29{padding:.9rem 1.2rem;line-height:1.55;width:calc(100% - 2.5rem)}
#corrections-2026-10-29 ul{margin:.5em 0 0 1.1em;padding:0}
#corrections-2026-10-29 li{margin:.3em 0}
/* fixed/sticky bars must stay opaque or the text scrolls through them */
nav,.top-nav{background:rgba(7,9,15,.97)!important}