/* ============================================================================
   opus.css — one stylesheet for the whole corpus.
   Works served from a web server or opened straight from a folder.
   ========================================================================== */
:root{
  --bg:#fbfaf7; --panel:#fff; --ink:#1c1a17; --ink2:#4a453e; --ink3:#7d766c;
  --rule:#e2ddd3; --accent:#7a5c2e; --accent-soft:#f2ead9; --concept:#4d6b7a;
  --concept-soft:#e9f0f3;
  --console-bg:#1e1c19; --console-ink:#d8d2c6; --console-dim:#8b8377;
  --c-postulate:#5b6f8a; --c-theorem:#3f7a55; --c-anchor:#8a6a3f;
  --c-audit:#4d7a80; --c-curiosity:#8a5f7a; --c-conjecture:#9a6a45;
  --c-correction:#a04f42; --c-open:#6a6a6a;
  --ok:#3f7a55; --warn:#a04f42;
  --serif:"Cambria","Georgia","Times New Roman",serif;
  --sans:-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,sans-serif;
  --mono:"Cascadia Mono","Consolas","SF Mono",Menlo,monospace;
}
*{box-sizing:border-box}
body{margin:0;background:var(--bg);color:var(--ink);font-family:var(--serif);
     font-size:17px;line-height:1.65;-webkit-font-smoothing:antialiased}
.wrap{display:grid;grid-template-columns:255px minmax(0,1fr);max-width:1240px;margin:0 auto}

/* ------------------------------------------------------------- sidebar */
aside{position:sticky;top:0;height:100vh;overflow-y:auto;padding:28px 22px 40px;
      border-right:1px solid var(--rule);font-family:var(--sans);font-size:13px}
aside h4{font-size:11px;letter-spacing:.09em;text-transform:uppercase;color:var(--ink3);
         margin:22px 0 8px;font-weight:600}
aside h4:first-child{margin-top:0}
aside a{display:block;color:var(--ink2);text-decoration:none;padding:3px 0;line-height:1.4}
aside a:hover{color:var(--accent)}
aside a.sub{padding-left:12px;font-size:12px;color:var(--ink3)}
.filters{display:flex;flex-wrap:wrap;gap:5px}
.filters button{font:inherit;font-size:11px;padding:3px 9px;border-radius:11px;cursor:pointer;
  border:1px solid var(--rule);background:var(--panel);color:var(--ink2)}
.filters button.on{color:#fff;border-color:transparent}
.filters button[data-f=postulate].on{background:var(--c-postulate)}
.filters button[data-f=theorem].on{background:var(--c-theorem)}
.filters button[data-f=anchor].on{background:var(--c-anchor)}
.filters button[data-f=audit].on{background:var(--c-audit)}
.filters button[data-f=curiosity].on{background:var(--c-curiosity)}
.filters button[data-f=conjecture].on{background:var(--c-conjecture)}
.filters button[data-f=correction].on{background:var(--c-correction)}
.filters button[data-f=open].on{background:var(--c-open)}
.hint{color:var(--ink3);font-size:11.5px;line-height:1.5;margin-top:10px}

/* ---------------------------------------------------------------- main */
main{padding:44px 54px 120px;max-width:820px}
h1{font-size:31px;line-height:1.22;margin:0 0 6px;font-weight:600;letter-spacing:-.01em}
.sub{font-size:17px;color:var(--ink2);margin:0 0 22px;line-height:1.45}
.meta{font-family:var(--sans);font-size:13px;color:var(--ink3);margin:0 0 34px;
      padding-bottom:22px;border-bottom:1px solid var(--rule)}
h2{font-size:20px;margin:52px 0 12px;font-weight:600;color:var(--accent);letter-spacing:-.005em}
h2 .num{color:var(--ink3);font-weight:400;margin-right:7px}
p{margin:0 0 15px}
.abs{background:var(--panel);border:1px solid var(--rule);border-radius:6px;padding:20px 24px;
     font-size:15.5px;line-height:1.62;margin-bottom:8px}
.eq{text-align:center;margin:22px 0;font-size:17.5px}
.eq .tag{float:right;color:var(--ink3);font-size:14px}

/* ------------------------------------------------- hover terms & tooltip */
s-y,c-o{cursor:help}
s-y{border-bottom:1px dotted var(--accent);white-space:nowrap}
s-y:hover{background:var(--accent-soft)}
c-o{border-bottom:1px dotted var(--concept)}
c-o:hover{background:var(--concept-soft)}
#tip{position:fixed;z-index:99;max-width:360px;background:var(--console-bg);color:var(--console-ink);
     font-family:var(--sans);font-size:12.5px;line-height:1.5;padding:12px 15px;border-radius:6px;
     box-shadow:0 6px 22px rgba(0,0,0,.3);opacity:0;transition:opacity .12s;pointer-events:none}
#tip.show{opacity:1;pointer-events:auto}
#tip .g-sym{font-family:var(--serif);font-size:17px;color:#fff;display:block;margin-bottom:1px}
#tip .g-say{color:#c9a86a;font-style:italic;margin-bottom:7px;display:block;font-size:12px}
#tip .g-un,#tip .g-src{color:var(--console-dim);display:block;margin-top:6px;font-size:11.5px}
#tip .g-lit{margin-top:9px;padding-top:8px;border-top:1px solid #3a3630;font-size:11.5px}
#tip .g-lit a{color:#9fc0d6;text-decoration:none;display:block;margin-top:3px}
#tip .g-lit a:hover{text-decoration:underline}
#tip .g-lit .vflag{font-size:10px;padding:1px 5px;border-radius:3px;margin-left:5px;
  background:#4a3c33;color:#d8a06a}
#tip .g-lit .vflag.ok{background:#2c4a36;color:#8fd0a4}
#tip .g-src a{color:#9fc0d6;text-decoration:none}

/* ------------------------------------------------------ claims & badges */
.claim{border-left:3px solid var(--rule);padding-left:16px;margin:0 0 15px}
.claim.postulate{border-color:var(--c-postulate)} .claim.theorem{border-color:var(--c-theorem)}
.claim.anchor{border-color:var(--c-anchor)} .claim.audit{border-color:var(--c-audit)}
.claim.curiosity{border-color:var(--c-curiosity)} .claim.conjecture{border-color:var(--c-conjecture)}
.claim.correction{border-color:var(--c-correction)} .claim.open{border-color:var(--c-open)}
.bdg{font-family:var(--sans);font-size:10px;letter-spacing:.07em;text-transform:uppercase;
     padding:2px 7px;border-radius:3px;color:#fff;vertical-align:2px;margin-right:8px;font-weight:600}
.bdg.postulate{background:var(--c-postulate)} .bdg.theorem{background:var(--c-theorem)}
.bdg.anchor{background:var(--c-anchor)} .bdg.audit{background:var(--c-audit)}
.bdg.curiosity{background:var(--c-curiosity)} .bdg.conjecture{background:var(--c-conjecture)}
.bdg.correction{background:var(--c-correction)} .bdg.open{background:var(--c-open)}
body.filtering .claim{opacity:.16;transition:opacity .2s}
body.filtering .claim.match{opacity:1}

/* -------------------------------------------------------------- console */
details.console{margin:20px 0;border:1px solid var(--rule);border-radius:6px;overflow:hidden;background:var(--panel)}
details.console>summary{font-family:var(--sans);font-size:12.5px;padding:9px 14px;cursor:pointer;
  color:var(--ink2);list-style:none;display:flex;align-items:center;gap:9px;user-select:none}
details.console>summary::-webkit-details-marker{display:none}
details.console>summary:before{content:"\25B8";color:var(--ink3);font-size:11px}
details.console[open]>summary:before{content:"\25BE"}
details.console>summary code{font-family:var(--mono);font-size:11.5px;color:var(--accent);
  background:var(--accent-soft);padding:1px 6px;border-radius:3px}
.tabs{display:flex;border-top:1px solid var(--rule);background:#faf8f4;align-items:center}
.tabs button{font-family:var(--sans);font-size:11.5px;padding:7px 15px;border:0;background:none;
  cursor:pointer;color:var(--ink3);border-bottom:2px solid transparent}
.tabs button.on{color:var(--accent);border-bottom-color:var(--accent);background:#fff}
.tabs button:hover{color:var(--accent)}
.tabs .sp{flex:1}
.tabs button.run{color:var(--c-theorem);font-weight:600}
.tabs .note{font-family:var(--sans);font-size:11px;color:var(--ink3);padding-right:14px}
pre{margin:0;padding:15px 18px;background:var(--console-bg);color:var(--console-ink);
  font-family:var(--mono);font-size:11.5px;line-height:1.55;overflow-x:auto;white-space:pre}
pre .hl{color:#e0b062} pre .kw{color:#8fb8d8} pre .cm{color:#7d8a72;font-style:italic}
pre[hidden]{display:none}

/* --------------------------------------------------------- widget / 3D */
.widget{border:1px solid var(--rule);border-radius:6px;background:var(--panel);padding:22px 24px;margin:26px 0}
.widget h5{font-family:var(--sans);font-size:12px;letter-spacing:.07em;text-transform:uppercase;
  color:var(--ink3);margin:0 0 4px;font-weight:600}
.widget .cap{font-size:14px;color:var(--ink2);margin:0 0 18px;line-height:1.5}
.sl{display:flex;align-items:center;gap:14px;margin-bottom:20px}
.sl input{flex:1;accent-color:var(--accent)}
.sl .val{font-family:var(--mono);font-size:15px;min-width:132px;text-align:right}
.duties{display:grid;grid-template-columns:1fr 1fr;gap:16px}
.duty{border:1px solid var(--rule);border-radius:5px;padding:13px 15px}
.duty .nm{font-family:var(--sans);font-size:11.5px;color:var(--ink3);margin-bottom:5px}
.duty .num{font-family:var(--mono);font-size:15px;margin-bottom:3px}
.duty .dev{font-family:var(--mono);font-size:12.5px;font-weight:600}
.bar{height:5px;border-radius:3px;background:#eee7db;margin-top:9px;position:relative;overflow:hidden}
.bar i{position:absolute;top:0;bottom:0;background:var(--c-theorem);border-radius:3px;transition:all .1s}
.bar.bad i{background:var(--c-correction)}
.verdict{margin-top:16px;font-size:14.5px;color:var(--ink2);line-height:1.5;padding-top:14px;border-top:1px solid var(--rule)}
figure{margin:26px 0;border:1px solid var(--rule);border-radius:6px;background:var(--panel);padding:20px}
figure svg{width:100%;height:auto;display:block}
figcaption{font-size:13.5px;color:var(--ink2);margin-top:12px;line-height:1.5;font-style:italic}
canvas.gl{width:100%;height:430px;border-radius:5px;background:#14171a;cursor:grab;display:block}
canvas.gl:active{cursor:grabbing}
.glbar{display:flex;gap:14px;align-items:center;flex-wrap:wrap;margin-top:12px;
  font-family:var(--sans);font-size:12px;color:var(--ink3)}
.glbar label{display:flex;align-items:center;gap:5px;cursor:pointer}
.glkey{display:inline-block;width:11px;height:11px;border-radius:2px;vertical-align:-1px;margin-right:4px}

/* ------------------------------------------------- references & glossary */
a.x{color:var(--accent);text-decoration:none;border-bottom:1px solid rgba(122,92,46,.3)}
a.x:hover{border-bottom-color:var(--accent)}
a.x.ext:after{content:"\2197";font-size:10px;vertical-align:3px;margin-left:2px;opacity:.55}
footer{margin-top:60px;padding-top:22px;border-top:1px solid var(--rule);
  font-family:var(--sans);font-size:12.5px;color:var(--ink3);line-height:1.6}
.refs{font-family:var(--sans);font-size:13px;line-height:1.55}
.refs .r{padding:10px 0;border-bottom:1px solid var(--rule);display:flex;gap:12px;align-items:flex-start}
.refs .r:last-child{border-bottom:0}
.refs .r .body{flex:1}
.refs .r .ti{color:var(--ink);font-weight:600}
.refs .r .jr{color:var(--ink3)}
.refs .r .nt{color:var(--ink2);margin-top:3px;font-size:12.5px;font-style:italic}
.vflag{font-family:var(--sans);font-size:10px;letter-spacing:.05em;text-transform:uppercase;
  padding:2px 7px;border-radius:3px;background:#f3e6dd;color:var(--warn);white-space:nowrap;font-weight:600}
.vflag.ok{background:#e2f0e7;color:var(--ok)}
.tally{font-family:var(--sans);font-size:12.5px;color:var(--ink2);background:var(--panel);
  border:1px solid var(--rule);border-radius:6px;padding:12px 15px;margin:14px 0}
.tally b{color:var(--warn)}
.glosslist{display:grid;grid-template-columns:repeat(auto-fill,minmax(238px,1fr));gap:12px;
  font-family:var(--sans);font-size:12.5px;margin-top:14px}
.glosslist div{border:1px solid var(--rule);border-radius:5px;padding:10px 12px;background:var(--panel)}
.glosslist div.co{border-left:3px solid var(--concept)}
.glosslist div.sy{border-left:3px solid var(--accent)}
.glosslist b{font-family:var(--serif);font-size:16px;display:block;color:var(--ink)}
.glosslist em{color:var(--accent);font-size:11.5px;display:block;margin-bottom:4px}
.glosslist div.co em{color:var(--concept)}
.glosslist span.src{color:var(--ink3);display:block;margin-top:4px;font-size:11px}

@media(max-width:900px){.wrap{grid-template-columns:1fr}aside{position:static;height:auto;
  border-right:0;border-bottom:1px solid var(--rule)}main{padding:30px 22px 80px}
  .duties{grid-template-columns:1fr}}