:root{--paper:#f7f7f7;--ink:#25262a;--muted:#6d6e74;--surface:#fff;--hover:#f0f0f2;--line:#dedee2;--measure:40rem;--header-width:77.5rem;--sans:"Fai Sans", "Noto Sans JP", sans-serif;--math:"STIX Two Math", math;color-scheme:light}:root[data-theme=dark]{--paper:#101114;--ink:#f7f7f7;--muted:#a2a3ab;--surface:#202125;--hover:#292a30;--line:#36373e;color-scheme:dark}@media (prefers-color-scheme:dark){:root:not([data-theme]){--paper:#101114;--ink:#f7f7f7;--muted:#a2a3ab;--surface:#202125;--hover:#292a30;--line:#36373e;color-scheme:dark}}*{box-sizing:border-box}html{min-width:280px}body{background:var(--paper);min-height:100svh;color:var(--ink);font:400 15px/1.85 var(--sans);font-synthesis:none;-webkit-font-smoothing:antialiased;flex-direction:column;margin:0;display:flex}::selection{background:var(--ink);color:var(--paper)}h1,h2,p{margin:0}a{color:inherit;touch-action:manipulation;text-decoration:none}button{font:inherit;touch-action:manipulation}a:focus-visible,button:focus-visible,main:focus-visible{outline:2px solid var(--ink);outline-offset:5px}svg,img{display:block}math{font-family:var(--math);font-style:normal;font-weight:400}[hidden]{display:none!important}.sr-only{clip-path:inset(50%);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.skip-link{z-index:5;background:var(--paper);padding:.5rem 1rem;position:fixed;top:-5rem;left:1rem}.skip-link:focus{top:1rem}.site-header{width:min(var(--header-width), calc(100% - 6rem));flex-shrink:0;grid-template-columns:auto minmax(0,1fr) auto;align-items:center;gap:1rem 1.5rem;margin-inline:auto;padding-block:1.5rem;display:grid}.site-nav{justify-content:flex-end;justify-self:end;align-items:center;gap:.25rem;min-width:0;display:flex}.nav-items{flex-wrap:wrap;justify-content:flex-end;align-items:center;gap:0 .375rem;min-width:0;margin:0;padding:0;list-style:none;display:flex}.nav-items li{align-items:center;min-width:0;max-width:100%;display:inline-flex}.nav-delimiter{color:var(--muted);flex:none;font-size:24px}.nav-label{display:block}.nav-comma{color:inherit;margin-left:.12em;font-size:1em}.site-nav a{min-width:44px;min-height:44px;color:var(--muted);overflow-wrap:anywhere;text-align:center;justify-content:center;align-items:center;max-width:100%;padding-inline:.25rem;font-size:14px;font-weight:400;line-height:1.6;display:inline-flex}.site-nav a[aria-current=page]{color:var(--ink);text-underline-offset:7px;text-decoration:underline 1px}.theme-toggle{width:48px;height:48px;color:inherit;cursor:pointer;background:0 0;border:0;border-radius:50%;flex:0 0 48px;place-items:center;padding:0;display:grid}.theme-icon{filter:brightness(0);pointer-events:none;grid-area:1/1;width:20px;height:20px}.theme-icon--sun{display:none}[data-theme=dark] .theme-icon{filter:brightness(0)invert()}[data-theme=dark] .theme-icon--sun{display:block}[data-theme=dark] .theme-icon--moon{display:none}@media (prefers-color-scheme:dark){:root:not([data-theme]) .theme-icon{filter:brightness(0)invert()}:root:not([data-theme]) .theme-icon--sun{display:block}:root:not([data-theme]) .theme-icon--moon{display:none}}.page{width:min(var(--measure), calc(100% - 3rem));margin-inline:auto;padding-block:clamp(4rem,8vw,7rem) 6rem}.identity{align-items:center;gap:.75rem;min-width:0;max-width:20rem;min-height:48px;display:inline-flex}.identity-mark{object-fit:contain;flex-shrink:0;width:38px;height:auto;max-height:48px}.identity-name{min-width:0;font-family:var(--sans);letter-spacing:0;overflow-wrap:anywhere;font-size:36px;font-weight:400;line-height:1.15}.identity--wordmark{--wordmark-scale:1;gap:calc(18.6816px * var(--wordmark-scale))}.identity-name--wordmark{flex-shrink:0;font-size:0;line-height:1;overflow:visible}.identity-wordmark{width:auto;height:calc(36px * var(--wordmark-scale));transform:translateY(calc(-2.6px * var(--wordmark-scale)))}.page-title{letter-spacing:.015em;overflow-wrap:anywhere;margin-bottom:2.5rem;font-size:30px;font-weight:500;line-height:1.5}.items{gap:0;display:grid}.item{min-width:0}.item--text,.item--image{margin-block:.75rem}.link-row{border-bottom:1px solid var(--line);align-items:center;gap:1.25rem;min-height:68px;padding-block:1.25rem;display:flex}.item--link:first-child .link-row{border-top:1px solid var(--line)}.link-icon{object-fit:contain;flex-shrink:0;width:22px;height:22px}.monochrome{filter:brightness(0)}[data-theme=dark] .monochrome{filter:brightness(0)invert()}@media (prefers-color-scheme:dark){:root:not([data-theme]) .monochrome{filter:brightness(0)invert()}}.link-copy{flex-direction:column;flex:1;min-width:0;display:flex}.link-label{overflow-wrap:anywhere;font-size:16px;font-weight:400;line-height:1.6}.link-description{color:var(--muted);overflow-wrap:anywhere;margin-top:4px;font-size:13px;line-height:1.7}.arrow{width:20px;height:20px;color:var(--muted);flex-shrink:0}.text{white-space:pre-wrap;overflow-wrap:anywhere;line-height:2.1}.content-image{width:auto;max-width:100%;height:auto}.image-link{width:fit-content;max-width:100%;display:block}.entry-card{background:var(--surface);border:1px solid var(--line);border-radius:7px;display:block;overflow:hidden}.entry-image{width:100%;height:auto}.entry-copy{padding:1.75rem}.entry-heading{justify-content:space-between;align-items:center;gap:1rem;display:flex}.entry h2{overflow-wrap:anywhere;font-size:20px;font-weight:500;line-height:1.6}.entry .text{color:var(--muted);margin-top:1rem;font-size:14px}.item--axiom{margin-block:.75rem}.axiom{padding-block:.75rem}.axiom h2{flex-wrap:wrap;align-items:baseline;font-size:16px;font-weight:500;line-height:1.8;display:flex}.axiom-number{font-family:var(--math);font-size:1.15em;font-weight:400}.axiom .text{max-width:38rem;margin-top:.75rem}.example-label{color:var(--muted);margin-left:auto;padding-left:1rem;font-size:11px;font-weight:400}.status-page{padding-block:1rem}.status-kicker{color:var(--muted);letter-spacing:.12em;font-size:11px}.status-page h1{letter-spacing:-.02em;margin-top:1.25rem;font-size:clamp(28px,4.5vw,42px);font-weight:500;line-height:1.4}.status-formula{text-align:left;margin:2.25rem 0 1.5rem;font-size:30px}.status-message{color:var(--muted);font-size:15px}.status-message math{color:var(--ink);font-size:1.25em}.back-link{text-underline-offset:6px;align-items:center;min-height:44px;margin-top:2.5rem;font-size:14px;text-decoration:underline;display:inline-flex}@media (hover:hover){.site-nav a:hover{color:var(--ink)}.theme-toggle:hover{background:var(--hover)}a.link-row:hover{color:var(--muted);border-color:var(--muted)}a.entry-card:hover{background:var(--hover);border-color:var(--muted)}a:hover .arrow{color:var(--ink)}}@media (prefers-reduced-motion:reduce){*{transition:none!important}}.about-sections{gap:3.5rem;display:grid}.about-section h2{margin:0 0 1.25rem;font-size:18px;font-weight:500;line-height:1.6}.about-copy{gap:1.25rem;display:grid}.updated{color:var(--muted);margin-top:1.25rem;font-size:12px}.profile-map{margin:0}.profile-row{border-bottom:1px solid var(--line);grid-template-columns:minmax(0,1fr) minmax(0,2fr);column-gap:2rem;padding-block:1rem;font-size:14px;line-height:1.8;display:grid}.profile-row:first-child{border-top:1px solid var(--line)}.profile-row dt,.profile-row dd{white-space:pre-wrap;overflow-wrap:anywhere;margin:0}.profile-row dt{color:var(--muted)}@media (width<=800px){.site-header{column-gap:1rem;width:calc(100% - 3rem)}.nav-items{column-gap:.25rem}.site-nav a{font-size:13px}}@media (width<=640px){.site-header{grid-template-columns:minmax(0,1fr) auto;gap:.75rem 1rem;width:calc(100% - 2.5rem);padding-block:1rem}.identity{grid-area:1/1;gap:.625rem;max-width:100%}.identity-mark{width:32px}.identity-name{font-size:32px}.identity--wordmark{--wordmark-scale:.842105;gap:calc(18.6816px * var(--wordmark-scale))}.identity-name--wordmark{font-size:0}.theme-toggle{grid-area:1/2}.site-nav{grid-area:2/1/auto/-1;gap:.125rem}.site-nav a{padding-inline:0}.nav-delimiter{font-size:22px}.page{width:calc(100% - 2.5rem);padding-block:3.5rem 4rem}.page-title{margin-bottom:2rem;font-size:26px}.link-row{gap:1rem;min-height:64px}.link-description{font-size:12px}.entry-copy{padding:1.25rem}.about-sections{gap:2.75rem}.profile-row{column-gap:1.25rem}}