:root{color-scheme:light;--background: #f9f6f2;--foreground: #1a1715;--card: #ffffff;--card-foreground: #1a1715;--popover: #ffffff;--popover-foreground: #1a1715;--primary: #1a1715;--primary-foreground: #f9f6f2;--secondary: #f0ebe4;--secondary-foreground: #1a1715;--muted: #f0ebe4;--muted-foreground: #6f675e;--accent: #f0ebe4;--accent-foreground: #1a1715;--accent-primary: oklch(.52 .14 155);--accent-secondary: oklch(.55 .12 145);--accent-tertiary: oklch(.55 .15 30);--success: oklch(.52 .14 150);--danger: oklch(.55 .22 25);--warning: oklch(.55 .13 80);--border: #ddd5cb;--input: #ddd5cb;--ring: #1a1715;--code-bg: #f4efe8;--code-border: #ddd5cb;--code-file-text: #9a9088;--tk-keyword: oklch(.46 .12 15);--tk-string: #2e7d57;--tk-type: #9a5318;--tk-function: oklch(.45 .14 155);--tk-comment: #9a9088;--tk-property: #b23b08;--tk-plain: #3d3730;--shadow-control: 0 1px 1px rgb(26 23 21 / 4%);--shadow-popover: 0 8px 24px rgb(26 23 21 / 8%), 0 2px 6px rgb(26 23 21 / 6%);--code-background: var(--code-bg);--code-foreground: var(--tk-plain);--technical-foreground: var(--code-file-text);--explorer-background: color-mix(in oklch, var(--code-background) 82%, var(--background));--explorer-folder: var(--tk-function);--execution: var(--accent-primary);--execution-foreground: #ffffff;--execution-subtle: color-mix(in oklch, var(--execution) 14%, transparent);--execution-active-subtle: color-mix(in oklch, var(--execution) 22%, transparent);--focus-ring: var(--ring);--tap-highlight: color-mix(in oklch, var(--execution) 22%, transparent);--syntax-comment: var(--tk-comment);--syntax-keyword: var(--tk-keyword);--syntax-string: var(--tk-string);--syntax-callable: var(--tk-function);--syntax-variable: var(--tk-plain);--syntax-property: var(--tk-property);--syntax-type: var(--tk-type);--tooltip-shadow: var(--shadow-popover);--type-display: clamp(3.6rem, 6.2vw, 6rem);--type-page-title: clamp(2.75rem, 6vw, 5.25rem);--type-section-title: clamp(2.5rem, 3.5vw, 3.5rem);--type-section-leading: 1.05;--type-process-title: clamp(1.4rem, 2vw, 2rem);--type-body: clamp(1.05rem, 1.35vw, 1.26rem);--type-code: clamp(.78rem, .82vw, .875rem);--type-explorer: .75rem;--type-proof-title: clamp(.95rem, 1vw, 1.1rem);--type-proof-subtitle: .8125rem;--type-feature-title: clamp(1rem, 1.15vw, 1.25rem);--type-feature-subtitle: .875rem;--type-compact: .8125rem;--type-tooltip: .875rem;--weight-regular: 400;--weight-medium: 500;--weight-semibold: 600;--weight-feature: 680;--weight-display: 710;--header-height: 3.5rem;--hero-max-width: 96rem;--hero-max-height: 64rem;--hero-proof-width: min(58%, 72rem);--hero-message-max-width: 36rem;--hero-message-gutter: clamp(2.5rem, 4vw, 4rem);--hero-title-gap: 1.75rem;--proof-row-gap: clamp(1.125rem, 2vh, 1.5rem);--proof-step-gap: clamp(.75rem, 1.5vw, 1.25rem);--proof-block-padding: clamp(1.125rem, 1.6vw, 1.5rem);--proof-code-leading: 1.48;--proof-code-line-height: 1.48em;--motion-fast: .16s;--motion-explorer: .44s;--motion-diff-reveal: .32s;--motion-diff-offset: .34s;--motion-code-travel: .56s;--motion-product-tour: .36s;--motion-product-tour-fade: .24s;--motion-product-tour-exit: .2s;--motion-sandbox-terminate: 1.2s;--motion-sandbox-restore: .8s;--motion-sandbox-cycle: 2.2s;--ease-out: cubic-bezier(.16, 1, .3, 1)}.dark{color-scheme:dark;--background: #1a1715;--foreground: #f0ebe4;--card: #252019;--card-foreground: #f0ebe4;--popover: #252019;--popover-foreground: #f0ebe4;--primary: #f0ebe4;--primary-foreground: #1a1715;--secondary: #2a241d;--secondary-foreground: #f0ebe4;--muted: #2a241d;--muted-foreground: #9a9088;--accent: #2a241d;--accent-foreground: #f0ebe4;--accent-primary: oklch(.65 .16 155);--accent-secondary: oklch(.65 .12 145);--accent-tertiary: oklch(.65 .15 30);--success: oklch(.82 .18 150);--danger: oklch(.75 .2 25);--warning: oklch(.88 .18 90);--border: #3d3730;--input: #3d3730;--ring: #f0ebe4;--code-bg: #211d17;--code-border: #3d3730;--code-file-text: #7a7268;--tk-keyword: oklch(.78 .13 15);--tk-string: #6ee7b7;--tk-type: #fbbf24;--tk-function: oklch(.72 .16 155);--tk-comment: #7a7268;--tk-property: #fb923c;--tk-plain: #d4cbc0;--shadow-control: 0 1px 1px oklch(0 0 0 / 18%);--shadow-popover: 0 10px 30px oklch(0 0 0 / 32%), 0 2px 8px oklch(0 0 0 / 22%)}@media(min-width:961px){:root{--type-display: clamp(3.75rem, 5.85vw, 5.625rem)}}@media(min-width:961px)and (max-height:1000px){:root{--hero-title-gap: 1.5rem;--proof-row-gap: 1rem;--proof-block-padding: 1.125rem;--type-code: .8rem}}@media(max-width:640px){:root{--type-display: clamp(3.2rem, 15vw, 4.6rem);--type-section-title: clamp(2.5rem, 11vw, 3rem);--type-code: .8125rem}}