@layer theme{:root,:host{--font-sans:-apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", "Noto Sans", Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji";--font-serif:"Times New Roman", Times, Tinos, "Liberation Serif", "Nimbus Roman", "Nimbus Roman No9 L", "TeX Gyre Termes", serif;--font-mono:"JuliaMono", "JetBrains Mono", ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;--text-xs:.875rem;--text-xs--line-height:1.25rem;--text-sm:1rem;--text-sm--line-height:1.5rem;--text-base:1.0625rem;--text-base--line-height:1.625rem;--text-lg:1.1875rem;--text-lg--line-height:1.75rem;--text-xl:1.375rem;--text-xl--line-height:1.875rem;--text-2xl:1.6875rem;--text-2xl--line-height:2.125rem;--text-3xl:2.125rem;--text-3xl--line-height:2.5rem;--radius-xs:2px;--radius-sm:3px;--radius-md:4px;--radius-lg:6px;--radius-xl:8px;--default-font-family:var(--font-sans);--default-mono-font-family:var(--font-mono);--text-2xs:.8125rem;--text-2xs--line-height:1.25rem;--text-code-xs:.6875rem;--text-code-xs--line-height:1.5;--text-code-sm:.75rem;--text-code-sm--line-height:1.5;--text-code:.8125rem;--text-code--line-height:1.55;--text-code-lg:.875rem;--text-code-lg--line-height:1.6;--text-code-inline:.85em;--color-ink-0:#fff;--color-ink-25:#fcfcfd;--color-ink-50:#f7f8fa;--color-ink-100:#eff1f4;--color-ink-200:#e3e6eb;--color-ink-300:#cdd2da;--color-ink-400:#9ba3b0;--color-ink-450:#737b88;--color-ink-500:#6b7482;--color-ink-600:#4e5765;--color-ink-700:#39404c;--color-ink-800:#262b34;--color-ink-900:#14171c;--color-accent-50:#eef3fd;--color-accent-100:#dce7fb;--color-accent-200:#bcd0f6;--color-accent-300:#8fb0ee;--color-accent-400:#5c89e2;--color-accent-500:#3566d4;--color-accent-600:#2450bc;--color-accent-700:#1b3e96;--color-accent-800:#172f72;--color-accent-900:#13244f;--color-ok-fg:#0f7a4a;--color-ok-bg:#e6f4ec;--color-ok-bd:#a9d9c0;--color-warn-fg:#8a5a00;--color-warn-bg:#fcf3e2;--color-warn-bd:#ebd5a6;--color-role-thesis-bg:#eaf0fc;--color-role-thesis-bd:#3566d4;--color-role-hyp-bg:#fcf3e2;--color-role-hyp-bd:#c08a1e;--color-role-def-bg:#e4f4f1;--color-role-def-bd:#1d8a74;--color-role-cite-bg:#efecfb;--color-role-cite-bd:#6b5bd6;--color-err-fg:#b3261e;--color-err-bg:#fdecea;--color-err-bd:#f2bdb8;--color-bg:var(--color-ink-25);--color-surface:var(--color-ink-0);--color-surface-2:var(--color-ink-50);--color-code-bg:var(--color-ink-50);--color-text:var(--color-ink-900);--color-text-muted:var(--color-ink-600);--color-icon:var(--color-ink-500);--color-heading:var(--color-ink-800);--color-track:var(--color-ink-100);--color-border:var(--color-ink-200);--color-border-strong:var(--color-ink-300);--color-border-control:var(--color-ink-450);--color-link:var(--color-accent-600);--color-selection:#c9dbfb;--shadow-float:0 1px 2px #14171c0f, 0 8px 24px -10px #14171c33;--ease-ui:cubic-bezier(.2,0,.2,1);--dur-fast:.1s;--dur:.15s;--dur-bar:1.2s;--spacing-1:.25rem;--spacing-2:.5rem;--spacing-3:.75rem;--spacing-4:1rem;--spacing-5:1.25rem;--spacing-6:1.5rem;--spacing-8:2rem;--spacing-10:2.5rem;--spacing-12:3rem;--spacing-16:4rem;--spacing-control:1.75rem;--spacing-control-lg:2rem;--spacing-control-sm:1.5rem;--spacing-row:2.25rem;--spacing-row-tall:4.75rem;--spacing-nav:3rem;--spacing-tablehead:2rem;--container-doc:760px;--container-stream:1080px;--container-shell:1600px;--breakpoint-3xl:1760px;--field-w-xs:88px;--field-w-sm:140px;--field-w-md:180px;--field-w-lg:220px;--field-w-xl:360px;--field-w-search-min:280px;--col-doi:148px;--col-decl:220px;--col-date:128px;--col-num:88px;--col-axioms:140px;--col-author:140px;--col-kind:104px;--col-lib:160px;--col-statement-min:320px;--col-statement-max:720px;--h-log:380px;--h-report:520px;--h-dag:min(720px, 70vh);--h-dag-stream:420px;--h-editor:clamp(320px, 58vh, 720px);--h-note-editor:240px;--w-minimap:160px;--h-minimap:96px;--w-login-card:360px;--rail-tick-w:12px;--rail-tick-h:2px;--authored-rail:3px;--avatar:48px;--clamp-stream:12;--clamp-table:3;--dag-col-pitch:260px;--dag-row-pitch:112px;--dag-node-w:220px;--dag-node-h:88px;--dag-node-h-collapsed:44px;--dag-origin:24px;--dag-ruler-h:24px;--dag-gutter-w:40px;--color-ring:var(--color-accent-500)}}@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,-apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", "Noto Sans", Arial, 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;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:where(:not(iframe)){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}@font-face{font-family:Tinos;src:url(/assets/fonts/tinos-400-latin.woff2)format("woff2");font-weight:400;font-style:normal;font-display:swap;unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+2000-206F,U+2074,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:Tinos;src:url(/assets/fonts/tinos-700-latin.woff2)format("woff2");font-weight:700;font-style:normal;font-display:swap;unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+2000-206F,U+2074,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:JuliaMono;src:url(/assets/fonts/julia-mono-400-latin.woff2)format("woff2");font-weight:400;font-display:swap;unicode-range:U+0-24F,U+2010-2027,U+2030-205E}@font-face{font-family:JuliaMono;src:url(/assets/fonts/julia-mono-400-math.woff2)format("woff2");font-weight:400;font-display:swap;unicode-range:U+370-3FF,U+200?,U+2070-209F,U+20A0-20BF,U+2100-214F,U+2190-21FF,U+22??,U+23??,U+2460-24FF,U+25A0-25FF,U+27C0-27EF,U+2980-29FF,U+2A??,U+1D400-1D7FF}@font-face{font-family:JuliaMono;src:url(/assets/fonts/julia-mono-700-latin.woff2)format("woff2");font-weight:700;font-display:swap;unicode-range:U+0-24F}*,:before,:after{box-sizing:border-box}html{-webkit-text-size-adjust:100%}body{background:var(--color-bg);color:var(--color-text);font-family:var(--font-serif);font-size:var(--text-sm);line-height:var(--text-sm--line-height);-webkit-font-smoothing:antialiased;text-rendering:optimizelegibility;margin:0}::selection{background:var(--color-selection)}a{color:var(--color-link);text-decoration:none}a:hover{text-underline-offset:2px;text-decoration:underline;text-decoration-thickness:1px}:focus-visible{box-shadow:0 0 0 2px var(--color-surface),0 0 0 4px var(--color-ring);border-radius:var(--radius-sm);outline:none}h1,h2,h3{color:var(--color-heading);margin:0;font-weight:600}h1{font-size:var(--text-2xl);line-height:var(--text-2xl--line-height)}h2{font-size:var(--text-lg);line-height:var(--text-lg--line-height)}h3{font-size:var(--text-sm);line-height:var(--text-sm--line-height)}table{border-collapse:separate;border-spacing:0}svg{display:block}@media(prefers-reduced-motion:reduce){*,:before,:after{scroll-behavior:auto!important;transition-duration:1ms!important;animation-duration:1ms!important;animation-iteration-count:1!important}}}@layer components{.mth-nav{align-items:center;gap:var(--spacing-4);height:var(--spacing-nav);padding-inline:var(--spacing-4);border-bottom:1px solid var(--color-border);background:var(--color-surface);z-index:10;display:flex;position:sticky;top:0}.mth-nav__mark{letter-spacing:-.01em;color:var(--color-text);white-space:nowrap;font-weight:600}.mth-nav__mark:hover{text-decoration:none}.mth-nav__links{gap:var(--spacing-3);scrollbar-width:none;-webkit-overflow-scrolling:touch;display:flex;overflow-x:auto}.mth-nav__links::-webkit-scrollbar{display:none}.mth-nav__link{color:var(--color-text-muted);padding-block:var(--spacing-1);white-space:nowrap}.mth-nav__link:hover{color:var(--color-text);text-decoration:none}.mth-nav__link[aria-current=page]{color:var(--color-text);box-shadow:inset 0 -2px 0 var(--color-accent-500);font-weight:600}.mth-btn{justify-content:center;align-items:center;gap:var(--spacing-1);height:var(--spacing-control);padding-inline:var(--spacing-3);border:1px solid var(--color-border-control);border-radius:var(--radius-md);background:var(--color-surface);color:var(--color-text);font-size:var(--text-xs);cursor:pointer;transition:background .12s var(--ease-ui),border-color .12s var(--ease-ui);font-family:inherit;display:inline-flex}.mth-btn:hover{background:var(--color-surface-2)}.mth-btn:active{background:var(--color-track)}.mth-btn[disabled],.mth-btn[aria-disabled=true]{opacity:.5;cursor:not-allowed;pointer-events:none}.mth-btn--primary{background:var(--color-accent-600);border-color:var(--color-accent-600);color:var(--color-ink-0)}.mth-btn--primary:hover{background:var(--color-accent-700)}.mth-btn--xs{height:var(--spacing-control-sm);padding-inline:var(--spacing-2);font-size:var(--text-2xs)}.mth-btn[aria-pressed=true]{background:var(--color-accent-50);border-color:var(--color-accent-500)}.mth-field{gap:var(--spacing-1);font-size:var(--text-2xs);color:var(--color-text-muted);flex-direction:column;display:inline-flex}.mth-input,.mth-select{height:var(--spacing-control);padding-inline:var(--spacing-2);border:1px solid var(--color-border-control);border-radius:var(--radius-md);background:var(--color-surface);color:var(--color-text);font-size:var(--text-xs);width:var(--field-w-md);font-family:inherit}.mth-field--sm .mth-input,.mth-field--sm .mth-select{width:var(--field-w-sm)}.mth-field--lg .mth-input,.mth-field--lg .mth-select{width:var(--field-w-lg)}.mth-field--xl .mth-select{width:var(--field-w-xl)}.mth-field--search .mth-input{min-width:var(--field-w-search-min);width:100%}.mth-controls{align-items:flex-end;gap:var(--spacing-3);padding:var(--spacing-3) var(--spacing-4);border-bottom:1px solid var(--color-border);flex-wrap:wrap;display:flex}.mth-controls__label{font-size:var(--text-2xs);color:var(--color-text-muted)}.mth-topics{max-width:var(--container-doc);padding:var(--spacing-6);margin-inline:auto}.mth-topics__title{font-size:var(--text-lg);margin-block-end:var(--spacing-4)}.mth-topics__list{gap:var(--spacing-5);display:grid}.mth-topics__item{gap:var(--spacing-1);display:grid}.mth-topics__link{text-decoration:none}.mth-topics__name{color:var(--color-text);font-weight:600}.mth-topics__blurb{color:var(--color-text-muted);margin:0}.mth-topic{max-width:var(--container-doc);padding:var(--spacing-6);margin-inline:auto}.mth-topic__title{font-size:var(--text-lg);margin-block-end:var(--spacing-1)}.mth-topic__blurb{color:var(--color-text-muted);margin-block-end:var(--spacing-5)}.mth-topic__list{gap:var(--spacing-4);display:grid}.mth-topic__item{gap:var(--spacing-1);display:grid}.mth-relations{margin-block:var(--spacing-4);border-inline-start:2px solid var(--color-border);padding-inline-start:var(--spacing-3)}.mth-relations__head{font-size:var(--text-2xs);text-transform:uppercase;letter-spacing:.06em;color:var(--color-text-muted);margin-block-end:var(--spacing-2)}.mth-relations__list{gap:var(--spacing-3);display:grid}.mth-relation{gap:var(--spacing-1);display:grid}.mth-relation__verb{margin-inline-end:var(--spacing-2);font-weight:600}.mth-relation__note{color:var(--color-text-muted);margin:0}.mth-relation__by{font-size:var(--text-2xs);color:var(--color-text-muted)}.mth-kv{align-items:baseline;gap:var(--spacing-2);flex-wrap:wrap;display:flex}.mth-kv__k{font-size:var(--text-2xs);text-transform:uppercase;letter-spacing:.06em;color:var(--color-text-muted)}.mth-dl{gap:var(--spacing-1) var(--spacing-4);font-size:var(--text-xs);grid-template-columns:max-content minmax(0,1fr);margin:0;display:grid}.mth-dl>dt{font-size:var(--text-2xs);text-transform:uppercase;letter-spacing:.06em;color:var(--color-text-muted);font-weight:500}.mth-dl>dd{overflow-wrap:anywhere;min-width:0;margin:0}[data-value]+[data-value]{margin-inline-start:var(--spacing-3)}.mth-mono{font-family:var(--font-mono);font-size:var(--text-code-sm)}.mth-chip{height:var(--spacing-control-sm);padding-inline:var(--spacing-2);border:1px solid var(--color-border);border-radius:var(--radius-sm);background:var(--color-surface-2);font-family:var(--font-mono);font-size:var(--text-code-xs);color:var(--color-link);white-space:nowrap;align-items:center;display:inline-flex}.mth-chip:hover{border-color:var(--color-accent-500);text-decoration:none}.mth-chip--dict{color:var(--color-text-muted)}.mth-lean{margin:var(--spacing-2) 0;padding:var(--spacing-3);border:1px solid var(--color-border);border-radius:var(--radius-md);background:var(--color-code-bg);color:var(--color-text);font-family:var(--font-mono);font-size:var(--text-code);line-height:var(--text-code--line-height);white-space:pre;tab-size:2;overflow-x:auto}.mth-lean--sm{font-size:var(--text-code-sm)}.mth-lean--clamp{max-height:calc(var(--clamp-stream) * 1.55em + 2 * var(--spacing-3));overflow-y:hidden}.mth-lean--clamp-3{max-height:calc(var(--clamp-table) * 1.55em + 2 * var(--spacing-3));overflow-y:hidden}.mth-lean[data-expanded=true]{max-height:none;overflow-y:visible}.mth-table-scroll{scrollbar-gutter:stable;max-width:100%;overflow-x:auto}.mth-table .mth-lean{max-width:var(--col-statement-max);overflow-x:auto}.mth-table{width:100%;font-size:var(--text-xs);border:1px solid var(--color-border);border-radius:var(--radius-md);overflow:hidden}.mth-table th{height:var(--spacing-tablehead);padding-inline:var(--spacing-3);text-align:left;font-size:var(--text-2xs);text-transform:uppercase;letter-spacing:.06em;color:var(--color-text-muted);background:var(--color-surface-2);border-bottom:1px solid var(--color-border);white-space:nowrap}.mth-table td{padding:var(--spacing-2) var(--spacing-3);border-bottom:1px solid var(--color-border);vertical-align:top}.mth-table tbody tr:last-child td{border-bottom:0}.mth-table tbody tr:hover{background:var(--color-surface-2)}.mth-stream,.mth-stream__list,.mth-post,.mth-dag,article.landing{grid-template-columns:minmax(0,1fr);min-width:0}.mth-stream>*,.mth-stream__list>*,.mth-post>*,article.landing>*{min-width:0}.mth-dag-list{grid-template-columns:minmax(0,1fr)}.mth-dag-list__item,.mth-dag-list__item>*{min-width:0;max-width:100%}.mth-kv{flex-wrap:wrap;min-width:0}.mth-kv>*{overflow-wrap:anywhere;min-width:0}.mth-chip,.mth-dag-list__item .mth-mono{overflow-wrap:anywhere;max-width:100%}.mth-lean{max-width:100%}.mth-dag{padding:var(--spacing-3) var(--spacing-4)}.mth-dag__toolbar{gap:var(--spacing-2);margin-block:var(--spacing-2);flex-wrap:wrap;display:flex}.mth-dag__viewport{max-height:var(--h-dag);scrollbar-gutter:stable;border:1px solid var(--color-border);border-radius:var(--radius-md);background:var(--color-surface);overflow:auto}.mth-dag__graph{max-width:none;display:block}.mth-dag__edge{fill:none;stroke:var(--color-border-strong);stroke-width:1.25px}.mth-dag__node rect{fill:var(--color-surface-2);stroke:var(--color-border-strong)}.mth-dag__node text{fill:var(--color-text);font-family:var(--font-mono);font-size:var(--text-code-xs)}.mth-dag__kind{fill:var(--color-text-muted)}.mth-dag__node--thesis rect{fill:var(--color-role-thesis-bg);stroke:var(--color-role-thesis-bd);stroke-width:1.5px}.mth-dag__node--hypothesis rect{fill:var(--color-role-hyp-bg);stroke:var(--color-role-hyp-bd)}.mth-dag__node--definition rect{fill:var(--color-role-def-bg);stroke:var(--color-role-def-bd)}.mth-dag__node--cited rect{fill:var(--color-role-cite-bg);stroke:var(--color-role-cite-bd)}.mth-dag__legend{gap:var(--spacing-2) var(--spacing-4);margin-block:var(--spacing-2);flex-wrap:wrap;display:flex}.mth-role{align-items:center;gap:var(--spacing-2);font-size:var(--text-xs);color:var(--color-text-muted);display:inline-flex}.mth-role:before{content:"";width:var(--spacing-3);height:var(--spacing-3);border:1px solid var(--color-border-strong);border-radius:var(--radius-xs);background:var(--color-surface-2);flex:none}.mth-role--thesis:before{background:var(--color-role-thesis-bg);border-color:var(--color-role-thesis-bd)}.mth-role--hypothesis:before{background:var(--color-role-hyp-bg);border-color:var(--color-role-hyp-bd)}.mth-role--definition:before{background:var(--color-role-def-bg);border-color:var(--color-role-def-bd)}.mth-role--cited:before{background:var(--color-role-cite-bg);border-color:var(--color-role-cite-bd)}.mth-dag-list__item--thesis{border-inline-start:3px solid var(--color-role-thesis-bd)}.mth-dag-list__item--hypothesis{border-inline-start:3px solid var(--color-role-hyp-bd)}.mth-dag-list__item--definition{border-inline-start:3px solid var(--color-role-def-bd)}.mth-dag-list__item--cited{border-inline-start:3px solid var(--color-role-cite-bd)}.mth-docstring{gap:var(--spacing-2);max-width:var(--container-doc);line-height:1.55;display:grid}.mth-docstring p,.mth-docstring ul{margin:0}.mth-docstring ul{padding-inline-start:var(--spacing-5)}.mth-docstring code{font-family:var(--font-mono);font-size:var(--text-code-inline)}.mth-docstring--thesis{font-size:var(--text-lg);line-height:var(--text-lg--line-height)}.mth-docstring--thesis>p:first-child{color:var(--color-heading)}.mth-docstring--thesis>p+p{font-size:var(--text-sm);color:var(--color-text-muted)}.mth-docstring__code{padding:var(--spacing-2);background:var(--color-code-bg);border-radius:var(--radius-md);white-space:pre;margin:0;overflow-x:auto}.mth-dag-list{gap:var(--spacing-3);margin:0;padding:0;list-style:none;display:grid}.mth-dag-list__item{padding:var(--spacing-3);border:1px solid var(--color-border);border-radius:var(--radius-md);background:var(--color-surface)}.mth-dag-list__item[data-citable=false]{border-style:dashed}.mth-dag-list__leaves{gap:var(--spacing-1);flex-wrap:wrap;display:flex}.mth-dag[data-layout=graph] .mth-dag-list,.mth-dag:not([data-layout=graph]) .mth-dag__viewport{display:none}.mth-disclosure>summary{cursor:pointer;font-size:var(--text-2xs);text-transform:uppercase;letter-spacing:.06em;color:var(--color-text-muted)}.mth-disclosure ul{margin:var(--spacing-1) 0 0;padding-left:var(--spacing-4)}.mth-state-rail{gap:var(--spacing-1);flex-wrap:wrap;align-items:center;display:inline-flex}.mth-state-rail__tick{inline-size:var(--rail-tick-w);block-size:var(--rail-tick-h);border-radius:var(--radius-xs);background:var(--color-track);transition:background var(--dur-fast) var(--ease-ui)}.mth-state-rail__tick--on{background:var(--color-accent-500)}.mth-state-rail__tick--err{background:var(--color-err-fg)}.mth-post{gap:var(--spacing-4);padding:var(--spacing-4);border:1px solid var(--color-border);border-radius:var(--radius-lg);background:var(--color-surface);display:grid}.mth-post__claim{gap:var(--spacing-2);display:grid}.mth-retracted{gap:var(--spacing-2);padding:var(--spacing-2) var(--spacing-3);border:1px solid var(--color-err-bd);border-radius:var(--radius-sm);background:var(--color-err-bg);color:var(--color-err-fg);font-size:var(--text-2xs);flex-wrap:wrap;align-items:baseline;display:flex}.mth-retracted__mark{text-transform:uppercase;letter-spacing:.06em;font-weight:600}.mth-retracted__when{color:var(--color-err-fg);opacity:.75}.mth-post__claim>.mth-btn,.mth-post__claim>.mth-clip{justify-self:start}.mth-verification,.mth-attribution,.mth-doi{gap:var(--spacing-2);display:grid}.mth-cite{gap:var(--spacing-2);flex-wrap:wrap;align-items:center;display:flex}.mth-clip{font-size:var(--text-2xs);color:var(--color-ok-fg)}.mth-stream{gap:var(--spacing-4);padding:var(--spacing-4);max-width:var(--container-stream);margin-inline:auto;display:grid}.mth-stream__list{gap:var(--spacing-4);display:grid}.mth-bank{padding:var(--spacing-4);max-width:var(--container-shell);margin-inline:auto}.mth-doc{gap:var(--spacing-6);padding:var(--spacing-10) var(--spacing-4);max-width:var(--container-doc);margin-inline:auto;display:grid}.mth-dictionary-slot{justify-content:space-between;align-items:center;gap:var(--spacing-4);flex-wrap:wrap;display:flex}.mth-bank__tabs{gap:var(--spacing-3);margin-bottom:var(--spacing-3);display:flex}.mth-bank__tab{color:var(--color-text-muted);padding-block:var(--spacing-1)}.mth-bank__tab[aria-current=page]{color:var(--color-text);border-bottom:2px solid var(--color-accent-500);font-weight:600}.mth-profile{gap:var(--spacing-4);padding:var(--spacing-4);max-width:var(--container-stream);margin-inline:auto;display:grid}.mth-profile__identity{gap:var(--spacing-4);padding:var(--spacing-4);border:1px solid var(--color-border);border-radius:var(--radius-lg);background:var(--color-surface);flex-wrap:wrap;align-items:flex-start;display:flex}.mth-profile__who{gap:var(--spacing-1);min-width:0;display:grid}.mth-profile__name{font-size:var(--text-2xl);line-height:var(--text-2xl--line-height);margin:0;font-weight:600}.mth-profile__login{font-family:var(--font-mono);font-size:var(--text-code)}.mth-avatar{border-radius:var(--radius-lg);background:var(--color-surface-2);border:1px solid var(--color-border);object-fit:cover;flex:none}.mth-avatar--sm{width:var(--spacing-12);height:var(--spacing-12);border-radius:var(--radius-md)}.mth-avatar--xs{width:var(--spacing-6);height:var(--spacing-6);border-radius:var(--radius-sm)}.mth-person{align-items:center;gap:var(--spacing-2);color:inherit;display:inline-flex}.mth-person>[data-value]{margin-inline-start:0}.mth-glyph{border:1px solid var(--color-border);border-radius:var(--radius-sm);background:var(--color-surface-2);flex:none;display:block}.mth-glyph--sm{width:var(--spacing-5);height:var(--spacing-5)}.mth-glyph--xs{width:var(--spacing-6);height:var(--spacing-6)}.mth-glyph--0{fill:var(--color-accent-500)}.mth-glyph--1{fill:var(--color-accent-800)}.mth-glyph--2{fill:var(--color-ink-600)}.mth-glyph--3{fill:var(--color-accent-300)}.mth-avatar--lg{width:var(--spacing-16);height:var(--spacing-16)}.mth-post__author{align-items:center;gap:var(--spacing-3);padding-bottom:var(--spacing-3);border-bottom:1px solid var(--color-border);flex-wrap:wrap;display:flex}.mth-author{align-items:center;gap:var(--spacing-3);min-width:0;color:inherit;text-decoration:none;display:flex}.mth-author:hover .mth-author__name,.mth-author:focus-visible .mth-author__name{text-decoration:underline}.mth-author__names{min-width:0;line-height:var(--text-sm--line-height);display:grid}.mth-author__names>[data-value],.mth-profile__who>[data-value]{margin-inline-start:0}.mth-author__name{color:var(--color-text);overflow-wrap:anywhere;font-weight:600}.mth-author__handle{font-size:var(--text-sm);color:var(--color-text-muted)}.mth-author__handle:before{content:"@"}.mth-author__meta{align-items:center;gap:var(--spacing-2);font-size:var(--text-sm);color:var(--color-text-muted);margin-inline-start:auto;display:flex}.mth-author__when{font-variant-numeric:tabular-nums}.mth-author__cites{align-items:baseline;gap:var(--spacing-2);font-size:var(--text-sm);color:var(--color-text-muted);flex-wrap:wrap;flex-basis:100%;display:flex}.mth-more{flex:none;position:relative}.mth-more__button{width:var(--spacing-8);height:var(--spacing-8);border-radius:var(--radius-md);color:var(--color-text-muted);cursor:pointer;place-items:center;list-style:none;display:grid}.mth-more__button::-webkit-details-marker{display:none}.mth-more__button:hover,.mth-more[open]>.mth-more__button{background:var(--color-surface-2);color:var(--color-text)}.mth-more__button:focus-visible{outline:2px solid var(--color-accent-500);outline-offset:2px}.mth-more__icon{width:var(--spacing-4);height:var(--spacing-4);fill:currentColor}.mth-more__menu{inset-inline-end:0;top:calc(100% + var(--spacing-1));z-index:10;min-width:max-content;padding:var(--spacing-1);border:1px solid var(--color-border);border-radius:var(--radius-lg);background:var(--color-surface);box-shadow:var(--shadow-float);display:grid;position:absolute}.mth-more__item{align-items:baseline;gap:var(--spacing-3);padding:var(--spacing-2) var(--spacing-3);border-radius:var(--radius-md);color:var(--color-text);font-size:var(--text-sm);text-decoration:none;display:flex}.mth-more__item:hover,.mth-more__item:focus-visible{background:var(--color-surface-2)}.mth-more__item>[data-value]+[data-value]{margin-inline-start:0}.mth-more__kind{min-width:var(--spacing-16)}.mth-more__item>.mth-mono{color:var(--color-text-muted)}.mth-post__footer{padding-top:var(--spacing-3);border-top:1px solid var(--color-border);justify-content:flex-end;display:flex}.mth-discuss{font-size:var(--text-sm)}.mth-discuss:after{content:" ↗"}.mth-landing__record{gap:var(--spacing-4);display:grid}.mth-record{gap:var(--spacing-4);padding-inline:var(--spacing-4);display:grid}.mth-record>.mth-verification{padding-top:var(--spacing-3);border-top:1px solid var(--color-border);color:var(--color-text-muted)}.mth-verification__title{font-size:var(--text-2xs);text-transform:uppercase;letter-spacing:.06em;color:var(--color-text-muted);margin:0;font-weight:500}.mth-record>.mth-verification .mth-dl{font-size:var(--text-2xs)}.mth-login{gap:var(--spacing-4);padding:var(--spacing-6);max-width:var(--w-login-card);margin-inline:auto;display:grid}.mth-submit{gap:var(--spacing-4);padding:var(--spacing-4);max-width:var(--container-shell);margin-inline:auto;display:grid}.mth-editor{height:var(--h-editor);border:1px solid var(--color-border);border-radius:var(--radius-md);overflow:hidden}.record-prose{font-size:var(--text-sm);max-width:var(--container-doc);line-height:1.6}.record-prose>*+*{margin-top:var(--spacing-3)}.record-prose h3,.record-prose h4{margin-top:var(--spacing-4);font-weight:600}.record-prose code{font-family:var(--font-mono);font-size:var(--text-code-sm)}.record-prose pre{padding:var(--spacing-3);background:var(--color-code-bg);border-radius:var(--radius-md);overflow-x:auto}.mth-note-editor{width:100%;min-height:var(--h-note-editor);font-family:var(--font-mono);font-size:var(--text-code-sm);padding:var(--spacing-3);border:1px solid var(--color-border-control);border-radius:var(--radius-md);background:var(--color-surface);color:var(--color-text)}.mth-error,[data-role=error]{color:var(--color-err-fg);background:var(--color-err-bg);border:1px solid var(--color-err-bd);border-radius:var(--radius-md);padding:var(--spacing-2) var(--spacing-3);font-size:var(--text-xs)}[data-role=log],[data-role=report]{font-family:var(--font-mono);font-size:var(--text-code-xs);white-space:pre-wrap;padding:var(--spacing-3);border:1px solid var(--color-border);border-radius:var(--radius-md);background:var(--color-code-bg);overflow:auto}[data-role=log]{max-height:var(--h-log)}[data-role=report]{max-height:var(--h-report)}.mth-pre-log{margin:0}.mth-pre-report{word-break:break-all;margin:0}.mth-btn--lg{height:var(--spacing-control-lg);padding-inline:var(--spacing-3)}.mth-btn--block{justify-content:center;width:100%}.mth-term{font-size:var(--text-xs);color:var(--color-text-muted);font-weight:500;line-height:1rem}.mth-metric{align-items:baseline;gap:var(--spacing-2);display:inline-flex}.mth-value--em{color:var(--color-ink-400)}.mth-label{font-size:var(--text-xs);color:var(--color-text-muted);font-weight:500}.mth-status{height:var(--spacing-control-sm);padding-inline:var(--spacing-2);border-radius:var(--radius-sm);font-size:var(--text-xs);white-space:nowrap;border:1px solid #0000;align-items:center;font-weight:500;display:inline-flex}.mth-status--ok{color:var(--color-ok-fg);background:var(--color-ok-bg);border-color:var(--color-ok-bd)}.mth-status--warn{color:var(--color-warn-fg);background:var(--color-warn-bg);border-color:var(--color-warn-bd)}.mth-status--err{color:var(--color-err-fg);background:var(--color-err-bg);border-color:var(--color-err-bd)}.mth-status--neutral{color:var(--color-text-muted);background:var(--color-track);border-color:var(--color-border-strong)}.mth-panel{background:var(--color-surface-2);border:1px solid var(--color-border);border-radius:var(--radius-lg);padding:var(--spacing-3);align-items:flex-end;gap:var(--spacing-4);flex-wrap:wrap;display:flex}.mth-panel--ok{border-color:var(--color-ok-bd)}.mth-panel--err{border-color:var(--color-err-bd)}.mth-panel--authored{border-left:var(--authored-rail) solid var(--color-border-strong);margin-top:var(--spacing-8);display:block}.mth-radio-row{align-items:center;gap:var(--spacing-4);border:0;margin:0;padding:0;display:inline-flex}.mth-textarea{width:100%;min-block-size:var(--h-note-editor);padding:var(--spacing-3);border:1px solid var(--color-border-control);border-radius:var(--radius-sm);background:var(--color-surface);color:var(--color-text);font-family:var(--font-mono);font-size:var(--text-code);resize:vertical}[aria-invalid=true]>.mth-input,[aria-invalid=true]>.mth-select,.mth-input[aria-invalid=true],.mth-select[aria-invalid=true],.mth-textarea[aria-invalid=true]{border-color:var(--color-err-bd);border-left-width:2px;border-left-color:var(--color-err-fg)}.mth-select[disabled]{border-left:2px solid var(--color-accent-500);opacity:1}.mth-facets{gap:var(--spacing-2);margin-block:var(--spacing-2);flex-wrap:wrap;display:flex}.mth-chip-facet{align-items:center;gap:var(--spacing-1);height:var(--spacing-control-sm);padding-inline:var(--spacing-2);border:1px solid var(--color-border);border-radius:var(--radius-sm);background:var(--color-track);color:var(--color-text);font-size:var(--text-2xs);display:inline-flex}.mth-error-host:empty{display:none}.mth-error-host{gap:var(--spacing-2);margin-block:var(--spacing-2);display:grid}.mth-td-mono{font-family:var(--font-mono);font-size:var(--text-code-sm);color:var(--color-text);max-width:var(--col-decl);text-overflow:ellipsis;white-space:nowrap;vertical-align:bottom;display:inline-block;overflow:hidden}.mth-profile__dois{gap:var(--spacing-2);display:grid}.mth-th-sort{all:unset;cursor:pointer;align-items:center;gap:var(--spacing-1);font:inherit;color:inherit;display:inline-flex}.mth-table th[aria-sort=ascending] .mth-th-sort:after{content:"↑";color:var(--color-accent-600)}.mth-table th[aria-sort=descending] .mth-th-sort:after{content:"↓";color:var(--color-accent-600)}.mth-lean-clamp{position:relative;overflow:hidden}.mth-lean-clamp--3{max-block-size:calc(var(--clamp-table) * 1.55em + 2 * var(--spacing-3))}.mth-lean-clamp--12{max-block-size:calc(var(--clamp-stream) * 1.55em + 2 * var(--spacing-3))}.mth-lean-clamp[data-clamped=true]{border-bottom:1px dashed var(--color-border-strong)}.mth-lean-clamp[data-clamped=false]{border-bottom:0;max-block-size:none}@supports not selector(:has(*)){.mth-lean-clamp{border-bottom:0;max-block-size:none}}.mth-editor__panes{block-size:var(--h-editor);grid-template-rows:1fr 1fr;min-inline-size:0;display:grid}@media(min-width:64rem){.mth-editor__panes{grid-template-rows:none;grid-template-columns:62fr 38fr}}.mth-editor__mount{block-size:auto;min-block-size:0;min-inline-size:0}.mth-infoview{border-left:1px solid var(--color-border);background:var(--color-surface);font-family:var(--font-mono);font-size:var(--text-code);padding:var(--spacing-3);min-block-size:0;overflow:auto}.mth-mono-protected{background:var(--color-track)}.mth-cite__actions{gap:var(--spacing-2);display:flex}.mth-degraded{align-items:flex-start;gap:var(--spacing-2);flex-direction:column;display:flex}}@layer utilities;@media print{:root{--color-bg:#fff;--color-surface:#fff;--color-surface-2:#fff;--color-code-bg:#fff;--color-text:#000;--color-text-muted:#333;--color-border:#999;--color-border-strong:#666;--color-link:#000}.mth-nav,.mth-dag__toolbar,.mth-dag__viewport,.mth-controls,.mth-bank__tabs,#owner-tools,button,.mth-btn{display:none!important}.mth-dag[data-layout=graph] .mth-dag-list{display:grid}.mth-post,.mth-dag-list__item,.mth-lean{break-inside:avoid}.mth-lean{white-space:pre-wrap;max-height:none!important}.mth-cite{break-before:page}a[href]:after{content:none!important}@page{margin:18mm}}@media(forced-colors:active){.mth-btn,.mth-chip,.mth-lean,.mth-table,.mth-dag-list__item{border:1px solid canvastext}.mth-dag__edge{stroke:canvastext}.mth-dag__node rect{stroke:canvastext;fill:canvas}:focus-visible{box-shadow:none;outline:2px solid highlight}}@media(prefers-color-scheme:dark){:root:not([data-theme=light]){--color-bg:#0d0f13;--color-surface:#131720;--color-surface-2:#1a1f29;--color-code-bg:#10141c;--color-text:#e8ebf0;--color-text-muted:#a7aebb;--color-icon:#7c8493;--color-heading:#e8ebf0;--color-track:#262c38;--color-border:#262c38;--color-border-strong:#333b49;--color-border-control:#5c6472;--color-link:#7ba3ee;--color-selection:#1f3a6b;--color-accent-50:#161f33;--color-accent-100:#1b2842;--color-accent-200:#24365a;--color-accent-500:#7ba3ee;--color-accent-600:#2e5ac4;--color-accent-700:#a9c4f4;--color-ok-fg:#4ade9b;--color-ok-bg:#0e2a1e;--color-ok-bd:#1d5238;--color-warn-fg:#e8b455;--color-warn-bg:#2c2413;--color-warn-bd:#54421c;--color-role-thesis-bg:#161f33;--color-role-thesis-bd:#7ba3ee;--color-role-hyp-bg:#2c2413;--color-role-hyp-bd:#e8b455;--color-role-def-bg:#10261f;--color-role-def-bd:#4cc7a8;--color-role-cite-bg:#1e1a33;--color-role-cite-bd:#a99cf0;--color-err-fg:#ff9a90;--color-err-bg:#2c1512;--color-err-bd:#5a2521}}:root[data-theme=dark]{--color-bg:#0d0f13;--color-surface:#131720;--color-surface-2:#1a1f29;--color-code-bg:#10141c;--color-text:#e8ebf0;--color-text-muted:#a7aebb;--color-icon:#7c8493;--color-heading:#e8ebf0;--color-track:#262c38;--color-border:#262c38;--color-border-strong:#333b49;--color-border-control:#5c6472;--color-link:#7ba3ee;--color-selection:#1f3a6b;--color-accent-50:#161f33;--color-accent-100:#1b2842;--color-accent-200:#24365a;--color-accent-500:#7ba3ee;--color-accent-600:#2e5ac4;--color-accent-700:#a9c4f4;--color-ok-fg:#4ade9b;--color-ok-bg:#0e2a1e;--color-ok-bd:#1d5238;--color-warn-fg:#e8b455;--color-warn-bg:#2c2413;--color-warn-bd:#54421c;--color-role-thesis-bg:#161f33;--color-role-thesis-bd:#7ba3ee;--color-role-hyp-bg:#2c2413;--color-role-hyp-bd:#e8b455;--color-role-def-bg:#10261f;--color-role-def-bd:#4cc7a8;--color-role-cite-bg:#1e1a33;--color-role-cite-bd:#a99cf0;--color-err-fg:#ff9a90;--color-err-bg:#2c1512;--color-err-bd:#5a2521}