.ModelTheoryPageClient-module__1tsg6W__page{--c-accent:#e27318;--c-accent-2:#f5a524;position:relative;overflow-x:clip}.ModelTheoryPageClient-module__1tsg6W__shell{width:100%;max-width:74rem;margin-inline:auto;padding-inline:1.5rem}.ModelTheoryPageClient-module__1tsg6W__hero{padding-top:clamp(4.5rem,7vw,6.5rem);padding-bottom:clamp(1.5rem,3vw,2rem)}.ModelTheoryPageClient-module__1tsg6W__backLink{color:var(--muted);font-size:.85rem;font-weight:600;text-decoration:none;transition:color .2s;display:inline-block}.ModelTheoryPageClient-module__1tsg6W__backLink:hover{color:var(--foreground)}.ModelTheoryPageClient-module__1tsg6W__eyebrow{letter-spacing:.14em;text-transform:uppercase;color:var(--c-accent-2);margin-top:clamp(1.5rem,3vw,2.25rem);font-size:.72rem;font-weight:600}.ModelTheoryPageClient-module__1tsg6W__titleRow{align-items:center;gap:.85rem;margin-top:.55rem;display:flex}.ModelTheoryPageClient-module__1tsg6W__title{letter-spacing:-.02em;color:var(--foreground);font-size:clamp(2rem,4.2vw,3rem);font-weight:800;line-height:1.1}.ModelTheoryPageClient-module__1tsg6W__titleLogo{flex:none;justify-content:center;align-items:center;width:44px;height:44px;display:inline-flex}.ModelTheoryPageClient-module__1tsg6W__titleLogo img{object-fit:contain;width:auto;height:100%}.ModelTheoryPageClient-module__1tsg6W__intro{max-width:46rem;color:var(--muted);margin-top:1.1rem;font-size:clamp(1.05rem,1.4vw,1.2rem);line-height:1.6}.ModelTheoryPageClient-module__1tsg6W__visitRow{margin-top:1.4rem}.ModelTheoryPageClient-module__1tsg6W__link{color:var(--foreground);border-bottom:1px solid color-mix(in srgb, var(--c-accent) 55%, transparent);padding-bottom:2px;font-size:.95rem;font-weight:600;text-decoration:none;transition:color .2s,border-color .2s;display:inline-block}.ModelTheoryPageClient-module__1tsg6W__link:hover{color:var(--c-accent);border-color:var(--c-accent)}.ModelTheoryPageClient-module__1tsg6W__inlineLink{color:var(--c-accent-2);text-underline-offset:2px;text-decoration:underline;transition:color .2s}.ModelTheoryPageClient-module__1tsg6W__inlineLink:hover{color:var(--c-accent)}.ModelTheoryPageClient-module__1tsg6W__heroMedia{border:1px solid #ffffff1a;border-radius:16px;margin-top:clamp(2rem,4vw,3rem);overflow:hidden}.ModelTheoryPageClient-module__1tsg6W__heroMedia img{width:100%;height:auto;display:block}.ModelTheoryPageClient-module__1tsg6W__metricRow{flex-wrap:wrap;gap:1.6rem 3rem;margin-top:clamp(2rem,4vw,3rem);display:flex}.ModelTheoryPageClient-module__1tsg6W__metricNum{letter-spacing:-.02em;color:var(--c-accent-2);font-size:clamp(1.6rem,2.4vw,2rem);font-weight:800;line-height:1;display:block}.ModelTheoryPageClient-module__1tsg6W__metricLabel{color:var(--muted);max-width:12rem;margin-top:.4rem;font-size:.8rem;line-height:1.35;display:block}.ModelTheoryPageClient-module__1tsg6W__section{border-top:1px solid #ffffff14;margin-top:clamp(2.75rem,5vw,4.5rem);padding-top:clamp(2.75rem,5vw,4.5rem);padding-bottom:clamp(2.75rem,5vw,4.5rem)}.ModelTheoryPageClient-module__1tsg6W__blockTitle{letter-spacing:-.02em;color:var(--foreground);font-size:clamp(1.5rem,2.6vw,2rem);font-weight:800}.ModelTheoryPageClient-module__1tsg6W__pub{max-width:52rem;margin-top:clamp(1.5rem,3vw,2rem)}.ModelTheoryPageClient-module__1tsg6W__pubStatus{letter-spacing:.14em;text-transform:uppercase;color:var(--c-accent-2);font-size:.72rem;font-weight:600}.ModelTheoryPageClient-module__1tsg6W__pubTitle{color:var(--foreground);margin-top:.6rem;font-size:1.05rem;line-height:1.55}.ModelTheoryPageClient-module__1tsg6W__techLine{color:var(--muted);margin-top:1.1rem;font-size:.95rem;line-height:1.7}.ModelTheoryPageClient-module__1tsg6W__attribution{max-width:46rem;margin-top:1.75rem}.ModelTheoryPageClient-module__1tsg6W__attribution p{color:var(--muted);font-size:.85rem;line-height:1.6}.ModelTheoryPageClient-module__1tsg6W__builtRow{align-items:start;gap:clamp(1.75rem,4vw,3rem) clamp(2rem,6vw,5rem);display:grid}@media (min-width:760px){.ModelTheoryPageClient-module__1tsg6W__builtRow{grid-template-columns:minmax(0,1.5fr) minmax(0,1fr)}}.ModelTheoryPageClient-module__1tsg6W__builtCol,.ModelTheoryPageClient-module__1tsg6W__sourceCol{min-width:0}.ModelTheoryPageClient-module__1tsg6W__repoList{flex-direction:column;align-items:flex-start;gap:.85rem;margin-top:1.1rem;padding:0;list-style:none;display:flex}.ModelTheoryPageClient-module__1tsg6W__repoLink{color:var(--foreground);align-items:center;gap:.55rem;font-size:.95rem;font-weight:600;text-decoration:none;transition:color .2s;display:inline-flex}.ModelTheoryPageClient-module__1tsg6W__repoLink:hover{color:var(--c-accent)}.ModelTheoryPageClient-module__1tsg6W__repoName{border-bottom:1px solid color-mix(in srgb, var(--c-accent) 55%, transparent);padding-bottom:2px;transition:border-color .2s}.ModelTheoryPageClient-module__1tsg6W__repoLink:hover .ModelTheoryPageClient-module__1tsg6W__repoName{border-color:var(--c-accent)}.ModelTheoryPageClient-module__1tsg6W__repoIcon{flex:none;width:1.1rem;height:1.1rem}.ModelTheoryPageClient-module__1tsg6W__ctaCenter{text-align:center}.ModelTheoryPageClient-module__1tsg6W__ctaTitle{letter-spacing:-.02em;color:var(--foreground);font-size:clamp(1.7rem,3.2vw,2.4rem);font-weight:800}.ModelTheoryPageClient-module__1tsg6W__ctaDesc{margin-top:1rem;max-width:40rem;color:var(--muted);margin-inline:auto;font-size:1.1rem;line-height:1.65}.ModelTheoryPageClient-module__1tsg6W__ctaActions{margin-top:2rem}