/* Cola overlay — sits on top of the untouched arXiv paper */
:root{
  --cola-indigo:#5b46e5; --cola-indigo2:#7c4dff; --cola-mint:#0d9b6c;
  --cola-ink:#0c1020; --cola-card:#11152a;
}

/* top bar */
#cola-bar{
  position:sticky; top:0; z-index:9000;
  display:flex; align-items:center; gap:14px; flex-wrap:wrap;
  padding:9px 18px; font:500 13px/1.3 -apple-system,Segoe UI,Roboto,Inter,sans-serif;
  color:#e8e9f3; background:linear-gradient(90deg,#0c1020,#171436 60%,#0c1020);
  border-bottom:1px solid rgba(124,77,255,.35);
  box-shadow:0 2px 18px rgba(0,0,0,.28);
}
#cola-bar .cb-logo{font-weight:800;letter-spacing:.3px;color:#fff;display:flex;align-items:center;gap:8px}
#cola-bar .cb-dot{width:9px;height:9px;border-radius:50%;background:var(--cola-indigo2);box-shadow:0 0 10px var(--cola-indigo2)}
#cola-bar .cb-sub{color:#9aa0c7;font-weight:400}
#cola-bar .cb-spacer{flex:1}
#cola-bar .cb-stat{color:#b9b3ff;font-variant-numeric:tabular-nums}
#cola-bar a.cb-btn,#cola-bar button.cb-btn{
  text-decoration:none;cursor:pointer;border:1px solid rgba(124,77,255,.4);
  background:rgba(124,77,255,.14);color:#d9d2ff;padding:5px 12px;border-radius:8px;
  font:600 12.5px/1 inherit;transition:.18s;
}
#cola-bar a.cb-btn:hover,#cola-bar button.cb-btn:hover{background:rgba(124,77,255,.28);color:#fff}
#cola-bar button.cb-btn.off{opacity:.5;background:transparent}

/* known equation number → interactive pill */
.cola-eqno{
  cursor:help; border-radius:6px; padding:1px 5px;
  background:rgba(91,70,229,.12); box-shadow:inset 0 0 0 1px rgba(91,70,229,.4);
  transition:.15s; position:relative;
}
.cola-eqno:hover{background:rgba(91,70,229,.28);box-shadow:inset 0 0 0 1px rgba(91,70,229,.85)}
.cola-eqno::after{content:"ⓘ";font-size:.7em;vertical-align:super;margin-left:2px;color:var(--cola-indigo)}
/* fallback (section-context only) equations — subtler than the curated ones */
.cola-eqno.cola-eqno-lite{background:transparent;box-shadow:none;opacity:.92}
.cola-eqno.cola-eqno-lite:hover{background:rgba(91,70,229,.16);box-shadow:inset 0 0 0 1px rgba(91,70,229,.5)}
.cola-eqno.cola-eqno-lite::after{content:"·";color:var(--cola-indigo);opacity:.8}
/* algorithm caption affordance */
.cola-algo{cursor:help;border-radius:6px;padding:1px 6px;
  background:rgba(13,155,108,.14);box-shadow:inset 0 0 0 1px rgba(13,155,108,.45);transition:.15s}
.cola-algo:hover{background:rgba(13,155,108,.3);box-shadow:inset 0 0 0 1px rgba(13,155,108,.9)}
.cola-algo::after{content:"ⓘ";font-size:.72em;vertical-align:super;margin-left:3px;color:var(--cola-mint)}
body.cola-off .cola-algo{background:none;box-shadow:none;cursor:auto}
body.cola-off .cola-algo::after{display:none}
.cola-eq-host{transition:background .2s}
.cola-eq-host.cola-lit{background:rgba(91,70,229,.06);box-shadow:-3px 0 0 var(--cola-indigo2)}

/* glossary term */
.cola-term{
  cursor:help; border-bottom:1.5px dotted var(--cola-indigo);
  color:inherit; transition:.15s;
}
.cola-term:hover{background:rgba(91,70,229,.12);border-bottom-color:var(--cola-indigo2)}

/* annotations off */
body.cola-off .cola-eqno{background:none;box-shadow:none;cursor:auto}
body.cola-off .cola-eqno::after{display:none}
body.cola-off .cola-term{border-bottom:none;cursor:auto}
body.cola-off .cola-eq-host.cola-lit{background:none;box-shadow:none}

/* popover */
#cola-pop{
  position:absolute; z-index:9500; max-width:380px; width:max-content;
  background:var(--cola-card); color:#e7e8f4; border:1px solid rgba(124,77,255,.5);
  border-radius:14px; padding:0; box-shadow:0 18px 50px rgba(0,0,0,.5);
  font:14px/1.5 -apple-system,Segoe UI,Roboto,Inter,sans-serif;
  opacity:0; transform:translateY(4px); pointer-events:none; transition:opacity .14s,transform .14s;
}
#cola-pop.show{opacity:1;transform:translateY(0);pointer-events:auto}
#cola-pop .cp-head{
  display:flex;align-items:center;gap:8px;padding:11px 14px 8px;
  border-bottom:1px solid rgba(255,255,255,.08);
}
#cola-pop .cp-kind{font:700 10px/1 inherit;letter-spacing:.6px;text-transform:uppercase;
  color:#c4a6ff;background:rgba(124,77,255,.16);padding:4px 7px;border-radius:5px}
#cola-pop .cp-title{font-weight:700;color:#fff;flex:1}
#cola-pop .cp-x{cursor:pointer;color:#8b90b8;font-size:17px;line-height:1;padding:0 2px}
#cola-pop .cp-x:hover{color:#fff}
#cola-pop.has-vis{width:430px;max-width:430px}
#cola-pop .cp-body{padding:11px 14px 13px;max-height:68vh;overflow-y:auto;overflow-x:hidden}
#cola-pop canvas.cp-vis{display:block;width:100%;height:170px;border-radius:9px;
  background:#0a0c12;border:1px solid rgba(124,77,255,.22);margin:0 0 11px}
/* the equation itself */
#cola-pop .cp-eq{background:#0a0c12;border:1px solid rgba(124,77,255,.22);border-radius:9px;
  padding:8px 10px;margin:0 0 10px;overflow-x:auto;overflow-y:hidden;color:#eef0ff;font-size:13px}
#cola-pop .cp-eq mjx-container{margin:0!important}
#cola-pop .cp-eq-clone{color:#fff}
#cola-pop .cp-eq-clone math{color:#eef0ff}
/* mathematical breakdown */
#cola-pop .cp-bd-h{font:700 10px/1 inherit;letter-spacing:.6px;text-transform:uppercase;
  color:#86e8c2;margin:11px 0 6px}
#cola-pop .cp-bd{display:grid;grid-template-columns:auto 1fr;gap:8px;align-items:baseline;
  padding:5px 0;border-top:1px solid rgba(255,255,255,.06)}
#cola-pop .cp-bd-k{color:#bfe0ff;white-space:nowrap}
#cola-pop .cp-bd-v{color:#b9bcdb;font-size:12.5px;line-height:1.4}
#cola-pop .cp-p{color:#c7cae6;margin:0 0 9px}
#cola-pop table.cp-leg{width:100%;border-collapse:collapse;margin:2px 0 4px;font-size:12.5px}
#cola-pop table.cp-leg td{padding:3px 6px;vertical-align:top;border-top:1px solid rgba(255,255,255,.06)}
#cola-pop table.cp-leg td.k{color:#86e8c2;font-family:ui-monospace,Menlo,monospace;white-space:nowrap;font-weight:600}
#cola-pop table.cp-leg td.v{color:#b6b9d6}
#cola-pop a.cp-link{
  display:inline-flex;align-items:center;gap:5px;margin-top:8px;text-decoration:none;
  background:linear-gradient(90deg,var(--cola-indigo),var(--cola-indigo2));color:#fff;
  padding:6px 12px;border-radius:8px;font-weight:600;font-size:12.5px;transition:.15s;
}
#cola-pop a.cp-link:hover{filter:brightness(1.12)}
#cola-pop .cp-arrow{position:absolute;width:12px;height:12px;background:var(--cola-card);
  border-left:1px solid rgba(124,77,255,.5);border-top:1px solid rgba(124,77,255,.5);
  transform:rotate(45deg)}