.lean-toggle{align-items:center;gap:6px;display:inline-flex}.lean-toggle-dot{background:var(--border);border-radius:50%;width:5px;height:5px}.lean-toggle[aria-pressed=true]{color:var(--accent);border-color:var(--accent)}.lean-toggle[aria-pressed=true] .lean-toggle-dot{background:var(--accent)}.lean-slot{scroll-margin-top:100px}.lean-intro:empty{display:none}.lean-intro{border-top:1px solid var(--border);border-bottom:1px solid var(--border);font:12px/1.7 var(--sans);color:var(--text-muted);text-align:center;margin:18px 0;padding:10px 0}.lean-explanation{text-align:left}.lean-explanation p{margin:8px 0}.lean-explanation details{margin:12px 0}.lean-explanation summary{cursor:pointer;color:var(--text)}.lean-explanation pre{border:1px solid var(--border);font:12px/1.7 var(--mono);background:var(--bg);padding:12px;overflow:auto}.lean-explanation nav{flex-direction:column;gap:4px;margin-top:8px;display:flex}.lean-coverage-note{overflow-wrap:anywhere}.lean-coverage-note ul{margin:8px 0;padding-left:22px}.lean-boundary h3{font:600 14px/1.5 var(--sans);color:var(--text);margin:0 0 8px}.lean-coverage-note code{overflow-wrap:anywhere;font-size:.95em}.lean-boundary{border-left:2px solid var(--border);margin:16px 0;padding-left:12px}.lean-additional-heading{font:600 16px/1.5 var(--sans);color:var(--text)}.lean-unavailable{color:var(--text-muted);font-size:11px}.lean-toggle:disabled{opacity:.5;cursor:default}.lean-box{border:1px solid var(--border);border-left:2px solid var(--accent);background:var(--card-bg);color:var(--text);font:13px/1.6 var(--sans);text-align:left;border-radius:3px;margin:20px 0 28px;padding:16px 18px}.lean-box .lean-box-heading{flex-wrap:wrap;align-items:baseline;gap:7px 12px;margin-bottom:6px;display:flex}.lean-label{font:12px var(--mono);color:var(--accent)}.lean-box-heading a{color:var(--text);font-weight:600}.paper-content .lean-box p{font:inherit;text-align:left;text-indent:0;margin:0 0 12px}.lean-box .lean-description{color:var(--text-muted)}.lean-source{margin:12px 0}.lean-source summary{cursor:pointer;color:var(--text-muted);width:fit-content}.lean-source summary:hover{color:var(--accent)}.lean-box .lean-source pre{font:12px/1.7 var(--mono);background:var(--bg);white-space:pre;border:1px solid var(--border);tab-size:2;border-radius:3px;max-height:420px;margin:10px 0 8px;padding:12px;overflow:auto}.lean-source code{font:inherit}.lean-keyword{color:var(--accent)}.lean-source-link{font-size:12px}.lean-actions{flex-wrap:wrap;align-items:center;gap:10px;margin-top:12px;display:flex}.lean-copy{font:inherit;color:var(--text-muted);cursor:pointer;background:0 0;border:0;font-size:12px}.lean-copy:hover{color:var(--accent)}.lean-box .lean-copy-error{font-size:12px}.lean-box :focus-visible,.lean-toggle:focus-visible{outline:2px solid var(--accent);outline-offset:3px}@media (max-width:600px){.lean-box{padding:12px}}.lean-additional{border-top:1px solid var(--border);margin:24px 0;padding-top:14px}.lean-additional-heading,.lean-supporting-proof>summary{cursor:pointer}.lean-supporting-proof{border-bottom:1px solid var(--border);font:13px/1.6 var(--sans);color:var(--text);margin:0;padding:10px 0}.lean-supporting-proof>summary{overflow-wrap:anywhere}.lean-finder label{font:inherit;display:block}.lean-finder input{border:1px solid var(--border);background:var(--bg);width:100%;color:var(--text);font:inherit;border-radius:3px;margin-top:6px;padding:8px 10px;display:block}.lean-finder a{overflow-wrap:anywhere}