:root{--serif: "Iowan Old Style", "Palatino Linotype", "Book Antiqua", Palatino, "STIX Two Text", Georgia, "Times New Roman", "DejaVu Serif", serif;--sans: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Cantarell, "DejaVu Sans", Arial, sans-serif;--mono: ui-monospace, "SF Mono", Menlo, Consolas, "Liberation Mono", "DejaVu Sans Mono", monospace;--measure: 52rem;--code-wide: 62rem;--contents-width: clamp(17.5rem, 22vw, 20.625rem);--reader-pad: clamp(1.5rem, 6vw, 5rem);--paper: #ffffff;--paper-2: #f6f6f4;--ink: #1b1b1b;--ink-2: #3a3a3a;--muted: #616161;--line: #d9d9d6;--line-2: #e8e8e5;--link: #0b57a4;--link-under: #9fbde0;--focus: #0b57a4;--select-paper: #fff3b2;--code-paper: #f7f8f9;--code-line: #d7dbdf;--shadow: 0 8px 26px rgba(0, 0, 0, .12);--warning: #9a3412;--lean-kw: #8a1a7c;--lean-sort: #075985;--lean-str: #0b6e4f;--lean-num: #0b6e4f;--lean-comment: #687078;--lean-attr: #7c3e00;--lean-cmd: #005cc5;--lean-sorry: #c62828;--lean-ref: #0b57a4;color-scheme:light}@media(prefers-color-scheme:dark){:root:not([data-theme=light]){--paper: #15171a;--paper-2: #1c1f23;--ink: #e4e4e1;--ink-2: #cfcfcb;--muted: #9c9c98;--line: #34383d;--line-2: #272b30;--link: #8ab4f8;--link-under: #4a6a99;--focus: #8ab4f8;--select-paper: #3b3416;--code-paper: #1b1e22;--code-line: #33383e;--shadow: 0 8px 26px rgba(0, 0, 0, .5);--warning: #f6ad7b;--lean-kw: #d69ad2;--lean-sort: #7cc4ff;--lean-str: #7fd1b0;--lean-num: #7fd1b0;--lean-comment: #8b949e;--lean-attr: #e0a86b;--lean-cmd: #79b8ff;--lean-sorry: #ff7b72;--lean-ref: #8ab4f8;color-scheme:dark}}:root[data-theme=dark]{--paper: #15171a;--paper-2: #1c1f23;--ink: #e4e4e1;--ink-2: #cfcfcb;--muted: #9c9c98;--line: #34383d;--line-2: #272b30;--link: #8ab4f8;--link-under: #4a6a99;--focus: #8ab4f8;--select-paper: #3b3416;--code-paper: #1b1e22;--code-line: #33383e;--shadow: 0 8px 26px rgba(0, 0, 0, .5);--warning: #f6ad7b;--lean-kw: #d69ad2;--lean-sort: #7cc4ff;--lean-str: #7fd1b0;--lean-num: #7fd1b0;--lean-comment: #8b949e;--lean-attr: #e0a86b;--lean-cmd: #79b8ff;--lean-sorry: #ff7b72;--lean-ref: #8ab4f8;color-scheme:dark}*{box-sizing:border-box}html{-webkit-text-size-adjust:100%;font-size:clamp(16px,10.9px + .4vw,20px)}body{margin:0;color:var(--ink);background:var(--paper);font-family:var(--serif);font-size:1.0625rem;line-height:1.55}button,input,kbd{font:inherit}a{color:var(--link);text-decoration-color:var(--link-under);text-underline-offset:2px;text-decoration-thickness:1px}a:hover{text-decoration-color:currentColor}button:focus-visible,input:focus-visible,a:focus-visible,summary:focus-visible,[tabindex]:focus-visible{outline:2px solid var(--focus);outline-offset:2px}[hidden]{display:none!important}.visually-hidden{position:absolute;width:1px;height:1px;padding:0;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}code,pre,kbd{font-family:var(--mono)}code{font-size:.88em}.muted{color:var(--muted)}.warning{color:var(--warning)}.boot-message{max-width:40rem;margin:3rem auto;padding:0 1.5rem;font-family:var(--sans);color:var(--muted)}.page-shell{display:grid;grid-template-columns:var(--contents-width) minmax(0,1fr);align-items:start}.reader{grid-column:2;width:100%;min-width:0;min-height:100vh;padding:48px var(--reader-pad) 96px}.page{max-width:var(--measure);margin:0 auto}.page-header{margin:0 0 30px}.page-header h1{margin:0 0 14px;font-size:2rem;font-weight:600;line-height:1.18;letter-spacing:-.01em}.eyebrow{margin:0 0 8px;color:var(--muted);font:600 .75rem/1.4 var(--sans);letter-spacing:.04em;text-transform:uppercase}.eyebrow a{color:inherit}.lede{margin:0;color:var(--ink-2);font-size:1.1562rem;line-height:1.5}.dependency-page{max-width:var(--code-wide)}.dependency-page .page-header p,.graph-explanation{max-width:var(--measure)}.graph-tabs{display:flex;flex-wrap:wrap;gap:8px 22px;border-bottom:1px solid var(--line)}.graph-tabs a{padding:8px 0;font-family:var(--sans);text-decoration:none}.graph-tabs a[aria-current]{color:var(--ink);border-bottom:2px solid var(--link)}.graph-reading{max-width:var(--measure)}.graph-reading summary{color:var(--link);cursor:pointer}.graph-controls{display:flex;flex-wrap:wrap;gap:16px;margin:24px 0 12px}.graph-controls label{display:flex;flex:1 1 220px;min-width:0;flex-direction:column;gap:6px;font:.875rem var(--sans)}.graph-controls input,.graph-controls select{min-width:0;width:100%;padding:9px 10px;border:1px solid var(--line);border-radius:3px;background:var(--paper);color:var(--ink);font:inherit}.graph-selection{display:flex;flex-wrap:wrap;gap:12px 24px;align-items:center;font:.875rem var(--sans)}.graph-selection input{margin-right:8px}.graph-count{color:var(--muted);font:.8125rem/1.6 var(--sans)}.dependency-drawing{position:relative;border:1px solid var(--line);background:var(--paper-2);border-radius:4px;overflow:hidden}.dependency-drawing svg{display:block;width:100%;height:clamp(350px,65vh,700px);touch-action:none;cursor:grab}.dependency-drawing.is-detailed svg{height:clamp(300px,45vh,450px)}.dependency-drawing.is-tall svg{height:650px}.dependency-drawing svg:active{cursor:grabbing}.graph-zoom{position:absolute;display:flex;gap:4px;top:10px;left:10px;z-index:1}.graph-zoom button{min-width:36px;min-height:36px;padding:5px 10px;border:1px solid var(--line);border-radius:3px;background:var(--paper);color:var(--ink);cursor:pointer;font:.8125rem var(--sans)}.dependency-edges{fill:none;stroke:var(--muted);color:var(--muted);stroke-width:.8}.dependency-edges path{opacity:.25}.dependency-edges .is-connected{stroke:var(--link);color:var(--link);stroke-width:1.5;opacity:.65}.dependency-edges .is-meta{stroke-dasharray:4 3}.dependency-node{cursor:pointer}.dependency-node circle{stroke-width:1}.dependency-node:hover circle{stroke:var(--ink);stroke-width:2}.dependency-node text{fill:var(--ink);font:9px var(--mono)}.graph-legend{display:flex;flex-wrap:wrap;gap:8px 18px;padding:0;list-style:none;font:.75rem/1.4 var(--sans)}.graph-legend li{display:flex;align-items:center;gap:6px}.graph-legend span{display:inline-block;width:8px;height:8px;border-radius:50%}.graph-detail{margin-top:32px;border-top:1px solid var(--line);padding-top:22px}.graph-detail h2{font:1rem/1.6 var(--mono);overflow-wrap:anywhere}.graph-relations{padding-left:18px;font:.75rem/1.6 var(--mono)}.graph-relations li{padding-bottom:6px;overflow-wrap:anywhere}.graph-matches{padding:4px 16px 12px;background:var(--paper-2);border:1px solid var(--line)}.graph-matches p{font:.8125rem var(--sans)}.graph-matches ul{max-height:220px;overflow-y:auto;list-style:none;margin:0;padding:0}.graph-matches button{padding:6px 0;border:0;background:none;color:var(--link);text-align:left;cursor:pointer;font:.75rem/1.5 var(--mono);overflow-wrap:anywhere}.byline{margin:18px 0 0;padding:0;list-style:none;display:flex;flex-wrap:wrap;gap:6px 28px;font-size:1rem;line-height:1.4}.byline li{display:grid}.byline .affiliation{color:var(--muted);font:.8125rem/1.4 var(--sans)}h2{margin:2.2em 0 .6em;font-size:1.375rem;font-weight:600;line-height:1.25}h3{margin:1.8em 0 .5em;font-size:1.125rem;font-weight:600;line-height:1.3}section>h2:first-child{margin-top:2em}.contents{position:sticky;z-index:20;top:0;display:grid;height:100vh;height:100dvh;grid-column:1;grid-template-rows:auto minmax(0,1fr);overflow-x:hidden;overflow-y:auto;padding:24px 16px 20px 14px;border-right:1px solid var(--line);background:var(--paper);font-family:var(--sans);scrollbar-width:thin}.site-heading{margin:0 8px 14px}.site-title{display:flex;align-items:center;gap:8px;color:inherit;text-decoration:none}.site-logo{display:block;flex:0 0 auto;width:3rem;height:auto;border-radius:3px}.site-title small{white-space:nowrap;color:var(--muted);font:500 .75rem/1.4 var(--sans)}.contents-menu{display:grid;min-height:0;grid-template-rows:auto minmax(0,1fr) auto}.mobile-menu-toggle{display:none}.reader-search{display:flex;align-items:center;justify-content:space-between;width:calc(100% - 16px);margin:0 8px 12px;padding:6px 9px;border:1px solid var(--line);border-radius:3px;background:var(--paper-2);color:var(--ink-2);cursor:pointer;font-size:.75rem;text-align:left}.reader-search:hover{border-color:var(--muted);color:var(--ink)}.reader-search kbd{padding:0 5px;border:1px solid var(--line);border-radius:3px;color:var(--muted);font-size:.625rem}.contents-label{margin:6px 8px 3px;color:var(--muted);font-size:.625rem;font-weight:600;letter-spacing:.06em;text-transform:uppercase}.contents-label:first-child{margin-top:0}.contents-nav{display:grid;gap:0;align-content:start;min-height:0;overflow-y:auto;padding-bottom:8px;scrollbar-width:thin}.contents-nav.has-more-below{-webkit-mask-image:linear-gradient(to bottom,#000 var(--fade-from, calc(100% - 10px) ),transparent);mask-image:linear-gradient(to bottom,#000 var(--fade-from, calc(100% - 10px) ),transparent)}.nav-link{display:grid;grid-template-columns:22px minmax(0,1fr);gap:7px;align-items:baseline;padding:2px 8px;border-radius:3px;color:var(--ink-2);text-decoration:none}.nav-link:hover{color:var(--link);background:var(--paper-2)}.nav-link.is-active{color:var(--ink);background:var(--paper-2);font-weight:600}.nav-number{color:var(--muted);font:.6562rem/1.4 var(--mono)}.nav-name{font-size:.7188rem;line-height:1.35}.contents-footer{margin:10px 8px 0;padding-top:10px;border-top:1px solid transparent}.contents-nav.has-more-below+.contents-footer{border-top-color:var(--line)}.theme-toggle{padding:5px 9px;border:1px solid var(--line);border-radius:3px;background:transparent;color:var(--ink-2);cursor:pointer;font-size:.7188rem}.theme-toggle:hover{border-color:var(--muted);color:var(--ink)}.site-provenance{margin:12px 0 0;color:var(--muted);font-size:.6562rem;line-height:1.45}.site-provenance .uncommitted,.site-provenance a{color:inherit}.prose p{margin:0 0 1.05em}.prose h2{margin-top:2.1em}.prose h2+p,.prose h3+p{margin-top:0}.prose ul,.prose ol{margin:0 0 1.05em;padding-left:1.6em}.prose li{margin:.25em 0}.prose blockquote{margin:1.2em 0;padding:.1em 0 .1em 1.2em;border-left:2px solid var(--line);color:var(--ink-2)}.prose hr{margin:2.4em 0;border:0;border-top:1px solid var(--line)}.prose .table-scroll{width:100%;max-width:100%;margin:1.2em 0 1.6em;overflow-x:auto}.prose .table-scroll.has-more-right{-webkit-mask-image:linear-gradient(to right,#000 calc(100% - 40px),transparent);mask-image:linear-gradient(to right,#000 calc(100% - 40px),transparent)}.prose table{width:100%;margin:0;border-collapse:collapse;font-size:.9375rem;line-height:1.45}.prose th,.prose td{padding:7px 10px;border-bottom:1px solid var(--line);text-align:left;vertical-align:top}.prose th{border-bottom-color:var(--ink-2);font-family:var(--sans);font-size:.7812rem;font-weight:600;letter-spacing:.02em}.prose code:not(pre code){padding:0 .15em;border-radius:3px;background:var(--code-paper);overflow-wrap:break-word}.prose code.is-short{white-space:nowrap}.prose{overflow-wrap:break-word}.prose table code{overflow-wrap:normal;white-space:normal}.prose mjx-container.is-wide{display:block;max-width:100%;margin:.5em 0;overflow-x:auto;overflow-y:hidden;text-align:left}.prose img{max-width:100%;height:auto}.figure{width:100%;margin:1.6em 0 2em}.figure>a{display:block}.figure img{display:block;max-width:100%;height:auto;padding:8px;border:1px solid var(--line);background:#fff}.figure-full{margin-left:.5em;white-space:nowrap}.figure-number{white-space:nowrap}.figure figcaption{margin-top:.6em;color:var(--muted);font-family:var(--sans);font-size:.8438rem;line-height:1.45}.node-link code{color:var(--link);background:transparent!important;padding:0!important}.node-link-missing{color:var(--ink-2)}.math-display{margin:1em 0 1.2em;overflow-x:auto;overflow-y:hidden;padding:2px 0}.math-display.has-more-right{-webkit-mask-image:linear-gradient(to right,#000 calc(100% - 40px),transparent);mask-image:linear-gradient(to right,#000 calc(100% - 40px),transparent)}mjx-container[jax=CHTML][display=true]{margin:0!important}.math-display-inline{display:inline-block;max-width:100%;overflow-x:auto;vertical-align:middle}.code-block{margin:1.2em 0 1.5em;padding:12px 14px;overflow-x:auto;border:1px solid var(--code-line);border-radius:3px;background:var(--code-paper);font-size:.8125rem;line-height:1.5}.code-block code{font-size:inherit}.command-block{margin:1.2em 0 1.5em;border:1px solid var(--code-line);border-radius:3px;background:var(--code-paper)}.command-block .code-block{margin:0;border:0}.landing-section{margin-top:2.6em}.chapter-index{margin:0;padding:0;list-style:none;border-top:1px solid var(--line)}.chapter-index li{padding:14px 0 15px;border-bottom:1px solid var(--line)}.chapter-index-link{display:grid;grid-template-columns:34px minmax(0,1fr);gap:10px;align-items:baseline;color:inherit;text-decoration:none}.chapter-index-link:hover .chapter-index-title{color:var(--link);text-decoration:underline;text-underline-offset:3px}.chapter-index-number{color:var(--muted);font:.6875rem/1.5 var(--mono)}.chapter-index-title{font-size:1.1875rem;line-height:1.25}.chapter-body h2,.chapter-body h3,.chapter-body p[id]{scroll-margin-top:20px}.chapter-pager{display:grid;grid-template-columns:1fr 1fr;gap:20px;margin-top:60px;padding-top:18px;border-top:1px solid var(--line);font-family:var(--sans)}.chapter-pager a{display:grid;gap:3px;color:inherit;text-decoration:none}.chapter-pager a:hover span{color:var(--link)}.chapter-pager small{color:var(--muted);font-size:.6875rem;letter-spacing:.04em;text-transform:uppercase}.chapter-pager span{font:1rem/1.3 var(--serif)}.pager-next{text-align:right}.node-name{margin:0 0 6px;overflow-wrap:anywhere}.node-name code{font-size:.875rem;color:var(--ink-2)}.node-meta{margin:0;color:var(--muted);font:.8125rem/1.6 var(--sans);overflow-wrap:anywhere}.node-meta code{font-size:.75rem}.node-meta .uncommitted{color:var(--warning)}.node-page section>h2{margin-top:1.9em;font-size:1.1875rem}.two-columns{display:grid;grid-template-columns:1fr 1fr;gap:28px}.two-columns section>h2{margin-top:1.9em}.node-list,.plain-list{margin:0;padding:0;list-style:none}.node-list li{padding:7px 0;border-bottom:1px solid var(--line-2);font-size:.9688rem;line-height:1.4}.node-list-name{display:block;overflow:hidden;color:var(--muted);font-size:.7188rem;text-overflow:ellipsis;white-space:nowrap}.plain-list li{padding:5px 0}.axioms{margin:0;line-height:1.8}.axioms code{margin-right:8px;padding:.05em .4em;border-radius:3px;background:var(--code-paper)}.axioms code.is-unusual{color:var(--warning);outline:1px solid var(--warning)}.docstring{color:var(--ink-2)}.reference-list{margin:0;padding-left:1.6em}.reference-list li{margin:0 0 16px;padding:4px 6px;border-radius:3px;font-size:1rem;line-height:1.5;scroll-margin-top:20px;overflow-wrap:anywhere}.reference-list li.is-targeted{background:var(--select-paper)}.lean-block{margin:1.2em 0 1.6em;border:1px solid var(--code-line);border-radius:3px;background:var(--code-paper);font-family:var(--mono)}.lean-block-bar{display:flex;gap:12px;align-items:baseline;min-height:28px;padding:5px 12px;border-bottom:1px solid var(--code-line);color:var(--muted);font:600 .6562rem/1.4 var(--sans);letter-spacing:.04em;text-transform:uppercase}.lean-block-label{min-width:0;flex:1 1 auto;overflow:hidden;color:var(--muted);font:.6875rem/1.4 var(--mono);letter-spacing:0;text-transform:none;text-overflow:ellipsis;white-space:nowrap}.lean-block-actions{display:flex;gap:12px;margin-left:auto;letter-spacing:0;text-transform:none}.lean-block-actions a,.lean-block-actions button{padding:0;border:0;background:none;color:var(--muted);cursor:pointer;font:600 .6875rem/1.4 var(--sans);text-decoration:none}.lean-block-actions a:hover,.lean-block-actions button:hover{color:var(--link)}.lean-block pre{margin:0;padding:11px 14px 12px;overflow-x:auto;font-size:.8125rem;line-height:1.5;tab-size:2}.lean-block pre.has-more-right{-webkit-mask-image:linear-gradient(to right,#000 calc(100% - 40px),transparent);mask-image:linear-gradient(to right,#000 calc(100% - 40px),transparent)}.lean-block code{display:block;font-size:inherit;white-space:pre}.lean-line{display:block;min-width:max-content;min-height:1.5em}.lean-block .lean-line.is-comment{min-width:0;padding-left:3ch;text-indent:-3ch;white-space:pre-wrap;overflow-wrap:break-word}.lean-block.has-line-numbers .lean-line.is-comment{padding-left:calc(4.2em + 3ch);text-indent:calc(-4.2em - 3ch)}.lean-block.is-wrap code{white-space:pre-wrap;overflow-wrap:normal;word-break:normal}.lean-block.is-wrap .lean-line{min-width:0;padding-left:2ch;text-indent:-2ch}.lean-line-number{display:inline-block;width:3.2em;margin-right:1em;color:var(--muted);text-align:right;-webkit-user-select:none;user-select:none}.lean-block-expand{display:block;width:100%;padding:7px 14px;border:0;border-top:1px solid var(--code-line);background:transparent;color:var(--muted);cursor:pointer;font:600 .6875rem/1.4 var(--sans);text-align:left}.lean-block-expand:hover{color:var(--link)}.lean-kw{color:var(--lean-kw)}.lean-sort{color:var(--lean-sort)}.lean-str{color:var(--lean-str)}.lean-num{color:var(--lean-num)}.lean-comment,.lean-doc{color:var(--lean-comment)}.lean-attr{color:var(--lean-attr)}.lean-cmd{color:var(--lean-cmd);font-weight:600}.lean-sorry{color:var(--lean-sorry);font-weight:700}.lean-ref{color:var(--lean-ref);text-decoration:underline;text-decoration-color:var(--link-under);text-underline-offset:2px}.lean-ref:hover{text-decoration-color:currentColor}.search-backdrop{--search-margin: clamp(20px, 6vh, 64px);position:fixed;z-index:100;inset:0;width:100%;max-width:none;height:100%;max-height:none;margin:0;border:0;place-items:start center;padding:var(--search-margin) 20px;background:color-mix(in srgb,var(--paper) 86%,transparent);font-family:var(--sans)}.search-backdrop[open]{display:grid}.search-backdrop::backdrop{background:transparent}.search-dialog{display:flex;width:min(640px,calc(100vw - 40px));max-height:min(700px,calc(100vh - var(--search-margin) * 2));flex-direction:column;overflow:hidden;padding:22px 26px 26px;border:1px solid var(--line);border-radius:4px;background:var(--paper);color:var(--ink);box-shadow:var(--shadow)}.dialog-heading{display:flex;align-items:baseline;justify-content:space-between;gap:24px}.dialog-heading label{font:600 1.125rem/1.3 var(--serif)}.dialog-close{padding:0;border:0;border-bottom:1px solid var(--muted);background:transparent;color:var(--ink-2);cursor:pointer;font-size:.75rem}.dialog-close:hover{color:var(--link);border-color:var(--link)}.search-dialog>input{width:100%;margin:18px 0 10px;padding:9px 11px;border:1px solid var(--muted);border-radius:3px;background:var(--paper);color:var(--ink);font:1.0625rem/1.3 var(--serif)}.search-results{min-height:0;flex:1 1 auto;margin:0;padding:0;overflow:auto;list-style:none}.search-results button{display:block;width:100%;padding:10px 8px;border:0;border-bottom:1px solid var(--line-2);background:none;color:inherit;cursor:pointer;text-align:left}.search-results button:hover,.search-results button[aria-selected=true]{background:var(--paper-2)}.search-results small,.search-results strong{display:block}.search-results small{margin-bottom:2px;color:var(--muted);font-size:.6875rem}.search-results strong{font:500 .9688rem/1.3 var(--serif)}.search-empty{padding:16px 8px;color:var(--muted);font-style:italic}@media(max-width:900px){:root{--contents-width: 0px;--reader-pad: 22px}html{scroll-padding-top:62px}.page-shell{grid-template-columns:minmax(0,1fr);grid-template-rows:auto auto}.contents{position:sticky;top:0;display:flex;height:auto;min-height:72px;grid-column:1;grid-row:1;align-items:center;justify-content:space-between;overflow:visible;padding:8px 16px;border-right:0;border-bottom:1px solid var(--line)}.site-heading{margin:0}.site-logo{width:44px}.mobile-menu-toggle{display:grid;width:40px;height:40px;place-content:center;gap:4px;padding:0;border:0;background:transparent;color:var(--ink);cursor:pointer}.mobile-menu-toggle>span:not(.visually-hidden){display:block;width:20px;height:1.5px;background:currentColor;transition:transform .12s ease,opacity .12s ease}.contents.is-open .mobile-menu-toggle>span:nth-last-child(3){transform:translateY(5.5px) rotate(45deg)}.contents.is-open .mobile-menu-toggle>span:nth-last-child(2){opacity:0}.contents.is-open .mobile-menu-toggle>span:last-child{transform:translateY(-5.5px) rotate(-45deg)}.contents-menu{position:absolute;top:100%;right:0;left:0;display:none;max-height:calc(100dvh - 72px);padding:12px 16px 18px;overflow-y:auto;border-bottom:1px solid var(--line);background:var(--paper);box-shadow:var(--shadow)}.contents.is-open .contents-menu{display:block}.reader-search{width:100%;margin:0 0 10px}.contents-nav{overflow:visible;padding-bottom:0;-webkit-mask-image:none;mask-image:none}.contents-footer{display:flex;align-items:center;justify-content:space-between;gap:16px;margin:16px 0 0}.site-provenance{margin:0;text-align:right}.reader{grid-column:1;grid-row:2}.reader{min-height:0;padding:30px var(--reader-pad) 70px}.page-header h1{font-size:1.6875rem}.two-columns{grid-template-columns:1fr;gap:0}}@media(max-width:480px){:root{--reader-pad: 18px}body{font-size:1.0312rem}.reader{padding:26px var(--reader-pad) 60px}.byline{flex-direction:column;gap:10px}.chapter-pager{grid-template-columns:1fr}.pager-next{text-align:left}.lean-block pre{font-size:.75rem}.lean-line-number{width:2.6em;margin-right:.8em}.lean-block.has-line-numbers .lean-line.is-comment{padding-left:calc(3.4em + 3ch);text-indent:calc(-3.4em - 3ch)}.prose table{font-size:.8125rem}}@media(prefers-reduced-motion:reduce){*{transition:none!important}}