*,*:before,*:after{margin:0;padding:0;box-sizing:border-box}html{-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;scroll-behavior:smooth;scroll-padding-top:72px}@media(prefers-reduced-motion:reduce){*,*:before,*:after{animation-duration:.01ms!important;animation-iteration-count:1!important;transition-duration:.01ms!important;scroll-behavior:auto!important}}body{background:var(--bg-primary);color:var(--text-primary);font-family:var(--font-sans);font-size:16px;line-height:1.6}:focus-visible{outline:2px solid var(--text-accent);outline-offset:2px}.skip-to-content{position:absolute;top:-100%;left:16px;z-index:200;padding:12px 24px;background:var(--text-accent);color:var(--bg-primary);font-family:var(--font-mono);font-size:14px;font-weight:600;border-radius:0 0 6px 6px;text-decoration:none;transition:top .15s}.skip-to-content:focus{top:0}:root{--bg-primary: #0a0a0b;--bg-secondary: #141416;--bg-tertiary: #1c1c1f;--bg-code: #0d1117;--text-primary: #e4e4e7;--text-secondary: #a1a1aa;--text-muted: #8b8b95;--text-accent: #22d3ee;--text-keyword: #c084fc;--text-string: #4ade80;--text-comment: #6b7280;--border: #27272a;--border-light: #3f3f46;--btn-primary-bg: #e4e4e7;--btn-primary-text:#0a0a0b;--accent-warm: #d4a846;--accent-warm-hover: #c49a3a;--font-sans: "Inter", -apple-system, BlinkMacSystemFont, "Segoe UI", system-ui, sans-serif;--font-mono: "JetBrains Mono", "SF Mono", "Cascadia Code", "Fira Code", ui-monospace, monospace;--max-w-text: 720px;--max-w-code: 960px;--max-w-page: 1100px;--header-h: 56px;--section-gap: 80px;--radius-sm: 4px;--radius-md: 8px;--radius-full: 100px;--ease-out: cubic-bezier(.25, .1, .25, 1)}h1{font-weight:600;line-height:1.2;letter-spacing:-.02em}h2{font-weight:500;line-height:1.2;letter-spacing:-.02em}h3,h4,h5,h6{font-weight:400;line-height:1.2;letter-spacing:-.02em}a{color:var(--text-accent);text-decoration:none}a:hover{text-decoration:underline}code,pre{font-family:var(--font-mono)}.app-root{min-height:100vh;display:flex;flex-direction:column}.main-content{flex:1;padding-top:var(--header-h);animation:fadeIn .15s ease-in}@keyframes fadeIn{0%{opacity:0}to{opacity:1}}.animate-on-scroll{transition:opacity .6s var(--ease-out),transform .6s var(--ease-out)}.animate-on-scroll.will-animate{opacity:0;transform:translateY(24px)}.animate-on-scroll.visible{opacity:1;transform:translateY(0)}.container{max-width:var(--max-w-page);margin:0 auto;padding:0 24px}.container--narrow{max-width:var(--max-w-text);margin:0 auto;padding:0 24px}.section{padding:var(--section-gap) 24px}.section--sm{padding:80px 24px}.section--alt{background:var(--bg-secondary)}.btn{display:inline-flex;align-items:center;justify-content:center;gap:8px;padding:14px 28px;min-height:44px;font-size:15px;font-family:var(--font-mono);font-weight:500;border:none;border-radius:var(--radius-md);cursor:pointer;transition:opacity .2s var(--ease-out),background .2s var(--ease-out),transform .1s var(--ease-out);text-decoration:none;line-height:1}.btn:hover{text-decoration:none}.btn:active{transform:scale(.97)}.btn--primary{background:var(--accent-warm);color:#0a0a0b;padding:16px 32px;font-size:16px;font-weight:600}.btn--primary:hover{background:var(--accent-warm-hover)}.btn--outline{background:transparent;color:var(--text-primary);border:1px solid var(--border-light)}.btn--outline:hover{background:var(--bg-tertiary)}.btn--ghost{background:transparent;color:var(--text-secondary);padding:8px 16px;min-height:44px}.btn--ghost:hover{color:var(--text-primary)}.site-header{position:fixed;top:0;left:0;right:0;z-index:100;height:var(--header-h);background:#0a0a0bd9;-webkit-backdrop-filter:blur(12px);backdrop-filter:blur(12px);border-bottom:1px solid var(--border)}.header-inner{max-width:var(--max-w-page);margin:0 auto;padding:0 24px;height:100%;display:flex;align-items:center;justify-content:space-between}.header-logo{display:flex;align-items:center;gap:10px;background:none;border:none;cursor:pointer;color:var(--text-primary);font-family:var(--font-mono);font-size:16px;font-weight:600;letter-spacing:.05em}.site-nav{display:flex;align-items:center;gap:4px}.nav-btn{background:none;border:none;color:var(--text-secondary);font-size:14px;font-family:var(--font-sans);padding:10px 14px;min-height:44px;cursor:pointer;border-radius:var(--radius-sm);transition:color .2s var(--ease-out),background .2s var(--ease-out);position:relative}.nav-btn:hover{color:var(--text-primary);background:var(--bg-tertiary)}.nav-btn--active{color:var(--text-primary)}.nav-btn--active:after{content:"";position:absolute;bottom:2px;left:14px;right:14px;height:2px;background:var(--text-accent);border-radius:1px}.header-github{color:var(--text-secondary);font-size:13px;font-family:var(--font-mono);padding:8px 14px;min-height:44px;display:inline-flex;align-items:center;border:1px solid var(--border);border-radius:var(--radius-sm);transition:color .2s var(--ease-out),border-color .2s var(--ease-out)}.header-github:hover{color:var(--text-primary);border-color:var(--border-light);text-decoration:none}.hamburger{display:none;background:none;border:none;color:var(--text-primary);cursor:pointer;padding:10px;min-width:44px;min-height:44px;align-items:center;justify-content:center}.mobile-menu{position:fixed;top:0;right:0;bottom:0;left:0;background:#0a0a0bf7;-webkit-backdrop-filter:blur(20px);backdrop-filter:blur(20px);z-index:200;display:flex;flex-direction:column;padding:80px 32px 32px;gap:8px;opacity:0;transform:translate(100%);transition:opacity .3s var(--ease-out),transform .3s var(--ease-out);pointer-events:none}.mobile-menu.open{opacity:1;transform:translate(0);pointer-events:auto}.mobile-menu button{background:none;border:none;color:var(--text-secondary);font-size:18px;padding:16px 0;min-height:44px;text-align:left;cursor:pointer;border-bottom:1px solid var(--border)}.mobile-menu button:hover{color:var(--text-primary)}.mobile-menu-close{position:absolute;top:16px;right:24px;background:none;border:none;color:var(--text-secondary);font-size:24px;cursor:pointer;min-width:44px;min-height:44px;display:flex;align-items:center;justify-content:center}.code-block{background:#111827;border:1px solid var(--border);border-radius:var(--radius-md);padding:24px;overflow-x:auto;font-family:var(--font-mono);font-size:13px;line-height:1.7;color:var(--text-primary);white-space:pre}.code-panels{display:grid;grid-template-columns:1fr 1fr;gap:2px;background:var(--border);border-radius:8px;overflow:hidden;max-width:var(--max-w-code);margin:0 auto}.code-panel{background:var(--bg-code);padding:24px;overflow-x:auto}.code-panel__label{font-family:var(--font-mono);font-size:11px;color:var(--text-muted);text-transform:uppercase;letter-spacing:.1em;margin-bottom:16px}.code-panel pre{font-family:var(--font-mono);font-size:13px;line-height:1.7;color:var(--text-primary);white-space:pre;margin:0}.syn-kw{color:var(--text-keyword)}.syn-ty{color:var(--text-accent)}.syn-str{color:var(--text-string)}.syn-cm{color:var(--text-comment)}.syn-fn{color:var(--accent-warm)}.terminal-block{background:var(--bg-code);border:1px solid var(--border);border-radius:8px;padding:24px;font-family:var(--font-mono);font-size:13px;line-height:1.8;color:var(--text-secondary);max-width:var(--max-w-text);margin:0 auto}.terminal-block .cmd{color:var(--text-primary)}.terminal-block .prompt{color:var(--text-accent);-webkit-user-select:none;user-select:none}.card{background:var(--bg-secondary);border:1px solid var(--border);border-radius:var(--radius-md);padding:24px}.card--hover{cursor:pointer;transition:border-color .2s var(--ease-out),background .2s var(--ease-out),transform .2s var(--ease-out)}.card--hover:hover{border-color:var(--border-light);background:var(--bg-tertiary);transform:translateY(-2px)}.card--hover:active{transform:scale(.98)}.tabs{display:flex;gap:0;border-bottom:1px solid var(--border);margin-bottom:32px}.tab-btn{background:none;border:none;color:var(--text-muted);font-size:14px;font-family:var(--font-mono);padding:12px 20px;min-height:44px;cursor:pointer;border-bottom:2px solid transparent;transition:color .2s var(--ease-out),border-color .2s var(--ease-out)}.tab-btn:hover{color:var(--text-secondary)}.tab-btn--active{color:var(--text-primary);border-bottom-color:var(--text-accent)}.hero{padding:120px 24px 80px;text-align:center;position:relative}.hero-stats{display:flex;justify-content:center;align-items:center;gap:32px;margin-bottom:48px;padding:24px 32px;background:var(--bg-secondary);border:1px solid var(--border);border-radius:var(--radius-md);max-width:520px;margin-left:auto;margin-right:auto}.hero-stat{display:flex;flex-direction:column;align-items:center;gap:4px}.hero-stat__num{font-family:var(--font-mono);font-size:36px;font-weight:600;color:var(--text-primary);letter-spacing:-.02em;line-height:1}.hero-stat__label{font-family:var(--font-mono);font-size:12px;color:var(--text-muted);text-transform:uppercase;letter-spacing:.06em}.hero-stat-divider{width:1px;height:40px;background:var(--border-light)}.hero-subhead{font-family:var(--font-mono);font-size:18px;color:var(--text-primary);letter-spacing:.02em;margin-bottom:40px;font-weight:500}.hero-subhead span{color:var(--text-accent)}.hero-stat-line{font-family:var(--font-mono);font-size:14px;color:var(--text-secondary);letter-spacing:.02em;margin-bottom:40px}.hero-stat-line span{color:var(--text-primary);font-weight:500}.hero-positioning{font-family:var(--font-mono);font-size:13px;color:var(--text-secondary);letter-spacing:.04em;text-transform:uppercase;margin-bottom:24px;max-width:640px;margin-left:auto;margin-right:auto;line-height:1.6}.hero-positioning strong{color:var(--text-accent);font-weight:600}.hero h1{font-size:clamp(28px,6vw,64px);font-weight:350;letter-spacing:-.03em;margin-bottom:24px;max-width:700px;margin-left:auto;margin-right:auto}.scroll-indicator{display:flex;justify-content:center;margin-top:32px;animation:bounce 2s infinite}.scroll-indicator svg{opacity:.3;transition:opacity .2s}@keyframes bounce{0%,20%,50%,80%,to{transform:translateY(0)}40%{transform:translateY(-8px)}60%{transform:translateY(-4px)}}.hero h1 strong{font-weight:700}.hero-explain{font-size:16px;color:var(--text-secondary);max-width:600px;margin:0 auto 32px;line-height:1.7}.hero-explain em{color:var(--text-primary);font-style:italic}.hero-cta{display:flex;gap:16px;justify-content:center}.act-show{padding:var(--section-gap) 24px}.act-show__label{text-align:center;font-family:var(--font-mono);font-size:12px;color:var(--text-muted);letter-spacing:.1em;text-transform:uppercase;margin-bottom:12px}.act-show__note{text-align:center;font-size:14px;color:var(--text-secondary);margin-top:24px;max-width:var(--max-w-text);margin-left:auto;margin-right:auto}.act-show__lang-note{text-align:center;font-size:15px;color:var(--text-secondary);max-width:var(--max-w-text);margin:0 auto 32px;line-height:1.7;padding:16px 24px;border-left:3px solid var(--text-accent);background:var(--bg-secondary);border-radius:0 6px 6px 0}.act-vibesafe{padding:var(--section-gap) 24px}.act-vibesafe__inner{max-width:var(--max-w-code);margin:0 auto;display:flex;align-items:center;gap:48px}.act-vibesafe__text{flex:1}.act-vibesafe__badge{display:inline-block;font-family:var(--font-mono);font-size:11px;font-weight:600;letter-spacing:.1em;text-transform:uppercase;color:var(--text-muted);border:none;border-radius:0;padding:0;margin-bottom:16px}.act-vibesafe__title{font-size:32px;font-weight:300;margin-bottom:16px;line-height:1.25}.act-vibesafe__title strong{font-weight:600;color:var(--text-accent)}.act-vibesafe__desc{font-size:15px;color:var(--text-secondary);line-height:1.7;margin-bottom:24px}.act-vibesafe__points{list-style:none;display:flex;flex-direction:column;gap:12px}.act-vibesafe__points li{font-family:var(--font-mono);font-size:13px;color:var(--text-secondary);padding-left:20px;position:relative}.act-vibesafe__points li:before{content:"✓";position:absolute;left:0;color:var(--text-string);font-weight:700}.act-vibesafe__visual{flex:0 0 320px;background:var(--bg-code);border:1px solid var(--border);border-radius:8px;padding:24px;font-family:var(--font-mono);font-size:13px;line-height:1.7}.vibesafe-flow__step{display:flex;align-items:baseline;gap:10px;margin-bottom:8px;font-size:14px}.vibesafe-flow__num{color:var(--text-muted);font-size:11px;flex-shrink:0;width:16px;text-align:right}.vibesafe-flow__arrow{display:block;text-align:center;color:var(--text-muted);font-size:16px;margin:12px 0;padding-left:26px}.vibesafe-flow__result{margin-top:12px;padding-top:12px;border-top:1px solid var(--border);color:var(--text-string);font-weight:500}.act-proof{padding:var(--section-gap) 24px;background:var(--bg-secondary)}.act-proof__header{text-align:center;margin-bottom:48px}.act-proof__title{font-size:32px;font-weight:300;margin-bottom:12px}.act-proof__subtitle{font-size:15px;color:var(--text-secondary)}.proof-pillars{display:grid;grid-template-columns:repeat(3,1fr);gap:24px;max-width:var(--max-w-code);margin:48px auto 0}.proof-pillar{text-align:center}.proof-pillar__icon{font-family:var(--font-mono);font-size:11px;font-weight:600;color:var(--text-accent);text-transform:uppercase;letter-spacing:.1em;margin-bottom:12px;padding:4px 10px;border:1px solid var(--text-accent);border-radius:4px;display:inline-block}.proof-pillar__name{font-size:16px;font-weight:500;margin-bottom:8px}.proof-pillar__desc{font-size:13px;color:var(--text-secondary);line-height:1.6}.triple-prover{margin-top:64px;padding:48px 32px;background:var(--bg-secondary);border:1px solid var(--border);border-radius:8px;text-align:center}.triple-prover__title{font-size:22px;font-weight:500;color:var(--text-primary);margin-bottom:12px;font-family:var(--font-mono)}.triple-prover__desc{font-size:14px;color:var(--text-secondary);max-width:560px;margin:0 auto 32px;line-height:1.7}.triple-prover__grid{display:grid;grid-template-columns:repeat(3,1fr);gap:16px;max-width:640px;margin:0 auto 24px}.triple-prover__card{padding:20px 16px;background:var(--bg-tertiary);border:1px solid var(--border);border-radius:6px}.triple-prover__prover{font-size:13px;font-family:var(--font-mono);color:var(--text-accent);margin-bottom:8px}.triple-prover__count{font-size:28px;font-weight:600;font-family:var(--font-mono);color:var(--text-primary);margin-bottom:4px}.triple-prover__role{font-size:11px;color:var(--text-muted);font-family:var(--font-mono)}.triple-prover__note{font-size:13px;color:var(--text-muted);font-family:var(--font-mono)}.act-start{padding:var(--section-gap) 24px}.act-start__header{text-align:center;margin-bottom:48px}.start-cards{display:grid;grid-template-columns:repeat(3,1fr);gap:24px;max-width:var(--max-w-code);margin:0 auto 32px}.start-card__title{font-size:16px;font-weight:500;margin-bottom:8px}.start-card__desc{font-size:13px;color:var(--text-secondary)}.act-start__footer{text-align:center;font-family:var(--font-mono);font-size:13px;color:var(--text-muted)}.kw-grid{display:grid;grid-template-columns:repeat(auto-fill,minmax(240px,1fr));gap:12px}.kw-item{display:flex;align-items:baseline;gap:12px;padding:10px 14px;background:var(--bg-secondary);border:1px solid var(--border);border-radius:var(--radius-sm);font-family:var(--font-mono);font-size:13px}.kw-item:nth-child(2n){background:var(--bg-tertiary)}.kw-item__bm{color:var(--text-keyword);font-weight:500;min-width:80px}.kw-item__en{color:var(--text-muted);font-size:12px}.security-type-card{margin-bottom:20px}.security-type-card h3{font-family:var(--font-mono);font-size:16px;color:var(--text-accent);margin-bottom:8px}.security-type-card p{font-size:14px;color:var(--text-secondary);line-height:1.6}.cli-row{display:flex;gap:16px;align-items:baseline;padding:8px 0;border-bottom:1px solid var(--border);font-size:13px}.cli-row code{color:var(--text-accent);min-width:200px;white-space:nowrap}.cli-row span{color:var(--text-secondary)}.industry-grid{display:grid;grid-template-columns:repeat(2,1fr);gap:24px}.industry-card{padding:24px 24px 24px 28px;background:var(--bg-secondary);border:1px solid var(--border);border-radius:var(--radius-md);border-left:3px solid var(--text-accent);transition:border-color .2s var(--ease-out),background .2s var(--ease-out)}.industry-card:hover{border-left-color:var(--accent-warm);background:var(--bg-tertiary)}.industry-card__icon{font-size:20px;margin-bottom:8px;line-height:1}.industry-card__name{font-size:16px;font-weight:500;margin-bottom:4px}.industry-card__regs{font-family:var(--font-mono);font-size:12px;color:var(--text-accent);margin-bottom:12px}.industry-card__desc{font-size:13px;color:var(--text-secondary);line-height:1.6}.pipeline-step{display:flex;gap:24px;align-items:flex-start;margin-bottom:40px;position:relative}.pipeline-step__num{font-family:var(--font-mono);font-size:14px;color:var(--text-accent);min-width:32px;padding-top:2px;position:relative;z-index:1}.pipeline-step:not(:last-child):before{content:"";position:absolute;left:15px;top:24px;bottom:-20px;width:1px;background:var(--border-light)}.pipeline-step__title{font-size:18px;font-weight:500;margin-bottom:8px}.pipeline-step__desc{font-size:14px;color:var(--text-secondary);line-height:1.7}.domain-row{display:flex;gap:12px;align-items:baseline;padding:8px 0;border-bottom:1px solid var(--border);font-size:13px}.domain-row__id{font-family:var(--font-mono);color:var(--text-accent);min-width:32px}.domain-row__name{color:var(--text-primary);min-width:200px}.domain-row__desc{color:var(--text-secondary)}.site-footer{border-top:1px solid var(--border);padding:48px 24px 32px;background:var(--bg-primary)}.footer-inner{max-width:var(--max-w-page);margin:0 auto;display:grid;grid-template-columns:1.5fr repeat(3,1fr);gap:48px}.footer-brand{display:flex;align-items:center;gap:8px;margin-bottom:12px}.footer-brand__name{font-family:var(--font-mono);font-size:14px;font-weight:600;letter-spacing:.05em}.footer-brand__tagline{font-size:13px;color:var(--text-muted);line-height:1.6}.footer-col__title{font-size:12px;font-family:var(--font-mono);color:var(--text-muted);text-transform:uppercase;letter-spacing:.1em;margin-bottom:16px}.footer-col a,.footer-col button{display:block;background:none;border:none;color:var(--text-secondary);font-size:13px;font-family:var(--font-sans);padding:6px 0;min-height:32px;cursor:pointer;text-align:left;text-decoration:none}.footer-col a:hover,.footer-col button:hover{color:var(--text-primary);text-decoration:none}.footer-bottom{max-width:var(--max-w-page);margin:32px auto 0;padding-top:24px;border-top:1px solid var(--border);display:flex;justify-content:space-between;align-items:center;font-size:12px;color:var(--text-muted);font-family:var(--font-mono)}.footer-status{display:flex;align-items:center;gap:8px}.footer-dot{width:6px;height:6px;background:#4ade80;border-radius:50%;display:inline-block}.playground-container{padding:0 24px 60px;max-width:1100px;margin:0 auto}.playground-toolbar{display:flex;justify-content:space-between;align-items:center;margin-bottom:12px}.playground-split{display:flex;gap:16px;min-height:420px}.playground-editor-wrap{flex:1;display:flex;flex-direction:column;min-width:0}.playground-editor-label{font-size:11px;font-weight:500;margin-bottom:4px;color:var(--text-muted);text-transform:uppercase;letter-spacing:.1em;font-family:var(--font-mono)}.playground-editor-container{flex:1;position:relative;border:1px solid var(--border);border-radius:6px;overflow:hidden;background:var(--bg-code)}.playground-highlight,.playground-textarea{position:absolute;top:0;left:0;width:100%;height:100%;padding:16px;margin:0;border:none;outline:none;white-space:pre;overflow:auto;word-wrap:normal}.playground-highlight{pointer-events:none;color:var(--text-primary);z-index:1}.playground-textarea{background:transparent;color:transparent;caret-color:var(--text-primary);resize:none;z-index:2;-webkit-text-fill-color:transparent}.playground-textarea::selection{background:#ffffff26;-webkit-text-fill-color:transparent}.playground-output-wrap{flex:1;display:flex;flex-direction:column;min-width:0}.playground-tabs{display:flex;gap:0;margin-bottom:4px}.playground-tab{padding:6px 16px;font-size:11px;font-weight:400;font-family:var(--font-mono);background:var(--bg-secondary);color:var(--text-muted);border:1px solid var(--border);cursor:pointer;text-transform:uppercase;letter-spacing:.05em;transition:all .1s}.playground-tab:first-child{border-radius:6px 0 0}.playground-tab:last-child{border-radius:0 6px 0 0}.playground-tab--active{font-weight:600;background:var(--bg-tertiary);color:var(--text-primary);border-bottom-color:var(--bg-tertiary)}.playground-output{flex:1;font-family:var(--font-mono);font-size:13px;line-height:1.5;padding:16px;border:1px solid var(--border);border-radius:0 6px 6px;overflow:auto;background:var(--bg-code);color:var(--text-primary);margin:0;white-space:pre-wrap}.playground-output--error{color:#f87171}.code-callouts{max-width:var(--max-w-code);margin:24px auto 0;display:flex;flex-direction:column;gap:8px}.code-callout{display:flex;align-items:center;gap:12px;font-size:14px;color:var(--text-secondary);padding:10px 16px;background:var(--bg-secondary);border-left:2px solid var(--text-accent);border-radius:0 4px 4px 0}.code-callout__arrow{color:var(--text-accent);font-size:16px;flex-shrink:0}.prover-grid{max-width:640px;margin:0 auto 24px}.prover-row{display:flex;align-items:center;padding:8px 12px;border-bottom:1px solid var(--border);font-size:13px;font-family:var(--font-mono)}.prover-row--primary{background:#22d3ee0f;border-left:3px solid var(--text-accent);padding-left:9px}.prover-row__name{flex:1;color:var(--text-primary)}.prover-row__count{min-width:80px;text-align:right;color:var(--text-secondary)}.prover-row__level{min-width:90px;text-align:center;font-size:11px;padding:2px 8px;border-radius:4px;margin-left:12px}.prover-row__level--mechanized{background:#22d3ee1f;color:var(--text-accent)}.prover-row__level--compiled{background:#4ade801f;color:var(--text-string)}.prover-row__level--generated{background:#a1a1aa1f;color:var(--text-muted)}.section-heading{font-size:32px;font-weight:300;margin-bottom:32px;text-align:center}.why-now-grid{display:grid;grid-template-columns:repeat(3,1fr);gap:24px}.why-now-item{padding:24px;background:var(--bg-secondary);border:1px solid var(--border);border-radius:8px}.why-now-item__title{font-size:16px;font-weight:500;margin-bottom:12px;color:var(--text-primary)}.why-now-item__desc{font-size:14px;color:var(--text-secondary);line-height:1.7}.social-proof-stats{display:flex;justify-content:center;gap:48px;margin-bottom:24px}.social-proof-stats>div{display:flex;flex-direction:column;align-items:center;gap:8px}.social-proof__num{font-family:var(--font-mono);font-size:36px;font-weight:600;color:var(--text-primary)}.social-proof__label{font-size:13px;color:var(--text-secondary);max-width:180px;text-align:center}.enterprise-intro{max-width:var(--max-w-text);margin-bottom:48px;font-size:15px;color:var(--text-secondary);line-height:1.8}.enterprise-intro p{margin-bottom:16px}@media(max-width:960px){.code-panels{grid-template-columns:1fr}}@media(max-width:1024px){.act-vibesafe__inner{gap:32px}.industry-grid{gap:16px}}@media(max-width:768px){.site-nav,.header-github{display:none}.hamburger{display:flex}.hero-stats{gap:20px}.hero-stat__num{font-size:24px}.hero-stat__label{font-size:10px}.hero-stat-divider{height:28px}.hero-positioning{font-size:11px}.hero-explain{font-size:14px}.hero{padding:100px 24px 60px}.proof-pillars,.start-cards,.triple-prover__grid,.why-now-grid{grid-template-columns:1fr}.social-proof-stats{flex-direction:column;gap:24px}.industry-grid{grid-template-columns:1fr}.act-vibesafe__inner{flex-direction:column}.act-vibesafe__visual{flex:none;width:100%}.playground-split{flex-direction:column}.playground-split>*{min-height:280px}.footer-inner{grid-template-columns:1fr 1fr;gap:40px}.section{padding:80px 20px}.kw-grid{grid-template-columns:1fr}.scroll-indicator{display:none}}@media(max-width:480px){.hero-stats{flex-direction:column;gap:16px}.hero-stat-divider{width:40px;height:1px}.hero-positioning{font-size:10px}.hero-stat-line{font-size:12px}.hero-cta{flex-direction:column;align-items:center}.footer-inner{grid-template-columns:1fr;gap:24px}.footer-bottom{flex-direction:column;gap:8px;text-align:center}.code-block{font-size:11px;padding:16px}.pipeline-step{flex-direction:column;gap:8px}.domain-row,.cli-row{flex-direction:column;gap:4px}.start-card__desc{word-break:break-all}}@media print{:root{--bg-primary: #fff;--bg-secondary: #f9f9f9;--bg-tertiary: #f0f0f0;--bg-code: #f5f5f5;--text-primary: #111;--text-secondary: #333;--text-muted: #666;--text-accent: #0891b2;--text-keyword: #7c3aed;--text-string: #16a34a;--border: #ddd;--border-light: #ccc}.site-header,.site-footer,.hamburger,.mobile-menu,.hero-cta,.scroll-indicator,.skip-to-content{display:none!important}.main-content{padding-top:0}body{font-size:12pt;line-height:1.5}a{color:var(--text-accent)}a:after{content:" (" attr(href) ")";font-size:.8em;color:#666}a[href^="#"]:after,a[href^=javascript]:after{content:""}}.claim-levels{margin-top:32px;padding:24px;background:var(--bg-secondary);border:1px solid var(--border);border-radius:var(--radius-md)}.claim-levels__title{font-size:13px;font-family:var(--font-mono);color:var(--text-muted);text-transform:uppercase;letter-spacing:.08em;margin:0 0 16px;font-weight:400}.claim-levels__grid{display:flex;flex-direction:column;gap:12px}.claim-levels__item{display:flex;align-items:baseline;gap:12px}.claim-levels__badge{font-family:var(--font-mono);font-size:12px;padding:2px 8px;border-radius:4px;flex-shrink:0;min-width:90px;text-align:center}.claim-levels__badge--mechanized{background:#22d3ee1f;color:var(--text-accent)}.claim-levels__badge--compiled{background:#4ade801f;color:var(--text-string)}.claim-levels__badge--generated{background:#a1a1aa1f;color:var(--text-muted)}.claim-levels__desc{font-size:14px;color:var(--text-secondary)}.playground-hint{position:absolute;bottom:12px;left:12px;right:12px;padding:8px 12px;background:var(--bg-tertiary);border:1px solid var(--border);border-radius:var(--radius-sm);color:var(--text-muted);font-size:13px;pointer-events:none;animation:fadeIn .3s ease-in}.playground-mobile-notice{display:none;padding:24px;text-align:center;background:var(--bg-secondary);border:1px solid var(--border);border-radius:var(--radius-md);margin:24px}.playground-mobile-notice p{color:var(--text-secondary);font-size:14px;margin-bottom:16px}@media(max-width:640px){.playground-split{display:none}.playground-mobile-notice{display:block}}.code-block-wrapper{position:relative}.copy-btn{position:absolute;top:8px;right:8px;padding:6px 12px;font-family:var(--font-mono);font-size:11px;background:var(--bg-tertiary);color:var(--text-muted);border:1px solid var(--border);border-radius:var(--radius-sm);cursor:pointer;opacity:0;transition:opacity .2s var(--ease-out),color .15s,background .15s;z-index:5}.code-block-wrapper:hover .copy-btn,.copy-btn:focus-visible{opacity:1}.copy-btn:hover{background:var(--bg-secondary);color:var(--text-primary)}.copy-btn--copied{color:var(--text-string)!important;opacity:1!important}.tab-content{animation:tabFadeIn .15s var(--ease-out)}@keyframes tabFadeIn{0%{opacity:0;transform:translateY(4px)}to{opacity:1;transform:translateY(0)}}.badge{display:inline-block;font-family:var(--font-mono);font-size:11px;font-weight:600;letter-spacing:.08em;text-transform:uppercase;padding:3px 10px;border-radius:var(--radius-sm)}.badge--cyan{background:#22d3ee1f;color:var(--text-accent);border:1px solid rgba(34,211,238,.2)}.badge--green{background:#4ade801f;color:var(--text-string);border:1px solid rgba(74,222,128,.2)}.badge--gray{background:#a1a1aa1f;color:var(--text-muted);border:1px solid rgba(161,161,170,.2)}.badge--warm{background:#d4a8461f;color:var(--accent-warm);border:1px solid rgba(212,168,70,.2)}.code-block .shell-comment{color:var(--text-comment)}.code-block .shell-cmd{color:var(--text-primary)}.code-block .shell-prompt{color:var(--text-accent);-webkit-user-select:none;user-select:none}.typewriter{display:inline;border-right:2px solid var(--text-accent);animation:blink-caret .8s step-end infinite}@keyframes blink-caret{0%,to{border-color:transparent}50%{border-color:var(--text-accent)}}.playground-resizer{width:6px;cursor:col-resize;background:var(--border);border-radius:3px;flex-shrink:0;transition:background .15s;position:relative}.playground-resizer:hover,.playground-resizer.active{background:var(--text-accent)}.playground-resizer:after{content:"";position:absolute;top:50%;left:50%;transform:translate(-50%,-50%);width:2px;height:24px;background:var(--text-muted);border-radius:1px;opacity:.5}@media(max-width:1024px){:root{--max-w-page: 960px;--max-w-code: 860px}}@media(min-width:641px)and (max-width:960px){.industry-grid{grid-template-columns:1fr 1fr;gap:16px}.industry-card{padding:20px 20px 20px 24px}}