.edm-proofs { display: grid; grid-template-columns: repeat(auto-fit, minmax(min(100%, 28rem), 1fr)); gap: 1rem; }
.edm-proof { padding: 1.25rem; min-width: 0; }
.edm-proof h2 { font-size: 1.35rem; }
.edm-proof .mm-nav { flex-wrap: wrap; margin: 1rem 0; }
.edm-proof .mm-nav a { min-height: 44px; display: inline-flex; align-items: center; }
.edm-proof-open { font-weight: 700; }
.edm-proof details { border-top: 1px solid var(--mm-border); padding-top: .75rem; }
.edm-proof summary { cursor: pointer; min-height: 44px; }
.edm-proof code { overflow-wrap: anywhere; }
.edm-proof-note { margin-top: 1.5rem; color: var(--mm-muted); }
.mm-opening { grid-template-columns: minmax(0, 1fr); }
.mm-topbar #tema { border: 1px solid var(--mm-border); background: var(--mm-surface); color: var(--mm-text); border-radius: var(--mm-radius); }