.lean-playground{max-width:78rem;margin-inline:auto}
.lean-playground .lean-heading{max-width:58rem}
.lean-session-intro{display:grid;grid-template-columns:minmax(0,1fr) minmax(13rem,19rem);gap:1.5rem 3rem;border-block:1px solid var(--line);padding:1.4rem 0;margin-top:1.5rem}
.open-research .lean-session-intro h2,.open-research .lean-experiment h2{font-size:1.4rem;margin:0 0 .7rem}
.lean-session-intro p{font-size:.95rem;max-width:66ch;margin:.6rem 0}
.lean-session-intro .lean-service-note{font-size:.8rem;color:var(--muted)}
.lean-session-actions{display:flex;align-items:stretch;justify-content:center;flex-direction:column;gap:.7rem;font-size:.85rem}
.open-research .lean-session-actions button{margin:0;padding:.7rem 1rem;min-height:44px;font-size:.88rem}
.lean-session-actions a{padding:.3rem 0;line-height:1.6}
.open-research .lean-session-actions [data-lean-close]{background:var(--surface);color:var(--green);border:1px solid var(--line)}
.lean-session-status{font-size:.85rem;color:var(--muted);margin:1rem 0}
.lean-editor-slot{border:1px solid var(--line);border-radius:.3rem;background:white;overflow:hidden}
.lean-editor-slot iframe{display:block;width:100%;height:44rem;border:0}
.lean-editor-help{color:var(--muted);font-size:.8rem;max-width:85ch}
.lean-original{margin:1.5rem 0}
.lean-original summary,.lean-session-scope summary{cursor:pointer;padding:.7rem 0;min-height:44px;font-size:.9rem}
.lean-original-code{font-size:.86rem;line-height:1.65;tab-size:2;margin-top:.4rem}
.lean-original-code code{white-space:pre;overflow-wrap:normal}
.lean-experiment{padding:1.2rem 1.4rem;margin:1.7rem 0;background:var(--surface);border-left:3px solid var(--green)}
.lean-experiment p,.lean-session-scope p{font-size:.9rem;max-width:90ch}
.lean-session-scope{border-top:1px solid var(--line);margin-top:1rem}
@media(max-width:760px){.lean-session-intro{grid-template-columns:1fr;gap:.6rem}.lean-session-actions{align-items:flex-start}.lean-session-actions button{width:100%}.lean-editor-slot iframe{height:52rem}.lean-original-code{font-size:.78rem}.lean-experiment{padding:1rem}}
@media print{.lean-session-actions,.lean-editor-slot,.lean-editor-help,.lean-session-status{display:none}.lean-session-intro{display:block}.lean-original{display:block}.lean-original-code{white-space:pre-wrap}.lean-original-code code{white-space:pre-wrap}}