@import url('https://fonts.googleapis.com/css2?family=DM+Mono:wght@400;500&family=Manrope:wght@400;500;600;700&family=Noto+Serif+SC:wght@500;600&display=swap');

:root{
  --ink:#202825;--ink-soft:#35413c;--muted:#6f7a75;--paper:#edece7;--paper-deep:#e4e3dc;
  --card:rgba(249,248,244,.88);--white:#fbfaf7;--line:rgba(53,65,60,.15);--line-strong:rgba(53,65,60,.25);
  --sage:#82968c;--sage-dark:#5f776c;--sage-pale:#d5ddd8;--blue:#8194a0;--dust:#a8948a;
  --red:#a36159;--amber:#a48756;--shadow:0 24px 70px rgba(39,49,44,.08);--mono:"DM Mono",ui-monospace,monospace;
}
*{box-sizing:border-box}html{scroll-behavior:smooth}body{margin:0;background:var(--paper);color:var(--ink);font:14px/1.65 Manrope,"PingFang SC",sans-serif;-webkit-font-smoothing:antialiased;overflow-x:hidden}
body:before{content:"";position:fixed;inset:0;z-index:-2;pointer-events:none;opacity:.33;background-image:radial-gradient(rgba(55,70,63,.18) .55px,transparent .65px);background-size:7px 7px}
.ambient{position:fixed;z-index:-1;border-radius:50%;filter:blur(2px);pointer-events:none}.ambient-one{width:520px;height:520px;right:-160px;top:-180px;background:radial-gradient(circle,rgba(174,191,181,.34),transparent 68%)}.ambient-two{width:480px;height:480px;left:-220px;top:520px;background:radial-gradient(circle,rgba(167,177,183,.22),transparent 70%)}
main{width:min(1220px,calc(100% - 64px));margin:auto}.topbar{height:94px;display:flex;align-items:center;justify-content:space-between;border-bottom:1px solid var(--line)}
.brand{display:flex;align-items:center;gap:13px;color:inherit;text-decoration:none}.mark{position:relative;width:43px;height:43px;display:grid;place-items:center;border:1px solid var(--line-strong);border-radius:12px;background:rgba(248,247,242,.65);overflow:hidden}.mark b{position:relative;font:600 20px/1 Georgia,serif}.mark i{position:absolute;width:4px;height:4px;border-radius:50%;background:var(--sage)}.mark i:nth-child(1){top:8px;left:9px}.mark i:nth-child(2){top:11px;right:8px}.mark i:nth-child(3){bottom:7px;left:18px}.mark:after{content:"";position:absolute;width:28px;height:1px;background:var(--line-strong);transform:rotate(-48deg)}
.brand-copy{display:flex;flex-direction:column}.brand-copy strong{font:600 18px/1.1 Georgia,serif;letter-spacing:.01em}.brand-copy small{margin-top:5px;color:var(--muted);font:500 8px/1 var(--mono);letter-spacing:.19em}.topbar-meta{display:flex;align-items:center;gap:22px}.kernel-note{color:var(--muted);font:500 9px var(--mono);letter-spacing:.13em}
.status{display:flex;align-items:center;gap:9px;padding:8px 13px;border:1px solid var(--line);border-radius:99px;background:rgba(249,248,244,.62);font-size:11px}.status>i{width:6px;height:6px;border-radius:50%;background:#999}.status.busy>i{background:var(--amber);box-shadow:0 0 0 4px rgba(164,135,86,.15);animation:pulse 1.6s infinite}.status.good>i{background:var(--sage-dark);box-shadow:0 0 0 4px rgba(95,119,108,.13)}.status.bad>i{background:var(--red)}
.hero{min-height:570px;display:grid;grid-template-columns:1.15fr .85fr;align-items:center;gap:30px;padding:62px 0 58px}.hero-copy{padding-bottom:16px}.eyebrow{display:flex;align-items:center;gap:12px;color:var(--sage-dark);font:500 9px/1.4 var(--mono);letter-spacing:.16em}.eyebrow i{width:28px;height:1px;background:var(--sage)}
.hero h1{margin:20px 0 22px;font:500 clamp(43px,5.4vw,70px)/1.15 "Noto Serif SC",serif;letter-spacing:-.045em}.hero h1 em{color:var(--sage-dark);font-style:normal}.hero-copy>p{max-width:660px;margin:0;color:var(--muted);font-size:16px;line-height:1.9}.trust-row{display:flex;gap:32px;margin-top:34px;color:var(--ink-soft);font-size:11px}.trust-row span{display:flex;align-items:center;gap:8px}.trust-row i{color:var(--sage);font:500 9px var(--mono);font-style:normal}
.hero-visual{display:grid;place-items:center}.geometry-stage{position:relative;width:min(100%,440px);aspect-ratio:1.08;border:1px solid var(--line);border-radius:50%;background:radial-gradient(circle at 50% 48%,rgba(250,249,245,.8),rgba(224,226,219,.35) 55%,transparent 70%)}.geometry-stage:before,.geometry-stage:after{content:"";position:absolute;border-radius:50%;border:1px solid var(--line)}.geometry-stage:before{inset:28px}.geometry-stage:after{inset:65px;border-style:dashed}.geometry-stage svg{position:absolute;inset:13%;width:74%;height:74%;overflow:visible}.geometry-stage path{fill:none;stroke:url(#lineGlow);stroke-width:1.4}.geometry-stage path.thin{stroke-width:.6;stroke-dasharray:4 4}.geometry-stage circle{fill:var(--white);stroke:var(--sage-dark);stroke-width:1.4}.geometry-stage text{fill:var(--muted);font:10px var(--mono)}.orbit{position:absolute;z-index:2;width:8px;height:8px;border:2px solid var(--paper);border-radius:50%;background:var(--blue);box-shadow:0 0 0 1px var(--blue)}.orbit-a{top:16%;right:19%}.orbit-b{bottom:20%;left:10%}.proof-chip{position:absolute;right:-4px;bottom:50px;padding:10px 14px;border:1px solid var(--line);border-radius:8px;background:rgba(248,247,243,.9);box-shadow:0 12px 35px rgba(39,49,44,.12);font:500 10px var(--mono);letter-spacing:.03em}.proof-chip i{display:inline-grid;place-items:center;width:17px;height:17px;margin-right:7px;border-radius:50%;background:var(--sage-dark);color:white;font-style:normal}
.composer-wrap{padding:45px 0 76px;border-top:1px solid var(--line)}.section-label{display:flex;align-items:center;gap:13px;margin-bottom:17px}.section-label>span{display:grid;place-items:center;width:31px;height:31px;border:1px solid var(--line-strong);border-radius:50%;color:var(--sage-dark);font:500 9px var(--mono)}.section-label div{display:flex;flex-direction:column}.section-label strong{font-size:13px;font-weight:600}.section-label small{color:var(--muted);font:400 9px var(--mono);letter-spacing:.08em;text-transform:uppercase}
.card{background:var(--card);border:1px solid var(--line);border-radius:14px;box-shadow:0 10px 40px rgba(39,49,44,.035);backdrop-filter:blur(12px)}.input-card{padding:9px 24px 18px;box-shadow:var(--shadow)}textarea{width:100%;resize:vertical;border:0;outline:0;background:transparent;color:var(--ink)}.input-card textarea{min-height:150px;padding:23px 2px 15px;font:400 17px/1.85 Manrope,"PingFang SC",sans-serif}.input-card textarea::placeholder{color:#929b96}
.actions{display:flex;align-items:center;justify-content:space-between;border-top:1px solid var(--line);padding-top:16px}.hint{display:flex;align-items:center;gap:8px;color:var(--muted);font-size:10px}.hint i{width:5px;height:5px;border-radius:50%;background:var(--sage)}button{border:0;border-radius:8px;background:var(--ink);color:white;padding:12px 17px;font:600 12px Manrope,sans-serif;cursor:pointer;transition:transform .2s,background .2s,box-shadow .2s}button span+ b,button> b{margin-left:16px;color:#c9d8d0;font-size:14px}button:hover{background:#34413b;box-shadow:0 8px 24px rgba(32,40,37,.18);transform:translateY(-1px)}button:disabled{cursor:not-allowed;opacity:.35;transform:none;box-shadow:none}
.workspace{padding:10px 0 80px}.hidden{display:none!important}.workflow-head{display:flex;align-items:center;justify-content:space-between;margin-bottom:17px}.workflow-head .section-label{margin:0}.step-line{display:flex;align-items:center;color:#9aa19e;font:500 9px var(--mono);letter-spacing:.08em;text-transform:uppercase}.step-line span{display:flex;align-items:center;gap:6px}.step-line span i{display:grid;place-items:center;width:19px;height:19px;border:1px solid var(--line);border-radius:50%;font-style:normal}.step-line>b{width:44px;height:1px;margin:0 9px;background:var(--line-strong)}.step-line .active{color:var(--sage-dark)}.step-line .active i{border-color:var(--sage);background:var(--sage-pale)}
.grid{display:grid;grid-template-columns:1fr 1fr;gap:14px}.card-head{height:56px;display:flex;align-items:center;justify-content:space-between;padding:0 19px;border-bottom:1px solid var(--line)}.card-head>div{display:flex;align-items:center;gap:9px}.card-head label{font:500 10px var(--mono);letter-spacing:.04em;text-transform:uppercase}.file-dot{width:7px;height:7px;border-radius:50%;background:var(--sage)}.file-dot.verified{background:var(--blue)}.file-dot.running{background:var(--amber)}.card-head em{font-style:normal;color:var(--sage-dark);font-size:9px;padding:3px 8px;border:1px solid rgba(95,119,108,.19);border-radius:99px;background:rgba(213,221,216,.55)}.card-head em.readonly{color:var(--muted);border-color:var(--line);background:rgba(230,229,223,.6)}
.editor-card textarea{min-height:420px;padding:21px;font:12px/1.75 var(--mono)}.editor-card .actions{margin:0 19px;padding:15px 0 18px}.secondary{color:var(--ink);background:var(--paper-deep)}.secondary:hover{background:#d8d9d2;box-shadow:none}.lean-card{overflow:hidden}pre{margin:0;overflow:auto;background:#202825;color:#dce4df;font:11px/1.72 var(--mono)}#lean{height:420px;padding:21px}.check{padding:15px 20px;border-top:1px solid var(--line);font-size:10px}.check.neutral{color:var(--muted)}.check.good{color:var(--sage-dark);background:rgba(213,221,216,.45)}.check.bad{color:var(--red);background:rgba(234,216,211,.5)}.errors{margin-top:14px;padding:14px 17px;color:var(--red);background:#f4e7e3;border:1px solid rgba(163,97,89,.2);border-radius:8px;white-space:pre-wrap}
.confirm{margin-top:14px;padding:25px;display:grid;grid-template-columns:auto 1fr auto;align-items:center;gap:20px}.checkpoint-icon{display:grid;place-items:center;width:48px;height:48px;border:1px solid var(--line);border-radius:50%;background:var(--sage-pale)}.checkpoint-icon span{display:grid;place-items:center;width:28px;height:28px;border-radius:50%;background:var(--sage-dark);color:white}.confirm .eyebrow{font-size:8px}.confirm h2{margin:5px 0 2px;font:500 20px "Noto Serif SC",serif}.confirm p{margin:0;color:var(--muted);font-size:11px}.proof-card{margin-top:14px;overflow:hidden}.checks{display:grid;grid-template-columns:repeat(4,1fr);gap:1px;padding:0;background:var(--line)}.checks>div{display:flex;align-items:center;gap:11px;padding:19px;background:var(--card);color:var(--muted);font-size:11px}.checks>div>i{width:10px;height:10px;border:2px solid #b9bfbc;border-radius:50%}.checks>div>i.good{border-color:var(--sage-dark);background:var(--sage-dark)}.checks>div>i.bad{border-color:var(--red);background:var(--red)}.checks span{display:flex;flex-direction:column}.checks small{font:400 7px var(--mono);letter-spacing:.1em;color:#9da5a1}
.proof-tabs{display:flex;gap:3px;padding:0 19px;border-top:1px solid var(--line);border-bottom:1px solid var(--line);overflow:auto}.proof-tab{flex:none;color:var(--muted);background:transparent;padding:13px 11px;border-radius:0;border-bottom:2px solid transparent;font-size:10px}.proof-tab:hover{color:var(--ink);background:transparent;box-shadow:none;transform:none}.proof-tab.active{color:var(--sage-dark);border-bottom-color:var(--sage-dark)}.proof-panel{display:none}.proof-panel.active{display:block}.proof-wait{display:flex;align-items:center;gap:16px;margin:0;padding:25px;color:var(--muted)}.proof-wait strong{color:var(--ink);font-size:13px}.proof-wait p{margin:2px 0 0}.timer-orbit.proof-orbit{flex:0 0 auto;width:42px;height:42px}.proof-orbit span{font-size:10px}.proof-facts{display:grid;grid-template-columns:repeat(4,1fr);gap:1px;background:var(--line)}.proof-facts div{padding:18px 21px;background:var(--card)}.proof-facts span{display:block;color:var(--muted);font:400 8px var(--mono);letter-spacing:.08em;text-transform:uppercase}.proof-facts strong{display:block;margin-top:4px;font-size:14px}.proof-explanation{padding:20px 21px 24px}.proof-explanation h4{margin:8px 0 4px;font:500 9px var(--mono);text-transform:uppercase;letter-spacing:.08em}.proof-explanation p{margin:0 0 14px;color:var(--muted)}.bad-text{color:var(--red)!important}.panel-tools{display:flex;align-items:center;justify-content:space-between;padding:9px 15px;color:var(--muted);font:400 9px var(--mono);background:var(--paper-deep)}.copy-proof{padding:6px 10px;font-size:9px}.proof-panel pre{max-height:560px;padding:18px 21px;white-space:pre}
.proof-live{display:grid;grid-template-columns:auto 1fr auto;align-items:center;gap:14px;padding:14px 19px;border-top:1px solid var(--line);background:linear-gradient(90deg,rgba(213,221,216,.5),rgba(249,248,244,.7))}.proof-live>div:nth-child(2){display:flex;flex-direction:column}.proof-live strong{font-size:12px}.proof-live small{color:var(--muted);font-size:9px}.proof-live time{color:var(--sage-dark);font:600 20px var(--mono);letter-spacing:.06em}.prover-motion{position:relative;display:grid;place-items:center;width:46px;height:46px;border:1px solid var(--line-strong);border-radius:50%;background:rgba(249,248,244,.72)}.prover-motion:before,.prover-motion:after{content:"";position:absolute;border-radius:50%}.prover-motion:before{inset:3px;border:2px dashed var(--sage);animation:timer-spin 2.4s linear infinite}.prover-motion:after{inset:9px;border:1px solid transparent;border-top-color:var(--blue);border-bottom-color:var(--blue);animation:timer-spin .75s linear infinite reverse}.prover-motion i,.prover-motion b{position:absolute;width:5px;height:5px;border-radius:50%;background:var(--blue);animation:pulse 1.2s ease-in-out infinite}.prover-motion i{top:-2px}.prover-motion b{right:2px;bottom:3px;animation-delay:.4s}.prover-motion span{font:600 10px Georgia,serif}.proof-live.done{display:none}
.informal-solution{min-height:150px;padding:28px 30px;color:var(--ink-soft);font:500 16px/2 "Noto Serif SC",serif;white-space:pre-wrap}.informal-solution.generating{color:var(--muted)}.idea-disclaimer{padding:12px 30px;border-top:1px solid var(--line);color:var(--muted);font-size:10px;background:rgba(228,227,220,.35)}
footer{height:120px;display:flex;align-items:center;justify-content:space-between;border-top:1px solid var(--line);color:var(--muted);font-size:10px}footer p{font-family:var(--mono);letter-spacing:.04em}.brand-mini{display:flex;align-items:center;gap:8px;color:var(--ink);font-family:Georgia,serif}.brand-mini span{display:grid;place-items:center;width:25px;height:25px;border:1px solid var(--line-strong);border-radius:7px}
@keyframes pulse{50%{box-shadow:0 0 0 7px rgba(164,135,86,0)}}
@media(max-width:900px){main{width:min(100% - 32px,1220px)}.hero{grid-template-columns:1fr;min-height:auto;padding-top:70px}.hero-visual{display:none}.hero-copy{max-width:760px}.grid{grid-template-columns:1fr}.workflow-head{align-items:flex-start;gap:20px;flex-direction:column}.confirm{grid-template-columns:auto 1fr}.confirm button{grid-column:1/-1;width:100%}.kernel-note{display:none}}
@media(max-width:600px){main{width:min(100% - 22px,1220px)}.topbar{height:76px}.topbar-meta{gap:8px}.hero{padding:52px 0 45px}.hero h1{font-size:37px;line-height:1.25}.hero-copy>p{font-size:14px}.trust-row{gap:15px;flex-wrap:wrap}.composer-wrap{padding:35px 0 58px}.input-card{padding-inline:17px}.input-card textarea{font-size:15px}.actions{align-items:flex-start;gap:13px;flex-direction:column}.actions button{width:100%}.step-line>b{width:18px;margin-inline:5px}.step-line span{font-size:0}.step-line span i{font-size:9px}.editor-card textarea{min-height:330px}#lean{height:330px}.confirm{grid-template-columns:1fr}.checkpoint-icon{display:none}.checks{grid-template-columns:1fr 1fr}.proof-facts{grid-template-columns:1fr 1fr}footer{height:100px}.brand-mini,footer>span{display:none}}
@media(prefers-reduced-motion:reduce){*{scroll-behavior:auto!important;animation:none!important;transition:none!important}}

/* Product landing and documentation */
.main-nav{display:flex;align-items:center;gap:30px}.main-nav a{position:relative;color:var(--muted);font-size:11px;text-decoration:none;transition:color .2s}.main-nav a:hover,.main-nav a.active{color:var(--ink)}.main-nav a:after{content:"";position:absolute;left:0;right:100%;bottom:-8px;height:1px;background:var(--sage-dark);transition:right .2s}.main-nav a:hover:after,.main-nav a.active:after{right:0}
.hero-actions{display:flex;align-items:center;gap:10px;margin-top:27px}.button-link{display:inline-flex;align-items:center;justify-content:center;padding:12px 17px;border-radius:8px;font-size:12px;font-weight:600;text-decoration:none;transition:transform .2s,box-shadow .2s}.button-link b{margin-left:18px}.button-link.primary{color:white;background:var(--ink)}.button-link.primary:hover{transform:translateY(-1px);box-shadow:0 10px 28px rgba(32,40,37,.2)}.button-link.ghost{color:var(--ink);border:1px solid var(--line-strong);background:rgba(249,248,244,.5)}
.signal-strip{display:grid;grid-template-columns:1fr auto 1fr auto 1fr auto 1fr;align-items:center;padding:25px 28px;border:1px solid var(--line);border-radius:14px;background:rgba(249,248,244,.58);box-shadow:var(--shadow)}.signal-strip div{display:flex;flex-direction:column}.signal-strip strong{font:500 10px var(--mono);letter-spacing:.04em}.signal-strip span{margin-top:4px;color:var(--muted);font-size:10px}.signal-strip>i{width:4px;height:4px;margin:0 22px;border-radius:50%;background:var(--sage)}
.pipeline-showcase{display:grid;grid-template-columns:.82fr 1.18fr;gap:70px;align-items:center;padding:120px 0}.showcase-copy h2{margin:16px 0 18px;font:500 37px/1.35 "Noto Serif SC",serif}.showcase-copy p{max-width:440px;margin:0 0 21px;color:var(--muted);line-height:1.9}.showcase-copy>a{color:var(--sage-dark);font-size:11px;font-weight:600;text-decoration:none}.showcase-copy>a b{margin-left:8px}.pipeline-visual{position:relative;display:flex;align-items:center;justify-content:center;gap:10px;min-height:320px;padding:35px;border:1px solid var(--line);border-radius:50%;background:radial-gradient(circle,rgba(249,248,244,.9),rgba(213,221,216,.2) 60%,transparent 72%)}.pipeline-visual:before{content:"";position:absolute;inset:26px;border:1px dashed var(--line-strong);border-radius:50%;animation:spin 35s linear infinite}.pipeline-visual>b{position:relative;color:var(--sage);font-weight:400}.pipeline-node{position:relative;z-index:1;width:145px;padding:18px;border:1px solid var(--line);border-radius:11px;background:rgba(249,248,244,.95);box-shadow:0 12px 30px rgba(39,49,44,.07)}.pipeline-node small,.pipeline-node span{display:block;color:var(--muted);font:400 7px var(--mono);letter-spacing:.08em}.pipeline-node strong{display:block;margin:8px 0 11px;font:600 15px "Noto Serif SC",serif}.pipeline-node.accent{transform:translateY(-35px);border-color:rgba(95,119,108,.35)}.pipeline-node.verified{transform:translateY(24px)}.pipeline-node.verified span{color:var(--sage-dark)}
footer>a{color:var(--muted);text-decoration:none}.docs-version{color:var(--sage-dark);font:500 9px var(--mono);letter-spacing:.08em}.docs-layout{display:grid;grid-template-columns:210px minmax(0,760px);gap:85px;align-items:start}.docs-sidebar{position:sticky;top:30px;display:flex;flex-direction:column;padding:62px 0}.docs-sidebar span{margin:25px 0 8px;color:#9aa19e;font:500 8px var(--mono);letter-spacing:.12em}.docs-sidebar a{padding:6px 0;color:var(--muted);font-size:11px;text-decoration:none}.docs-sidebar a:hover{color:var(--sage-dark)}.docs-content{padding-bottom:80px}.docs-hero{padding:92px 0 75px;border-bottom:1px solid var(--line)}.docs-hero h1{margin:17px 0 20px;font:500 clamp(38px,5vw,59px)/1.25 "Noto Serif SC",serif;letter-spacing:-.035em}.docs-hero h1 em{color:var(--sage-dark);font-style:normal}.docs-hero p{max-width:590px;color:var(--muted);font-size:15px}.docs-content>section{padding:70px 0;border-bottom:1px solid var(--line);scroll-margin-top:20px}.doc-kicker{color:var(--sage-dark);font:500 8px var(--mono);letter-spacing:.14em}.docs-content h2{margin:12px 0 22px;font:500 29px "Noto Serif SC",serif}.docs-content section>p,.docs-content li p{color:var(--muted);line-height:1.9}.docs-content code{font-family:var(--mono)}.docs-content pre{margin:24px 0;padding:22px;border-radius:10px}.doc-steps{list-style:none;padding:0;counter-reset:steps}.doc-steps li{position:relative;padding:0 0 24px 50px}.doc-steps li:before{counter-increment:steps;content:"0" counter(steps);position:absolute;left:0;top:0;color:var(--sage-dark);font:500 10px var(--mono)}.doc-steps li b{font-size:14px}.doc-steps li p{margin:4px 0}.doc-callout{margin-top:25px;padding:19px 22px;border-left:2px solid var(--sage);background:rgba(213,221,216,.38)}.doc-callout p{margin:5px 0 0!important}.result-grid{display:grid;grid-template-columns:1fr 1fr;gap:10px;margin:24px 0}.result-grid div{padding:20px;border:1px solid var(--line);border-radius:10px;background:rgba(249,248,244,.55)}.result-grid p{margin:5px 0 0;color:var(--muted);font-size:11px}.docs-content ul{padding-left:19px;color:var(--muted)}.docs-content li{margin:10px 0}
@keyframes spin{to{transform:rotate(360deg)}}
@media(max-width:900px){.main-nav{gap:16px}.pipeline-showcase{grid-template-columns:1fr;gap:35px;padding:90px 0}.docs-layout{grid-template-columns:1fr}.docs-sidebar{display:none}.docs-content{max-width:760px;margin:auto}}
@media(max-width:600px){.brand-copy small,.topbar-meta{display:none}.main-nav{margin-left:auto;gap:13px}.main-nav a:first-child{display:none}.hero-actions{align-items:stretch;flex-direction:column}.signal-strip{grid-template-columns:1fr 1fr;gap:18px}.signal-strip>i{display:none}.pipeline-visual{min-height:430px;flex-direction:column;border-radius:30px}.pipeline-node.accent,.pipeline-node.verified{transform:none}.pipeline-visual>b{transform:rotate(45deg)}.result-grid{grid-template-columns:1fr}.docs-hero{padding-top:65px}}

/* Harmonized typography scale */
body{font-size:15px;line-height:1.7}.brand-copy strong{font-size:19px}.brand-copy small{font-size:9px}.main-nav a{font-size:13px}.kernel-note{font-size:10px}.status{font-size:12px}
.eyebrow{font-size:10px;letter-spacing:.14em}.hero h1{font-size:clamp(42px,4.8vw,62px);line-height:1.2}.hero-copy>p{font-size:16px;line-height:1.85}.trust-row{font-size:12px}.trust-row i{font-size:10px}.button-link{font-size:13px}
.signal-strip strong{font-size:11px}.signal-strip span{font-size:12px}.section-label strong{font-size:14px}.section-label small{font-size:10px}.section-label>span{font-size:10px}
.showcase-copy h2{font-size:35px;line-height:1.4}.showcase-copy p{font-size:15px}.showcase-copy>a{font-size:12px}.pipeline-node small,.pipeline-node span{font-size:9px}.pipeline-node strong{font-size:16px}
.hint{font-size:11px}button{font-size:13px}.card-head label{font-size:11px}.card-head em{font-size:10px}.editor-card textarea{font-size:13px;line-height:1.8}pre{font-size:12px;line-height:1.75}.check{font-size:11px}.confirm .eyebrow{font-size:9px}.confirm h2{font-size:21px}.confirm p{font-size:12px}.checks>div{font-size:12px}.checks small{font-size:8px}.proof-tab{font-size:11px}.proof-facts span{font-size:9px}.proof-explanation h4{font-size:10px}.panel-tools{font-size:10px}.copy-proof{font-size:10px}
.hint kbd{display:inline-block;margin:0 2px;padding:1px 5px;border:1px solid var(--line-strong);border-bottom-width:2px;border-radius:4px;color:var(--ink-soft);background:var(--paper-deep);font:500 9px var(--mono);line-height:1.35}
.model-picker{display:flex;align-items:center;justify-content:space-between;gap:20px;margin:0 -24px;padding:14px 24px;border-bottom:1px solid var(--line);background:rgba(239,240,234,.45);border-radius:14px 14px 0 0}.model-picker label{display:flex;flex-direction:column}.model-picker label span{font-size:12px;font-weight:600}.model-picker label small{color:var(--muted);font-size:9px}.select-wrap{position:relative;min-width:220px}.select-wrap select{width:100%;appearance:none;border:1px solid var(--line-strong);border-radius:8px;padding:10px 34px 10px 12px;outline:0;background:var(--card);color:var(--ink);font:600 11px Manrope,"PingFang SC",sans-serif;cursor:pointer}.select-wrap select:focus{border-color:var(--sage-dark);box-shadow:0 0 0 3px rgba(112,135,122,.12)}.select-wrap select:disabled{cursor:wait;opacity:.65}.select-wrap>i{position:absolute;right:12px;top:50%;transform:translateY(-53%);pointer-events:none;color:var(--muted);font-style:normal}
@media(max-width:600px){.model-picker{align-items:stretch;flex-direction:column;margin-inline:-17px;padding-inline:17px;gap:10px}.select-wrap{min-width:0}}
.docs-version{font-size:10px}.docs-sidebar span{font-size:9px}.docs-sidebar a{font-size:12px}.docs-hero h1{font-size:clamp(39px,4.5vw,55px);line-height:1.3}.docs-hero p{font-size:16px;line-height:1.85}.doc-kicker{font-size:9px}.docs-content h2{font-size:28px}.docs-content section>p,.docs-content li p{font-size:15px}.result-grid p{font-size:13px}.docs-content footer,footer{font-size:11px}
@media(max-width:600px){body{font-size:14px}.main-nav a{font-size:12px}.hero h1{font-size:36px}.hero-copy>p{font-size:15px}.showcase-copy h2{font-size:30px}.signal-strip span{font-size:11px}.docs-hero h1{font-size:35px}.docs-content h2{font-size:25px}}
.landing-cta{margin:5px 0 85px;padding:72px 30px;text-align:center;border:1px solid var(--line);border-radius:18px;background:radial-gradient(circle at 50% 0,rgba(213,221,216,.8),rgba(249,248,244,.72) 55%,rgba(249,248,244,.35))}.landing-cta .eyebrow{justify-content:center}.landing-cta h2{margin:14px 0 10px;font:500 35px/1.4 "Noto Serif SC",serif}.landing-cta p{margin:0 auto 24px;color:var(--muted)}
.app-intro{display:flex;align-items:end;justify-content:space-between;padding:65px 0 25px}.app-intro h1{margin:10px 0 7px;font:500 42px "Noto Serif SC",serif}.app-intro p{margin:0;color:var(--muted)}.app-body .composer-wrap{padding-top:25px}
.work-timer{display:grid;grid-template-columns:auto 1fr auto;align-items:center;gap:18px;margin:0 0 18px;padding:18px 22px;border:1px solid rgba(95,119,108,.25);border-radius:13px;background:rgba(213,221,216,.4);box-shadow:0 12px 35px rgba(39,49,44,.05)}.timer-orbit{position:relative;display:grid;place-items:center;width:48px;height:48px;border:1px solid var(--line-strong);border-radius:50%}.timer-orbit:before,.timer-orbit:after{content:"";position:absolute;border-radius:50%;border:1px solid transparent}.timer-orbit:before{inset:3px;border-top-color:var(--sage-dark);border-right-color:var(--sage-dark);animation:timer-spin 1.25s linear infinite}.timer-orbit:after{inset:9px;border-bottom-color:var(--blue);animation:timer-spin .85s linear infinite reverse}.timer-orbit i,.timer-orbit b{position:absolute;width:5px;height:5px;border-radius:50%;background:var(--sage-dark)}.timer-orbit i{top:1px}.timer-orbit b{right:6px;bottom:5px;background:var(--blue)}.timer-orbit span{font:600 11px Georgia,serif}.work-timer>div:nth-child(2){display:flex;flex-direction:column}.work-timer strong{font-size:13px}.work-timer p{margin:2px 0 0;color:var(--muted);font-size:11px}.work-timer time{font:500 20px var(--mono);letter-spacing:.05em;color:var(--sage-dark)}@keyframes timer-spin{to{transform:rotate(360deg)}}
.usage-pill{display:flex;align-items:baseline;gap:7px;padding:7px 11px;border:1px solid var(--line);border-radius:9px;background:rgba(249,248,244,.62)}.usage-pill small{color:var(--muted);font-size:9px}.usage-pill strong{color:var(--sage-dark);font:500 11px var(--mono)}
.history-toggle{position:fixed;z-index:31;left:0;top:132px;display:flex;align-items:center;gap:8px;padding:11px 12px 11px 10px;border:1px solid var(--line-strong);border-left:0;border-radius:0 10px 10px 0;color:var(--ink);background:rgba(249,248,244,.94);box-shadow:0 9px 28px rgba(39,49,44,.1);writing-mode:vertical-rl}.history-toggle:hover{background:var(--card)}.history-toggle span{color:var(--sage-dark);font-size:17px}.history-toggle b{font-size:11px;letter-spacing:.08em}.history-toggle i{display:grid;place-items:center;width:20px;height:20px;border-radius:50%;color:white;background:var(--sage-dark);font:500 9px var(--mono);font-style:normal}.history-drawer{position:fixed;z-index:40;inset:0 auto 0 0;width:min(360px,88vw);display:flex;flex-direction:column;background:var(--paper);border-right:1px solid var(--line-strong);box-shadow:18px 0 60px rgba(32,40,37,.16);transform:translateX(-102%);transition:transform .25s ease}.history-drawer.open{transform:translateX(0)}.history-backdrop{position:fixed;z-index:39;inset:0;background:rgba(32,40,37,.18);backdrop-filter:blur(2px)}.history-head{display:flex;align-items:center;justify-content:space-between;padding:22px 19px;border-bottom:1px solid var(--line)}.history-head>div{display:flex;align-items:center;gap:11px}.history-head>div>div{display:flex;flex-direction:column}.history-head strong{font-size:12px}.history-head small{margin-top:1px;color:var(--muted);font-size:9px}.history-mark{display:grid;place-items:center;width:30px;height:30px;border:1px solid var(--line-strong);border-radius:9px;color:var(--sage-dark);font:500 16px var(--mono);background:var(--sage-pale)}.history-close{display:grid;place-items:center;width:31px;height:31px;padding:0;color:var(--muted);background:transparent;font-size:20px}.history-close:hover{color:var(--ink);background:var(--paper-deep);box-shadow:none;transform:none}.history-clear{margin:12px 15px;padding:9px;color:var(--muted);background:transparent;border:1px solid var(--line);font-size:10px}.history-clear:hover{color:var(--red);background:rgba(163,97,89,.08);box-shadow:none;transform:none}.history-list{flex:1;overflow-y:auto;background:var(--line)}.history-item{position:relative;min-width:0;margin-bottom:1px;background:rgba(249,248,244,.98)}.history-open{display:flex;width:100%;min-height:88px;padding:17px 48px 15px 20px;flex-direction:column;align-items:stretch;justify-content:space-between;text-align:left;color:var(--ink);background:transparent;border-radius:0}.history-open:hover{background:rgba(213,221,216,.38);box-shadow:none;transform:none}.history-question{display:-webkit-box;overflow:hidden;font-size:12px;font-weight:500;line-height:1.6;-webkit-line-clamp:2;-webkit-box-orient:vertical}.history-meta{display:flex;align-items:center;gap:9px;margin-top:9px;color:var(--muted);font:400 9px var(--mono)}.history-meta i{padding:2px 6px;border-radius:99px;background:var(--paper-deep);font-style:normal}.history-meta i.good{color:var(--sage-dark);background:var(--sage-pale)}.history-meta i.bad{color:var(--red);background:rgba(234,216,211,.7)}.history-meta i.busy{color:var(--amber);background:rgba(231,220,196,.65)}.history-delete{position:absolute;top:12px;right:12px;display:grid;place-items:center;width:25px;height:25px;padding:0;border-radius:50%;color:#9aa19e;background:transparent;font-size:18px;font-weight:400}.history-delete:hover{color:var(--red);background:rgba(163,97,89,.09);box-shadow:none;transform:none}.geoir-spinner{width:14px;height:14px;border:1px solid var(--line-strong);border-top-color:var(--sage-dark);border-right-color:var(--sage-dark);border-radius:50%;animation:timer-spin .85s linear infinite}
@media(max-width:600px){.landing-cta{padding:50px 20px}.landing-cta h2{font-size:28px}.app-intro{align-items:flex-start;flex-direction:column;gap:18px}.app-intro h1{font-size:34px}.work-timer{grid-template-columns:auto 1fr}.work-timer time{grid-column:2}.usage-pill small{display:none}.usage-pill{padding:7px 9px}}
@media(max-width:600px){.history-toggle{top:auto;bottom:18px;left:12px;writing-mode:horizontal-tb;border-left:1px solid var(--line-strong);border-radius:10px;padding:9px 11px}.history-toggle b{letter-spacing:0}.history-head{padding-inline:16px}.history-head small{font-size:8px}.history-open{padding-left:17px}}