.usedby-label{font-weight:600}.usedby-label:after{content:":"}.note-details{flex:14rem;min-width:0}.note-details>summary{cursor:pointer;color:var(--sl-color-gray-3);align-items:center;min-height:1.75rem;display:flex}.note-details>summary:hover{color:var(--sl-color-white)}.note-details>summary:focus-visible{outline:2px solid var(--tb-accent);outline-offset:2px}.note-hl[aria-pressed=true]>.ex-box{background:#b45309;border-color:#b45309}.note-hl[aria-pressed=true]>.ex-box:after{content:"★";color:#fff}.note-details{border:0;margin:0;padding:0}.note-details>summary{margin:0;padding:0}.sl-markdown-content .note-details>.note-text{margin:.25rem 0 0}.env-title{margin-left:.25em;font-weight:400}.env-dot{font-weight:700}:is(.env-theorem,.env-lemma,.env-corollary,.env-proposition) .env-body{font-style:italic}:is(.env-theorem,.env-lemma,.env-corollary,.env-proposition) .env-body .katex{padding-inline:.12em}:is(.env-example,.env-remark) .env-label{font-style:normal}.proof-body:after{content:"";clear:both;display:block}.lean-proof{border-top:1px solid var(--sl-color-gray-5);margin-top:1rem;padding-top:.5rem}.lean-proof>summary{cursor:pointer;font-weight:600}.lean-badge{border:1px solid var(--sl-color-gray-4);color:var(--sl-color-gray-2);border-radius:999px;margin-left:.5rem;padding:.05rem .5rem;font-size:.75rem;font-weight:500}.lean-note{color:var(--sl-color-gray-3);margin:.5rem 0 0;font-size:.85rem}.sl-markdown-content .ex-tags{font-family:var(--__sl-font);flex-wrap:wrap;gap:.3rem;margin:.6rem 0 0;display:flex}.parts-plain>ol>li{padding-left:0}.parts-plain>ol>li:before{content:none}.parts-roman>ol>li{padding-left:2.6em}.parts-roman>ol>li:before{content:"(" counter(part, lower-roman) ")"}.discussion-label{font-style:italic;font-weight:700}.sl-markdown-content details.quiz-details>.quiz{border-left:none;padding-left:0}.sl-markdown-content .quiz-footer{font-family:var(--__sl-font);align-items:center;gap:1rem;margin-top:.75rem;font-size:.95rem;display:flex}.quiz-choice-text{flex:1}.insight{--insight-c:var(--tb-accent);border-left:3px solid var(--insight-c);background:color-mix(in srgb, var(--insight-c) 7%, transparent);border-radius:0 .35rem .35rem 0;margin-block:1.1em;padding:.55em .95em .65em}.insight-intuition{--insight-c:var(--sl-color-blue)}.insight-pitfall{--insight-c:var(--sl-color-orange)}.insight-abbott{--insight-c:var(--sl-color-gray-3)}.sl-markdown-content .insight-head{font-size:var(--sl-text-sm);margin:0 0 .3em}.insight-label{letter-spacing:.04em;text-transform:uppercase;color:color-mix(in srgb, var(--insight-c) 50%, var(--sl-color-white));font-weight:700}.insight-title{margin-left:.5em;font-weight:600}.insight-title:before{content:"· ";font-weight:400}.sl-markdown-content .insight-body>:first-child{margin-top:0}.sl-markdown-content .insight-body>:not(:first-child){margin-top:.55em}.insight .katex-display{padding-block:.15em;overflow:auto hidden}.proof-order{margin-block:.5rem 1rem}.sl-markdown-content details.proof-order-details>.proof-order{border-left:none;padding-left:0}.po-controls{flex:none;gap:.3rem;display:flex}.po-move{min-width:2.75rem;min-height:2.75rem;padding:.2rem .5rem;position:relative}.po-move:disabled{opacity:.4;cursor:not-allowed}.proof-order.is-solved .po-controls{display:none}.pf-notes{font-family:var(--__sl-font);font-size:.9rem;list-style:none;margin:.4rem 0 0!important;padding:0!important}.pf-notes:empty{display:none}.pf-notes>li{margin:.2rem 0!important}.pf-notes>li:before{margin-right:.3rem;font-weight:600}.pf-notes>li.is-right{color:var(--tb-good)}.pf-notes>li.is-right:before{content:"✓"}.pf-notes>li.is-wrong{color:var(--tb-bad)}.pf-notes>li.is-wrong:before{content:"✗"}.pe-flag{flex:none;min-height:2.75rem;padding:.2rem .75rem}.pe-flag:disabled{opacity:.55;cursor:not-allowed}.pe-why{font-family:var(--__sl-font);border-left:3px solid var(--tb-bad);flex-basis:100%;padding:.4rem .6rem;font-size:.95rem}.pe-why[hidden],.pe-link[hidden]{display:none}.sl-markdown-content .pe-link{font-family:var(--__sl-font);margin-top:.4rem;font-size:.95rem}.proof-flaw.is-solved .pe-flag{display:none}.po-step.is-right .po-status{color:var(--tb-good)}.po-step.is-wrong .po-status{color:var(--tb-bad)}.po-step.is-right .po-status:before{content:"✓ "}.po-step.is-wrong .po-status:before{content:"✗ "}.po-step.is-fine .po-status{color:var(--sl-color-gray-2)}.po-step.is-wrong-line .po-status{color:var(--tb-bad)}.po-step.is-wrong-line .po-status:before{content:"✗ "}.proof-write{margin-block:.5rem 1rem}.sl-markdown-content details.proof-write-details>.proof-write{border-left:none;padding-left:0}.proof-write .pw-goal{font-family:var(--__sl-font);margin-bottom:.5rem}.proof-write .pw-defs[hidden]{display:none}.proof-write .pw-moves{font-family:var(--__sl-font);margin:.25rem 0 .75rem;font-size:.9rem}.proof-write .pw-move-list{margin:.4rem 0 0;padding-left:1.2rem}.proof-write .pw-lines:empty{display:none}.proof-write .pw-lines{margin-bottom:.75rem}.proof-write .pw-text{font-family:var(--sl-font-system-mono);overflow-wrap:anywhere;font-size:.9rem}.proof-write .pw-by{font-family:var(--__sl-font);color:var(--sl-color-gray-2);font-size:.85rem}.proof-write .pw-form{grid-template-columns:auto 1fr;align-items:center;gap:.4rem .75rem;margin:.5rem 0;display:grid}.proof-write .pw-label{font-family:var(--__sl-font);font-size:.9rem}.proof-write .pw-input,.proof-write .pw-select{font:inherit;font-family:var(--sl-font-system-mono);border:1px solid var(--sl-color-gray-4);background:var(--sl-color-bg);min-width:0;min-height:2.5rem;color:var(--sl-color-white);border-radius:.35rem;padding:.2rem .5rem;font-size:.9rem}.proof-write .pw-select{font-family:var(--__sl-font)}.proof-write .pw-check{grid-column:2;justify-self:start}.proof-write :is(.pw-check,.pw-hint,.pw-show,.pw-reset,.pw-remove){font:inherit;font-family:var(--__sl-font);border:1px solid var(--sl-color-gray-4);background:var(--sl-color-gray-6);min-height:2.5rem;color:var(--sl-color-white);cursor:pointer;border-radius:.35rem;padding:.3rem .8rem;font-size:.9rem}.proof-write :is(.pw-check,.pw-hint,.pw-show,.pw-reset,.pw-remove):hover:not(:disabled){border-color:var(--tb-accent);color:var(--tb-accent)}.proof-write .pw-check:disabled,.proof-write :is(.pw-input,.pw-select):disabled{opacity:.55;cursor:not-allowed}.proof-write :is(button,input,select,summary):focus-visible{outline:2px solid var(--tb-accent);outline-offset:2px}.proof-write .pw-model[hidden]{display:none}@media (width<=30rem){.proof-write .pw-form{grid-template-columns:1fr}.proof-write .pw-check{grid-column:1}}.sl-markdown-content .break-it{border:1px solid var(--tb-rule);font-family:var(--__sl-font);border-radius:.5rem;margin-block:1.25rem;padding:.9rem 1rem}.break-it p{margin:0}.break-it .bk-title{margin-bottom:.4rem;font-weight:600}.break-it .bk-tag{text-transform:uppercase;letter-spacing:.05em;color:var(--tb-bad);margin-right:.35rem;font-size:.75rem;font-weight:700}.break-it .bk-prompt{color:var(--sl-color-gray-2);margin-top:.6rem;font-size:.95rem}.break-it .bk-opts{gap:.5rem;margin-top:.5rem;display:grid}.break-it .bk-pick{text-align:left;width:100%;min-height:2.75rem;font:inherit;color:inherit;border:1px solid var(--tb-rule);cursor:pointer;overflow-wrap:anywhere;background:0 0;border-radius:.4rem;padding:.5rem .75rem;display:block}.break-it .bk-pick:hover:not(:disabled){border-color:var(--sl-color-gray-3)}.break-it .bk-pick:focus-visible{outline:2px solid var(--tb-accent);outline-offset:2px}.break-it .bk-pick:disabled{cursor:default}.break-it .bk-opt.is-right .bk-pick{border-color:var(--tb-good)}.break-it .bk-opt.is-wrong .bk-pick{border-color:var(--tb-bad)}.break-it .bk-why{color:var(--sl-color-gray-2);margin-top:.35rem;font-size:.92rem;display:block}.break-it .bk-why[hidden],.break-it .bk-fix[hidden]{display:none}.break-it .bk-opt.is-right .bk-why{color:var(--tb-good)}.break-it .bk-opt.is-wrong .bk-why{color:var(--tb-bad)}.break-it .bk-fix{border-left:3px solid var(--tb-good);margin-top:.75rem;padding:.5rem .75rem}.break-it .bk-status{min-height:1.2em;color:var(--sl-color-gray-2);margin-top:.5rem;font-size:.9rem}