body{background:white;color:black;font-size:11pt;line-height:1.5}aside,.toolbar,.skip,#status,.controls,#import{display:none!important}.main-wrap{margin:0}main{max-width:none;padding:0}h1{font-size:30pt}.overview{margin-bottom:20pt}.entry{margin-top:20pt;padding-top:16pt;break-before:auto}.statement,.visual,.flow,.notes{break-inside:avoid}.visual svg{max-height:300px}.visual-head,.caption{font-size:9pt}.visual-body{padding:12px}.entry h3{break-after:avoid}.notes{display:block}.notes>summary{display:none}.notes:not([open])>*:not(summary){display:block}.notes textarea{height:auto!important;border:0;resize:none;overflow:visible;min-height:0;font-size:10pt;white-space:pre-wrap}.entry-meta a{color:#333}.hints details:not([open]){display:none}.source-remark{font-size:10pt}a{text-decoration:none;color:black}.section-intro,.plain{font-size:11pt}.katex{font-size:1em}footer{break-before:page}@page{margin:17mm}
.notes textarea{display:none!important}.print-note{display:block;white-space:pre-wrap;overflow-wrap:anywhere;font:10pt/1.5 Georgia;min-height:25pt}.notes{break-inside:auto}.notes-count{display:none}
@media screen{body{background:#eee}main{max-width:850px;padding:40px;margin:25px auto;background:white}}
.batch-intro{break-before:page;margin-top:0;padding-top:12pt}.proof-step{break-inside:avoid}.proof:not([open]){display:none}.section-banner{font-size:20pt;padding:12pt}.proof-flow{gap:8pt}