/* Site-specific layout: the three-description diagram on the hub and the proposition page. */
.triple{display:grid;grid-template-columns:minmax(0,1fr) auto minmax(0,1fr) auto minmax(0,1fr);align-items:stretch;gap:10px 12px;margin:18px 0}
.triple .box{min-width:0;border:1px solid var(--rule);border-radius:9px;padding:10px 12px;background:var(--surface)}
.triple .box .katex-display{margin:.4em 0;overflow-x:auto;overflow-y:hidden}
.triple .box .who{font:var(--small)/1.4 var(--sans);color:var(--muted);margin:0 0 4px}
.triple .box .what{font:600 var(--small)/1.4 var(--sans);margin:0}
.triple .eq{align-self:center;text-align:center;font:var(--small)/1.35 var(--sans);color:var(--accent-ink);max-width:9.5em}
.triple .eq .sign{display:block;font-size:var(--h2);line-height:1;color:var(--ink);margin-bottom:4px}
@media(max-width:760px){.triple{grid-template-columns:minmax(0,1fr)}.triple .eq{max-width:none;padding:2px 0}.triple .eq .sign{display:inline;margin:0 8px 0 0}}
.dictionary td:first-child{white-space:nowrap}
.square{margin:14px auto;max-width:420px}.square .katex-display{margin:.4em 0}
/* Commutative diagrams (assets/cd.js) */
.cd-wrap{margin:14px auto;max-width:100%;overflow:hidden}
.cd{position:relative;margin:0 auto;transform-origin:top left}
.cd .cd-svg{position:absolute;left:0;top:0;overflow:visible;pointer-events:none;color:var(--ink)}
.cd .cd-line{fill:none;stroke:currentColor;stroke-width:1.1}
.cd-node{position:absolute;display:inline-block;white-space:nowrap;padding:1px 3px;line-height:1.3}
.cd-arrow{position:absolute;display:inline-block;white-space:nowrap;padding:0 2px;line-height:1.2;color:var(--muted)}
.cd-arrow .katex{font-size:.92em}
.cd-caption{font:var(--small)/1.45 var(--sans);color:var(--muted);margin:4px 0 0;text-align:center}