@layer properties{@supports (((-webkit-hyphens:none)) and (not (margin-trim:inline))) or ((-moz-orient:inline) and (not (color:rgb(from red r g b)))){*,:before,:after,::backdrop{--tw-border-style:solid;--tw-leading:initial;--tw-font-weight:initial;--tw-tracking:initial}}}@layer theme{:root,:host{--font-sans:"ABCOracle", "Georgia", sans-serif;--font-mono:"SF Mono", "Fira Code", "Consolas", monospace;--color-red-400:#ff6568;--color-slate-500:#62748e;--spacing:.25rem;--text-base:1rem;--text-base--line-height:calc(1.5 / 1);--font-weight-medium:500;--font-weight-semibold:600;--tracking-wide:.025em;--leading-tight:1.25;--leading-relaxed:1.625;--default-transition-duration:.15s;--default-transition-timing-function:cubic-bezier(.4, 0, .2, 1);--default-font-family:"ABCOracle", "Georgia", sans-serif;--default-mono-font-family:"SF Mono", "Fira Code", "Consolas", monospace;--color-bg:#fff;--color-card-bg:#fff;--color-border:#e0e0e0;--color-text:#1a1a1a;--color-muted:#666;--color-accent:#2563eb;--color-accent-hover:#1d4ed8;--color-code-bg:#0a0a0a;--color-code-text:#d4d4d4;--color-def-accent:#fe11c5;--color-def-bg:#fff0fb;--color-thm-accent:#00afff;--color-thm-bg:#f0f9ff;--color-lem-accent:#022c64;--color-lem-bg:#eef2f8;--color-class-accent:#86b400;--color-class-bg:#f5f9e8;--color-panel-header:#050505}@supports (color:lab(0% 0 0)){:root,:host{--color-red-400:lab(63.7053% 60.745 31.3109);--color-slate-500:lab(48.0876% -2.03595 -16.5814)}}}@layer base{*,:after,:before,::backdrop{box-sizing:border-box;border:0 solid;margin:0;padding:0}::file-selector-button{box-sizing:border-box;border:0 solid;margin:0;padding:0}html,:host{-webkit-text-size-adjust:100%;tab-size:4;line-height:1.5;font-family:var(--default-font-family,ui-sans-serif, system-ui, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji");font-feature-settings:var(--default-font-feature-settings,normal);font-variation-settings:var(--default-font-variation-settings,normal);-webkit-tap-highlight-color:transparent}hr{height:0;color:inherit;border-top-width:1px}abbr:where([title]){-webkit-text-decoration:underline dotted;text-decoration:underline dotted}h1,h2,h3,h4,h5,h6{font-size:inherit;font-weight:inherit}a{color:inherit;-webkit-text-decoration:inherit;-webkit-text-decoration:inherit;-webkit-text-decoration:inherit;-webkit-text-decoration:inherit;text-decoration:inherit}b,strong{font-weight:bolder}code,kbd,samp,pre{font-family:var(--default-mono-font-family,ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace);font-feature-settings:var(--default-mono-font-feature-settings,normal);font-variation-settings:var(--default-mono-font-variation-settings,normal);font-size:1em}small{font-size:80%}sub,sup{vertical-align:baseline;font-size:75%;line-height:0;position:relative}sub{bottom:-.25em}sup{top:-.5em}table{text-indent:0;border-color:inherit;border-collapse:collapse}:-moz-focusring{outline:auto}progress{vertical-align:baseline}summary{display:list-item}ol,ul,menu{list-style:none}img,svg,video,canvas,audio,iframe,embed,object{vertical-align:middle;display:block}img,video{max-width:100%;height:auto}button,input,select,optgroup,textarea{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}::file-selector-button{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}:where(select:is([multiple],[size])) optgroup{font-weight:bolder}:where(select:is([multiple],[size])) optgroup option{padding-inline-start:20px}::file-selector-button{margin-inline-end:4px}::placeholder{opacity:1}@supports (not ((-webkit-appearance:-apple-pay-button))) or (contain-intrinsic-size:1px){::placeholder{color:currentColor}@supports (color:color-mix(in lab, red, red)){::placeholder{color:color-mix(in oklab, currentcolor 50%, transparent)}}}textarea{resize:vertical}::-webkit-search-decoration{-webkit-appearance:none}::-webkit-date-and-time-value{min-height:1lh;text-align:inherit}::-webkit-datetime-edit{display:inline-flex}::-webkit-datetime-edit-fields-wrapper{padding:0}::-webkit-datetime-edit{padding-block:0}::-webkit-datetime-edit-year-field{padding-block:0}::-webkit-datetime-edit-month-field{padding-block:0}::-webkit-datetime-edit-day-field{padding-block:0}::-webkit-datetime-edit-hour-field{padding-block:0}::-webkit-datetime-edit-minute-field{padding-block:0}::-webkit-datetime-edit-second-field{padding-block:0}::-webkit-datetime-edit-millisecond-field{padding-block:0}::-webkit-datetime-edit-meridiem-field{padding-block:0}::-webkit-calendar-picker-indicator{line-height:1}:-moz-ui-invalid{box-shadow:none}button,input:where([type=button],[type=reset],[type=submit]){appearance:button}::file-selector-button{appearance:button}::-webkit-inner-spin-button{height:auto}::-webkit-outer-spin-button{height:auto}[hidden]:where(:not([hidden=until-found])){display:none!important}}@layer components;@layer utilities{.fixed{position:fixed}.relative{position:relative}.start{inset-inline-start:var(--spacing)}.mx-auto{margin-inline:auto}.mt-4{margin-top:calc(var(--spacing) * 4)}.mt-5{margin-top:calc(var(--spacing) * 5)}.mt-8{margin-top:calc(var(--spacing) * 8)}.mt-10{margin-top:calc(var(--spacing) * 10)}.mt-12{margin-top:calc(var(--spacing) * 12)}.mb-1{margin-bottom:calc(var(--spacing) * 1)}.mb-2{margin-bottom:calc(var(--spacing) * 2)}.mb-4{margin-bottom:calc(var(--spacing) * 4)}.mb-8{margin-bottom:calc(var(--spacing) * 8)}.mb-18{margin-bottom:calc(var(--spacing) * 18)}.flex{display:flex}.grid{display:grid}.hidden{display:none}.table{display:table}.h-4{height:calc(var(--spacing) * 4)}.h-5{height:calc(var(--spacing) * 5)}.h-full{height:100%}.w-auto{width:auto}.max-w-\[900px\]{max-width:900px}.min-w-0{min-width:calc(var(--spacing) * 0)}.flex-1{flex:1}.border-collapse{border-collapse:collapse}.grid-cols-3{grid-template-columns:repeat(3,minmax(0,1fr))}.items-baseline{align-items:baseline}.items-center{align-items:center}.justify-between{justify-content:space-between}.gap-1{gap:calc(var(--spacing) * 1)}.gap-2{gap:calc(var(--spacing) * 2)}.gap-6{gap:calc(var(--spacing) * 6)}.gap-x-8{column-gap:calc(var(--spacing) * 8)}.gap-y-3{row-gap:calc(var(--spacing) * 3)}.overflow-hidden{overflow:hidden}.overflow-y-auto{overflow-y:auto}.border{border-style:var(--tw-border-style);border-width:1px}.border-t{border-top-style:var(--tw-border-style);border-top-width:1px}.border-\[var\(--color-border\)\]{border-color:var(--color-border)}.p-4{padding:calc(var(--spacing) * 4)}.px-4{padding-inline:calc(var(--spacing) * 4)}.pt-6{padding-top:calc(var(--spacing) * 6)}.pb-16{padding-bottom:calc(var(--spacing) * 16)}.font-sans{font-family:ABCOracle,Georgia,sans-serif}.text-base{font-size:var(--text-base);line-height:var(--tw-leading,var(--text-base--line-height))}.text-\[0\.8rem\]{font-size:.8rem}.text-\[0\.78rem\]{font-size:.78rem}.text-\[0\.82rem\]{font-size:.82rem}.text-\[0\.95rem\]{font-size:.95rem}.leading-relaxed{--tw-leading:var(--leading-relaxed);line-height:var(--leading-relaxed)}.leading-tight{--tw-leading:var(--leading-tight);line-height:var(--leading-tight)}.font-medium{--tw-font-weight:var(--font-weight-medium);font-weight:var(--font-weight-medium)}.font-semibold{--tw-font-weight:var(--font-weight-semibold);font-weight:var(--font-weight-semibold)}.tracking-wide{--tw-tracking:var(--tracking-wide);letter-spacing:var(--tracking-wide)}.whitespace-normal{white-space:normal}.text-\[var\(--color-muted\)\]{color:var(--color-muted)}.text-red-400{color:var(--color-red-400)}.text-slate-500{color:var(--color-slate-500)}.uppercase{text-transform:uppercase}.italic{font-style:italic}.transition-colors{transition-property:color,background-color,border-color,outline-color,text-decoration-color,fill,stroke,--tw-gradient-from,--tw-gradient-via,--tw-gradient-to;transition-timing-function:var(--tw-ease,var(--default-transition-timing-function));transition-duration:var(--tw-duration,var(--default-transition-duration))}@media (hover:hover){.hover\:text-\[var\(--color-text\)\]:hover{color:var(--color-text)}}@media (min-width:40rem){.sm\:p-8{padding:calc(var(--spacing) * 8)}.sm\:px-8{padding-inline:calc(var(--spacing) * 8)}.sm\:pt-8{padding-top:calc(var(--spacing) * 8)}}@media (min-width:48rem){.md\:hidden{display:none}.md\:inline{display:inline}}}@font-face{font-family:ABCOracle;src:url(../media/ABCOracle-Light.05bny-ok8_yw3.otf?dpl=dpl_EhQvF4azBBDgXj7umsVVaddGyR9E)format("opentype");font-weight:300;font-style:normal}@font-face{font-family:ABCOracle;src:url(../media/ABCOracle-Regular.05t.7lki30p86.otf?dpl=dpl_EhQvF4azBBDgXj7umsVVaddGyR9E)format("opentype");font-weight:400;font-style:normal}@font-face{font-family:ABCOracle;src:url(../media/ABCOracle-Book.0_dmhn~bskcq6.otf?dpl=dpl_EhQvF4azBBDgXj7umsVVaddGyR9E)format("opentype");font-weight:450;font-style:normal}@font-face{font-family:ABCOracle;src:url(../media/ABCOracle-Medium.0vfa0kd1klsga.otf?dpl=dpl_EhQvF4azBBDgXj7umsVVaddGyR9E)format("opentype");font-weight:500;font-style:normal}@font-face{font-family:ABCOracle;src:url(../media/ABCOracle-Bold.0k~eh55_8czbb.otf?dpl=dpl_EhQvF4azBBDgXj7umsVVaddGyR9E)format("opentype");font-weight:700;font-style:normal}*{box-sizing:border-box}body{font-family:var(--font-sans);background:var(--color-bg);color:var(--color-text);font-weight:300;line-height:1.7}strong,b{font-weight:500}.paper-col{scroll-behavior:smooth}.paper-col h1{margin-bottom:.3rem;font-size:1.8rem;font-weight:500;line-height:1.15}.paper-col h2{border-bottom:2px solid var(--color-border);margin-top:2.5rem;margin-bottom:1rem;padding-bottom:.3rem;font-size:1.4rem;font-weight:500}.paper-col h3{margin-top:1.8rem;margin-bottom:.8rem;font-size:1.15rem;font-weight:500}.paper-col h4{margin-top:1.2rem;margin-bottom:.5rem;font-size:1rem;font-style:italic;font-weight:500}.paper-col p{margin-bottom:.8rem}.paper-col p a{color:var(--color-accent);text-decoration:underline}.paper-col p a:hover{color:var(--color-accent-hover)}@media (max-width:639px){.paper-col h1{font-size:1.35rem}.paper-col h2{margin-top:1.8rem;font-size:1.2rem}.paper-col h3{font-size:1.05rem}}.formal{--card-accent:var(--color-thm-accent);--card-bg:var(--color-thm-bg);border:1px solid var(--color-border);border-left:4px solid var(--card-accent);background:var(--color-card-bg);margin:1rem 0 1.2rem;padding:1rem 1.2rem;position:relative;overflow-x:auto}@media (max-width:639px){.formal{margin:.75rem 0 1rem;padding:.75rem .8rem}}.formal.def-card{--card-accent:var(--color-def-accent);--card-bg:var(--color-def-bg)}.formal.lem-card{--card-accent:var(--color-lem-accent);--card-bg:var(--color-lem-bg)}.formal.class-card{--card-accent:var(--color-class-accent);--card-bg:var(--color-class-bg)}.formal-type{text-transform:uppercase;letter-spacing:.08em;font-size:.85em}.def-type{color:var(--color-def-accent)}.thm-type{color:var(--color-thm-accent)}.lem-type{color:var(--color-lem-accent)}.class-type{color:var(--color-class-accent)}.lean-link{font-family:var(--font-mono);color:var(--color-text);cursor:pointer;border:1px solid var(--color-border);text-overflow:ellipsis;background:0 0;max-width:100%;margin-top:.6rem;padding:6px 14px;font-size:.8rem;text-decoration:none;transition:color .15s,border-color .15s;display:inline-block;overflow:hidden}@media (max-width:639px){.lean-link{word-break:break-all;padding:5px 10px;font-size:.7rem}}.lean-link:hover{color:var(--card-accent);border-color:var(--card-accent)}.lean-link.active{color:var(--card-accent);border-color:var(--card-accent);background:var(--card-bg)}.lean-link-sample{font-family:var(--font-mono);color:var(--color-text);border:1px solid var(--color-border);padding:3px 10px;font-size:.8rem;transition:color .15s,border-color .15s;display:inline-block}.lean-link-sample:hover{color:var(--color-def-accent);border-color:var(--color-def-accent)}.toc a{color:var(--color-accent);text-decoration:none}.toc a:hover{text-decoration:underline}.toc ul{padding-left:1.2rem;list-style:none}.toc>ul{padding-left:0}.toc li{margin:.2rem 0;font-size:.95rem}@media (max-width:639px){.toc ul{padding-left:.8rem}.toc li{font-size:.85rem}}.lean-col{background:var(--color-code-bg);width:0;min-width:0;color:var(--color-code-text);border-left:1px solid #222;flex-direction:column;flex-shrink:0;transition:width .25s,min-width .25s,padding .25s;display:flex;overflow:hidden}.lean-col.open{width:50%;min-width:400px;overflow:visible}@media (max-width:767px){.lean-col{z-index:50;border-left:none;transition:transform .3s;position:fixed;inset:0;overflow:hidden;transform:translateY(100%);width:100%!important;min-width:0!important}.lean-col.open{overflow:visible;transform:translateY(0);width:100%!important;min-width:0!important}}.lean-body{font-family:var(--font-mono);white-space:pre;flex:1;padding:16px 20px;font-size:.85rem;line-height:1.65;overflow:auto}@media (max-width:639px){.lean-body{white-space:pre-wrap;word-break:break-word;padding:12px 14px;font-size:.75rem}}.lean-btn{color:#888;cursor:pointer;background:0 0;border:1px solid #333;border-radius:0;justify-content:center;align-items:center;padding:4px 8px;font-family:inherit;font-size:.85rem;display:inline-flex}.lean-btn:hover{color:#fe11c5;background:#1a1a1a;border-color:#fe11c5}.lean-btn:disabled{opacity:.3;cursor:default}.lean-btn:disabled:hover{color:#888;background:0 0;border-color:#333}.lean-header{background:var(--color-panel-header);font-family:var(--font-mono);border-bottom:1px solid #222;flex-shrink:0;justify-content:space-between;align-items:center;gap:8px;padding:10px 16px;font-size:.82rem;display:flex}.lean-header-file{color:#666;text-overflow:ellipsis;white-space:nowrap;min-width:0;overflow:hidden}@media (max-width:639px){.lean-header{padding:10px 12px;font-size:.75rem}}.lean-header-file a{color:#fe11c5;text-decoration:none}.lean-header-file a:hover{color:#ff5cd8;text-decoration:underline}.ident-link{color:#fe11c5;cursor:pointer;border-bottom:1px dotted #444;transition:color .1s,border-color .1s}.ident-link:hover{color:#ff5cd8;border-bottom-color:#fe11c5}.lean-comment{color:#6b7280;font-style:italic}.mini-tooltip{color:#d4d4d4;z-index:1000;min-width:350px;max-width:600px;max-height:350px;font-family:var(--font-mono);pointer-events:auto;cursor:pointer;background:#0a0a0a;border:1px solid #333;border-radius:0;font-size:.78rem;line-height:1.5;position:fixed;overflow-y:auto;box-shadow:0 4px 16px #000000b3}.mini-tooltip .mt-header{color:#fe11c5;border-bottom:1px solid #222;padding:6px 12px;font-size:.8rem;font-weight:500}.mini-tooltip .mt-file{color:#555;font-size:.72rem;font-weight:300}.mini-tooltip .mt-code{white-space:pre;padding:8px 12px;overflow-x:auto}.mini-tooltip .mt-loading{color:#555;padding:8px 12px;font-style:italic}.mini-tooltip .mt-error{color:#f87171;padding:8px 12px}@media (max-width:639px){.mini-tooltip{min-width:0;max-width:calc(100vw - 16px);font-size:.7rem;right:8px;left:8px!important}}@property --tw-border-style{syntax:"*";inherits:false;initial-value:solid}@property --tw-leading{syntax:"*";inherits:false}@property --tw-font-weight{syntax:"*";inherits:false}@property --tw-tracking{syntax:"*";inherits:false}