.euler-proof{margin:1.25rem 0;border:1px solid #cbd5df;border-radius:18px;background:#fff;overflow:hidden}
.euler-proof>summary{padding:1rem;cursor:pointer;min-height:44px;display:list-item;list-style-position:inside}
.euler-proof>summary>span{margin-right:.6rem;font-size:.82rem;color:#64748b}
.euler-proof>summary>strong{font-size:1rem}
.euler-proof-content{padding:0 1rem 1rem}
.euler-proof-content>p{margin:.5rem 0 1rem}
.euler-scene{max-width:520px;margin:0 auto}
.euler-scene svg{display:block;width:100%;height:auto;overflow:visible}
.euler-controls{display:grid;grid-template-columns:repeat(auto-fit,minmax(min(100%,9.5em),1fr));gap:.5rem;max-width:600px;margin:.5rem auto}
.euler-controls button{appearance:none;min-height:48px;padding:.65rem .6rem;border:1px solid #b8c7d9;border-radius:12px;background:#f5f8fc;color:#1f2937;font:inherit;font-size:.95rem;line-height:1.3;cursor:pointer;overflow-wrap:break-word}
.euler-controls button[aria-pressed=true]{border-color:#197365;background:#e1f0e8;font-weight:600}
.euler-controls .euler-reset{grid-column:1/-1;background:#fff}
.euler-controls button:focus-visible,.euler-proof>summary:focus-visible{outline:3px solid #2456a6;outline-offset:-3px}
.euler-status{min-height:3.3em;line-height:1.5;padding:.7rem .85rem;background:#f8fafc;border-left:3px solid #197365;border-radius:8px}
.euler-note{font-size:.86rem;line-height:1.5;color:#64748b}
.euler-proof-fallback figure{margin:.5rem auto;max-width:520px}
.euler-proof-fallback img{display:block;width:100%;height:auto}
.euler-proof-fallback figcaption{font-size:.86rem;color:#64748b;margin:.4rem 0}
@media(min-width:700px){.euler-controls{grid-template-columns:repeat(4,minmax(0,1fr))}.euler-controls .euler-reset{grid-column:1/-1;justify-self:start;min-width:140px}}
@media(max-width:359px){.euler-proof-content{padding:0 .3rem .75rem}.euler-controls button{font-size:.86rem}.euler-status{padding:.65rem .7rem}}

@media(max-width:359px){.euler-proof{margin-left:-10px;margin-right:-10px}.euler-controls button{font-size:.9rem}}