.lean-widget{--lean-gutter: 2ch;--lean-pad: 1rem;--lean-line-height: 1.65;--lean-edge: rgb(var(--fg) / .14);position:relative;margin:1.1rem 0 0;font-family:JetBrains Mono Variable,ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.84rem;line-height:var(--lean-line-height);text-align:left;hyphens:none}.lean-caption{display:flex;align-items:baseline;justify-content:space-between;gap:1rem;padding-bottom:.3rem;font-size:.68rem;letter-spacing:.09em;text-transform:uppercase;color:rgb(var(--fg) / .28);-webkit-user-select:none;-moz-user-select:none;user-select:none}.lean-caption-kind{color:rgb(var(--fg) / .22)}.lean-code{background:rgb(var(--raised));border-left:2px solid var(--lean-edge);transition:border-color .25s ease}.lean-widget[data-state=ok] .lean-code{border-left-color:rgb(var(--worked))}.lean-widget[data-state=error] .lean-code{border-left-color:rgb(var(--error))}.lean-line{display:block;white-space:pre}.lean-line-number{display:inline-block;width:var(--lean-gutter);margin-right:var(--lean-pad);padding-right:.75rem;box-sizing:content-box;text-align:right;color:rgb(var(--fg) / .15);border-right:1px solid rgb(var(--fg) / .06);-webkit-user-select:none;-moz-user-select:none;user-select:none}.lean-line-error{background:rgb(var(--error) / .09)}.lean-line-error .lean-line-number{color:rgb(var(--error));border-right-color:rgb(var(--error) / .45)}.lean-widget .lean-frozen{margin:0;padding:.75rem var(--lean-pad) 0;background:transparent;border:0;overflow-x:auto;color:rgb(var(--ink) / .62);font-size:inherit;line-height:inherit}.lean-frozen .lean-constant,.lean-frozen .lean-keyword,.lean-frozen .lean-type,.lean-frozen .lean-connective{opacity:.78}.lean-edit{position:relative;min-height:calc(2 * var(--lean-line-height) * 1em)}.lean-widget .lean-frozen+.lean-edit .lean-render{padding-top:0}.lean-widget .lean-render,.lean-widget .lean-input{margin:0;border:0;font-family:inherit;font-size:inherit;line-height:inherit;letter-spacing:inherit;-moz-tab-size:2;-o-tab-size:2;tab-size:2;white-space:pre;overflow-wrap:normal}.lean-widget .lean-render{padding:0 var(--lean-pad) .75rem;background:transparent;color:rgb(var(--ink));overflow-x:auto;pointer-events:none}.lean-widget .lean-input{position:absolute;inset:0;width:100%;height:100%;padding:0 var(--lean-pad) .75rem calc(var(--lean-pad) + var(--lean-gutter) + .75rem + var(--lean-pad));background:transparent;color:transparent;caret-color:rgb(var(--worked));resize:none;overflow:auto;outline:none}.lean-input::-moz-selection{background:rgb(var(--worked) / .22)}.lean-input::selection{background:rgb(var(--worked) / .22)}.lean-input:focus-visible+.lean-focus-ring,.lean-edit:focus-within{outline:none}.lean-widget:focus-within .lean-code{border-left-color:rgb(var(--fg) / .3)}.lean-widget[data-state=ok]:focus-within .lean-code{border-left-color:rgb(var(--worked))}.lean-bar{display:flex;align-items:baseline;gap:1.1rem;padding-top:.5rem;font-size:.72rem}.lean-button{padding:0;background:none;border:0;font:inherit;color:rgb(var(--fg) / .4);letter-spacing:.04em;cursor:pointer;transition:color .15s ease}.lean-button:hover{color:rgb(var(--worked))}.lean-button:disabled{color:rgb(var(--fg) / .18);cursor:default}.lean-shortcut{color:rgb(var(--fg) / .2)}.lean-status{margin-left:auto;color:rgb(var(--fg) / .32);text-align:right}.lean-widget[data-state=ok] .lean-status{color:rgb(var(--worked))}.lean-widget[data-state=error] .lean-status{color:rgb(var(--error))}.lean-info{margin-top:.55rem;padding:.6rem 0 .15rem var(--lean-pad);border-left:2px solid rgb(var(--fg) / .07);color:rgb(var(--muted));white-space:pre-wrap;overflow-x:auto}.lean-info:empty{display:none}.lean-info-label{display:block;margin-bottom:.25rem;font-size:.66rem;letter-spacing:.09em;text-transform:uppercase;color:rgb(var(--fg) / .24)}.lean-info-block+.lean-info-block{margin-top:.75rem}.lean-turnstile{color:rgb(var(--worked))}.lean-case{color:rgb(var(--fg) / .35);font-style:italic}.lean-error{color:rgb(var(--error))}.lean-error .lean-info-label{color:rgb(var(--error) / .6)}.lean-warning{color:rgb(var(--flag))}.lean-done{color:rgb(var(--worked))}.lean-keyword,.lean-tactic{color:rgb(var(--accent))}.lean-constant{color:rgb(var(--flag))}.lean-type{color:rgb(var(--worked))}.lean-number{color:rgb(var(--flag))}.lean-connective{color:rgb(var(--ink))}.lean-symbol{color:rgb(var(--muted))}.lean-comment{color:rgb(var(--faint));font-style:italic}.lean-sorry{color:rgb(var(--error));-webkit-text-decoration:underline wavy rgb(var(--error) / .4);text-decoration:underline wavy rgb(var(--error) / .4);text-underline-offset:3px}.lean-exercise-heading{color:rgb(var(--worked))}.lean-exercise-heading .mdx-block-anchor{color:inherit}.lean-exercise[data-solved=true]>.lean-exercise-heading:before{content:"∎ ";color:rgb(var(--worked))}.exercise-sheet>:is(p,ul,ol){margin:.85rem 0;font-family:KaTeX_Main,Latin Modern Roman,"CMU Serif",Georgia,serif;font-size:1.0625rem;line-height:1.58;color:rgb(var(--ink));text-align:justify;hyphens:auto}.exercise-sheet>:is(ul,ol){padding-left:1.5rem}.exercise-sheet>ul{list-style:disc}.exercise-sheet>ol{list-style:decimal}.exercise-sheet>:is(ul,ol) li{margin:.25rem 0}.prose-book [data-exercise-section].not-prose .exercise-sheet>:is(p,li){text-align:justify;hyphens:auto}.exercise-sheet a{color:rgb(var(--accent));text-decoration:underline;text-underline-offset:2px}.exercise-sheet code{font-family:JetBrains Mono Variable,ui-monospace,SFMono-Regular,Menlo,monospace}.exercise-sheet>:is(p,li) code{border:1px solid rgb(var(--fg) / .08);border-radius:.25rem;background:rgb(var(--fg) / .05);padding:.05rem .3rem;font-size:.875em;color:rgb(var(--ink))}.exercise-sheet>:is(h3,h4) code{font-size:.92em;color:rgb(var(--accent))}.lean-tally{font-variant-numeric:tabular-nums}.lean-tally[data-complete=true]{color:rgb(var(--worked))}.lean-reference{border-left:0;border-radius:0;background:none;padding:0}.lean-reference:hover{border-left:0;background:none}.lean-reference>.lean-reference-title{display:block;padding:0;font-size:.66rem;font-weight:400;letter-spacing:.09em;text-transform:uppercase;color:rgb(var(--fg) / .35);cursor:pointer;list-style:none;-webkit-user-select:none;-moz-user-select:none;user-select:none;transition:color .15s ease}.lean-reference>.lean-reference-title:hover{color:rgb(var(--accent))}.lean-reference>.lean-reference-title::-webkit-details-marker{display:none}.lean-reference>.lean-reference-title:before{content:"▸  ";transform:none;color:inherit;font-size:inherit}.lean-reference[open]>.lean-reference-title:before{content:"▾  "}.lean-reference table{display:table!important;width:100%;border-collapse:collapse}.lean-reference td{padding:.18rem 1rem .18rem 0;vertical-align:baseline;border:0}.lean-reference td:first-child{width:1%;white-space:nowrap;color:rgb(var(--accent))}.lean-reference td:first-child,.lean-reference .lean-statement{font-family:JetBrains Mono Variable,ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.94em}@media (max-width: 640px){.lean-widget{font-size:.78rem;--lean-pad: .6rem}}