.proof-index{max-width:750px;margin-top:35px}.proof-page #page-content{max-width:1440px;padding:32px 35px 65px}.proof-title{display:flex;justify-content:space-between;gap:25px;align-items:flex-start;margin:0 0 27px}.proof-title h1{font:700 clamp(25px,2.5vw,36px)/1.25 var(--sans);letter-spacing:-.7px;margin:0;color:var(--heading)}.proof-authors{font-size:12px;line-height:1.7;color:var(--muted);margin-top:13px;max-width:850px}.proof-source-pdf{flex-shrink:0;margin-top:8px}.proof-navigation{display:flex;align-items:center;gap:15px;padding:13px 0 17px}.proof-nav-button{border:1px solid var(--line-strong);border-radius:5px;background:var(--panel);color:var(--muted);padding:9px 14px;font-size:12px;font-weight:550;white-space:nowrap}.proof-nav-button:hover:enabled{background:var(--soft-blue)}.proof-nav-button:disabled{opacity:.4}.proof-slide-selector{flex:1;min-width:0;max-width:720px}.proof-slide-selector select{margin:0;padding:10px 32px 10px 12px;color:var(--muted);background:var(--panel);font-size:12px;border-color:var(--line-strong)}.proof-slide-count{font:12px/1.5 var(--sans);color:var(--muted);white-space:nowrap;margin-left:auto}.proof-progress{display:block;width:100%;height:4px;border:0;border-radius:0;background:var(--soft-blue);color:var(--muted);margin-bottom:26px;appearance:none}.proof-progress::-webkit-progress-bar{background:var(--soft-blue)}.proof-progress::-webkit-progress-value{background:var(--accent-strong)}.proof-progress::-moz-progress-bar{background:var(--accent-strong)}.proof-workspace{display:grid;grid-template-columns:minmax(320px,1.1fr) minmax(400px,.9fr);gap:35px;align-items:start}.proof-source-panel{min-width:0;max-height:calc(100vh - 205px);overflow:auto;padding:0 20px 20px 0;scrollbar-color:var(--accent) var(--soft-blue);scrollbar-width:thin}.proof-source-meta{display:flex;align-items:center;justify-content:space-between;gap:15px;color:var(--muted);font:11px/1.6 var(--sans);margin:0 0 22px;padding:0 0 12px;border-bottom:1px solid var(--line)}.proof-source-html{font:16px/1.9 var(--sans);color:var(--ink);overflow-wrap:anywhere}.proof-source-html p{margin:0 0 22px}.proof-source-html h1,.proof-source-html h2,.proof-source-html h3{font-family:var(--sans);font-weight:650;line-height:1.4;letter-spacing:-.5px;color:var(--heading);margin:0 0 22px}.proof-source-html h1{font-size:27px}.proof-source-html h2{font-size:23px}.proof-source-html h3{font-size:20px}.proof-source-html ol,.proof-source-html ul{padding-left:26px;margin:16px 0 25px}.proof-source-html li{margin-bottom:12px;padding-left:4px}.proof-source-html a{color:var(--accent-strong);text-underline-offset:4px}.proof-source-html a[data-proof-popup]{text-decoration-style:dotted;text-decoration-thickness:1px}.proof-source-html math{font-family:var(--serif);font-size:1.05em;max-width:100%}.proof-source-html math[display="block"]{display:block;margin:24px 0;overflow-x:auto;overflow-y:hidden;padding:4px 0}.proof-source-html img,.proof-source-html svg{max-width:100%;height:auto}.proof-source-html figure{margin:25px 0}.proof-visual-panel{position:sticky;top:20px;min-width:0;background:var(--panel);border:1px solid var(--line);border-radius:7px;overflow:hidden}.proof-visual-heading{display:flex;justify-content:flex-end;align-items:center;gap:15px;padding:14px 18px;border-bottom:1px solid var(--line);color:var(--muted);font-size:11px}.proof-inline-button{color:var(--muted);font-size:11px;text-decoration:underline;text-underline-offset:3px;padding:2px 0}.proof-inline-button:hover{color:var(--heading)}.proof-visual{display:flex;align-items:center;justify-content:center;min-height:330px;padding:15px;overflow:auto}.proof-visual>svg{display:block;width:100%;height:auto;max-height:440px}.proof-visual-caption{font-size:12px;line-height:1.8;min-height:65px;color:var(--muted);margin:0;padding:13px 20px 20px}.proof-animation-controls{padding:16px 20px 17px;background:var(--paper);border-top:1px solid var(--line)}.proof-animation-buttons{display:flex;align-items:center;gap:18px}.proof-animation-buttons .proof-nav-button{padding:7px 15px;min-width:65px}.proof-animation-count{font-size:11px;color:var(--muted);margin-left:auto}.proof-popup{width:min(900px,calc(100vw - 40px));max-width:none;max-height:88vh;background:var(--panel);border:1px solid var(--line-strong);border-radius:8px;padding:0;overflow:auto;box-shadow:0 20px 90px rgba(24,26,42,0.231)}.proof-popup::backdrop{background:rgba(24,26,42,0.400);backdrop-filter:blur(2px)}.proof-popup-heading{position:sticky;top:0;z-index:1;display:flex;justify-content:space-between;align-items:center;gap:20px;padding:20px 25px;background:var(--panel);border-bottom:1px solid var(--line)}.proof-popup-heading h2{font:650 22px/1.4 var(--sans);letter-spacing:-.4px;color:var(--heading);margin:0}.proof-popup-heading button{font-size:27px;line-height:1;padding:0 4px;color:var(--muted)}#proof-popup-body{padding:25px;color:var(--muted);font-size:14px;line-height:1.9}#proof-popup-body a{color:var(--accent-strong);text-underline-offset:3px}#proof-popup-body p{margin:0 0 20px}#proof-popup-body p:last-child{margin-bottom:0}#proof-popup-body svg{display:block;width:100%;height:auto;max-height:550px}.proof-math{font-family:var(--serif);white-space:nowrap}
@media(max-width:1000px){.proof-workspace{grid-template-columns:minmax(320px,1.1fr) minmax(400px,.9fr);gap:23px}.proof-page #page-content{padding-left:25px;padding-right:25px}.proof-source-panel{padding-right:14px}.proof-source-html{font-size:15px}.proof-visual{padding:10px;min-height:280px}.proof-visual-caption{padding:10px 15px 17px}}@media(max-width:780px){.proof-page #page-content{padding:27px 20px 50px}.proof-title{flex-direction:column;gap:10px;margin-bottom:20px}.proof-title h1{font-size:28px}.proof-source-pdf{margin:0}.proof-navigation{flex-wrap:wrap;gap:10px}.proof-slide-selector{order:-1;flex-basis:100%;max-width:none}.proof-slide-count{margin-left:auto;margin-right:auto}.proof-progress{margin-bottom:20px}.proof-workspace{display:flex;flex-direction:column;gap:25px}.proof-source-panel{order:1;max-height:none;overflow:visible;padding:0;width:100%}.proof-visual-panel{position:relative;top:auto;width:100%;order:2}.proof-source-html{font-size:16px}.proof-visual{min-height:260px}.proof-visual>svg{max-height:380px}.proof-visual-caption{min-height:0}.proof-popup{width:calc(100vw - 24px);max-height:92vh}.proof-popup-heading{padding:17px 20px}.proof-popup-heading h2{font-size:20px}#proof-popup-body{padding:22px}.proof-source-meta{margin-bottom:18px}}

.proof-workspace.proof-full-width{grid-template-columns:minmax(0,1fr)}.proof-full-width .proof-source-panel{max-height:none;overflow:visible;padding-right:0}.proof-source-html mo[data-modal-box]{font-size:1.35em;font-style:normal;font-weight:400;line-height:1}.proof-procedure-buttons{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:9px;margin:0 0 25px}.proof-procedure-buttons button{padding:10px 12px;border:1px solid var(--line-strong);background:var(--panel);border-radius:5px;color:var(--muted);text-align:left;font-size:12px;line-height:1.5}.proof-procedure-buttons button:hover{background:var(--paper)}.proof-procedure-buttons button[aria-pressed=true]{background:var(--soft-blue);border-color:var(--accent);color:var(--heading)}.proof-proposition-proof{margin-top:26px;border-top:1px solid var(--line);padding-top:20px}.proof-proposition-proof>summary{display:inline-flex;cursor:pointer;align-items:center;gap:10px;border:1px solid var(--line-strong);border-radius:5px;background:var(--paper);padding:10px 24px;color:var(--muted);font:600 13px/1.4 var(--sans)}.proof-proposition-proof>summary::marker{content:''}.proof-expanded-proof{margin-top:24px}.proof-animation-buttons{flex-wrap:wrap}.proof-animation-buttons #proof-reveal{min-width:145px}.proof-procedure-segment>p:last-child{margin-bottom:0}@media(max-width:500px){.proof-procedure-buttons{grid-template-columns:1fr}}