.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{white-space:pre-line}.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,.lean-receipt summary{cursor:pointer;color:var(--text-muted);width:fit-content}.lean-source summary:hover,.lean-receipt 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-box .lean-check{text-transform:none;letter-spacing:0;color:var(--accent);border-color:var(--accent);padding:5px 10px;font-size:12px}.lean-box button:disabled{opacity:.6;cursor:wait}.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-version{font:11px var(--mono);color:var(--text-muted);margin-left:auto}.lean-result{min-height:48px;color:var(--text-muted);flex-direction:column;justify-content:center;gap:2px;margin-top:10px;font-size:12px;display:flex;position:relative}.lean-result strong{color:var(--text);font-weight:600}.lean-passed strong{color:var(--accent)}.lean-progress{background:linear-gradient(90deg, var(--border), var(--accent), var(--border));background-size:200% 100%;width:100%;height:2px;animation:1.5s ease-in-out infinite lean-check-progress;position:absolute;top:0}.lean-receipt{border-top:1px solid var(--border);padding-top:8px;font-size:11px}.lean-receipt summary{margin-bottom:5px}.lean-box .lean-copy-error{font-size:12px}.lean-box :focus-visible,.lean-toggle:focus-visible{outline:2px solid var(--accent);outline-offset:3px}@keyframes lean-check-progress{to{background-position:-200% 0}}@media (prefers-reduced-motion:reduce){.lean-progress{animation:none}}@media (max-width:600px){.lean-box{padding:12px}.lean-version{margin-left:0}}.lean-hash{overflow-wrap:anywhere}