:root {
  color-scheme: dark;
  --bg: #090f19;
  --surface: #101a28;
  --border: #233247;
  --text: #edf3fc;
  --muted: #97a7bd;
  --blue: #70b8ff;
  --mint: #85d7c5;
  --mono: ui-monospace, SFMono-Regular, Consolas, monospace;
  font-family: Inter, -apple-system, BlinkMacSystemFont, "Segoe UI", "PingFang SC", "Microsoft YaHei", sans-serif;
  scroll-behavior: smooth;
  scroll-padding-top: 102px;
}
* { box-sizing: border-box; }
body { margin: 0; background: var(--bg); color: var(--text); line-height: 1.7; -webkit-font-smoothing: antialiased; }
a { color: inherit; text-decoration: none; }
button { font: inherit; cursor: pointer; }
button, a { -webkit-tap-highlight-color: transparent; }
a:focus-visible, button:focus-visible { outline: 2px solid var(--blue); outline-offset: 5px; }
.wrap { width: min(1184px, calc(100% - 96px)); margin-inline: auto; }
[hidden] { display: none !important; }
.skip { position: fixed; left: 16px; top: -70px; z-index: 30; background: var(--blue); color: var(--bg); padding: 10px 20px; border-radius: 6px; }
.skip:focus { top: 16px; }

/* A quiet header keeps the product navigation and account in one clear row. */
.site-nav { position: sticky; top: 0; z-index: 20; background: #090f19ed; border-bottom: 1px solid #27354a80; backdrop-filter: blur(18px); }
.nav-inner { height: 76px; display: flex; align-items: center; gap: 32px; }
.logo { display: inline-flex; align-items: center; gap: 10px; font-size: 26px; font-weight: 720; letter-spacing: -1.1px; white-space: nowrap; }
.logo svg { color: var(--blue); fill: none; flex: none; }
.logo polygon { stroke: currentColor; stroke-width: 1.5; }
.logo text { fill: currentColor; font: 700 9px monospace; }
.logo-dot { color: var(--blue); }
.desktop-nav { display: flex; align-items: center; gap: 30px; margin-left: auto; color: #9aa9bf; font-size: 13px; }
.desktop-nav a { padding-block: 8px; transition: color .18s; }
.desktop-nav a:hover, .text-link:hover, .footer-bottom a:hover { color: var(--blue); }
.site-nav .header-actions { flex: none; }
.site-nav .account-trigger { line-height: 1.7; }

/* The first screen: a strong typographic anchor, balanced by a semantic map. */
.hero { position: relative; display: grid; grid-template-columns: 1.05fr 1fr; gap: 58px; align-items: center; padding-block: 82px 64px; isolation: isolate; }
.hero-copy { display: flex; flex-direction: column; align-items: flex-start; }
.hero::before { content: ""; position: absolute; z-index: -1; inset: -75px -24px -20px 25%; pointer-events: none; background: radial-gradient(ellipse at 50% 50%, #15375c55, transparent 66%); }
.eyebrow { display: flex; align-items: center; gap: 10px; color: #86b8e6; font: 10px/1.6 var(--mono); letter-spacing: 1.65px; }
.eyebrow-divider { color: #405874; padding-inline: 2px; }
.tiny-mark { display: inline-block; width: 5px; height: 5px; border-radius: 50%; background: var(--mint); flex: none; box-shadow: 0 0 10px #85d7c529; }
.hero h1 { font-size: clamp(38px, 4.05vw, 58px); font-weight: 620; line-height: 1.35; letter-spacing: -2px; margin: 24px 0; white-space: nowrap; }
.hero h1 span { color: var(--blue); }
.hero-intro { font-size: 15px; line-height: 2; color: #a2b1c5; margin: 0; }
.text-link > span, .product-link > span { transition: transform .18s; }
.text-link { display: inline-flex; align-items: center; gap: 13px; color: #c0cddd; font-size: 13px; }
.text-link:hover > span, .product-link:hover > span { transform: translate(2px, -2px); }
.hero-tags { display: flex; align-items: center; gap: 13px; color: #7e93af; font-size: 11px; margin-top: 24px; }
.hero-tags i { width: 3px; height: 3px; border-radius: 50%; background: #405570; }

/* SVG retains crisp text and connectors at every viewport size. */
.architecture { min-width: 0; margin: 0; padding: 20px 22px 18px; border: 1px solid #34485e; border-radius: 16px; background: linear-gradient(145deg, #132034eb, #0c1523f5 72%); box-shadow: 0 24px 65px #00000029, inset 0 1px #ffffff08; }
.diagram-head { display: flex; justify-content: space-between; align-items: center; gap: 12px; font: 9px/1.6 var(--mono); letter-spacing: 1.1px; color: #7e94af; }
.diagram-head > span:first-child { display: flex; align-items: center; gap: 8px; color: #b3c9df; }
.diagram-head > span:last-child { font-size: 10px; line-height: 1.6; letter-spacing: 0; color: #8ca3bd; }
.semantic-map { display: block; width: 100%; height: auto; margin: 11px 0 8px; overflow: visible; }
.semantic-map text { font-family: var(--mono); }
.map-orbit { fill: none; stroke: #4a729c; stroke-opacity: .18; stroke-dasharray: 3 6; }
.map-line { fill: none; stroke: #49779f; stroke-width: 1.3; transition: stroke .24s; }
.map-relation { fill: none; stroke: #42617e; stroke-dasharray: 3 4; }
.relation-label { fill: #758ba5; font-size: 9px; }
.map-entity rect { fill: #132339; stroke: #3b5c7d; transition: stroke .24s, fill .24s; }
.map-entity circle, .map-dot { fill: #76b8e9; }
.map-label { fill: #92aec9; font-size: 8px; letter-spacing: 1px; }
.map-name { fill: #d1e4f6; font-size: 14px; }
.hub-halo { fill: #4b9bea0a; stroke: #457fa74d; stroke-width: 1; transition: fill .24s, stroke .24s; }
.map-hub { stroke: #68a7d7; stroke-width: 1.3; }
.hub-symbol { fill: #9cd4ff; font-size: 32px; }
.hub-label { fill: #a9c2db; font-size: 9px; }
.map-side-label { fill: #526b86; font-size: 7px; letter-spacing: 1.6px; }
.map-output rect { fill: #101d2e; stroke: #2c435c; transition: stroke .24s, fill .24s; }
.map-output text { fill: #9fbfda; font-size: 11px; }
.map-output .output-caption { fill: #91a6bd; font-size: 10px; }
.architecture[data-stage-active=model] .map-model .map-entity rect { stroke: #6caae0; fill: #18314d; }
.architecture[data-stage-active=model] .map-model .map-line { stroke: #75baff; }
.architecture[data-stage-active=infer] .hub-halo { fill: #60b9ff20; stroke: #85caff; }
.architecture[data-stage-active=infer] .map-hub { stroke: #c7e5ff; }
.architecture[data-stage-active=act] .map-act .map-line { stroke: #85d7c5; }
.architecture[data-stage-active=act] .map-output rect { stroke: #6cbaad; fill: #15302f; }
.diagram-controls { display: flex; gap: 6px; padding: 5px; border: 1px solid #273a51; border-radius: 9px; background: #0a1320; }
.diagram-controls button { flex: 1; padding: 8px 2px; border: 1px solid transparent; border-radius: 5px; background: transparent; color: #98a9bd; font-size: 11px; transition: background .18s, color .18s; }
.diagram-controls button span { color: #748ba6; font: 9px var(--mono); margin-right: 5px; }
.diagram-controls button:hover { color: #dcecff; background: #172739; }
.diagram-controls button[aria-pressed=true] { background: #203a55; border-color: #385779; color: #c3e4ff; }
.diagram-controls button[aria-pressed=true] span { color: #90bde6; }
.architecture figcaption { margin: 12px 0 0; min-height: 18px; color: #93a6bf; text-align: center; font-size: 10px; line-height: 1.8; }

/* Three product signatures provide an easy way into the page. */
.product-index { display: grid; grid-template-columns: repeat(3, 1fr); border-block: 1px solid #26354a; }
.product-index > a { display: flex; align-items: center; gap: 19px; min-width: 0; padding: 26px 32px; position: relative; transition: background .18s; }
.product-index > a:first-child { padding-left: 0; }
.product-index > a:last-child { padding-right: 0; }
.product-index > a + a::before { content: ""; position: absolute; left: 0; top: 26px; bottom: 26px; width: 1px; background: #26354a; }
.index-symbol { display: grid; place-items: center; width: 42px; flex: none; color: #85bce7; font: 26px var(--mono); letter-spacing: -2px; }
.product-index a:nth-child(2) .index-symbol { color: #83cdbf; font-size: 33px; }
.product-index a:nth-child(3) .index-symbol { color: #b5a5e2; font-size: 22px; letter-spacing: -1.5px; }
.product-index b { display: block; color: #cbd9eb; font-size: 15px; line-height: 1.4; font-weight: 500; letter-spacing: -.25px; }
.product-index small { display: block; color: #8296b0; font-size: 10px; margin-top: 3px; }
.product-index .index-arrow { margin-left: auto; color: #627f9e; font-size: 16px; transition: color .18s, transform .18s; }
.product-index a:hover b, .product-index a:hover .index-arrow { color: var(--blue); }
.product-index a:hover .index-arrow { transform: translate(2px, -2px); }

/* Product stories alternate emphasis without repeating a wall of cards. */
.products { padding-top: 94px; }
.section-heading { display: flex; justify-content: space-between; align-items: end; gap: 30px; margin-bottom: 12px; }
h2 { font-size: 32px; line-height: 1.5; letter-spacing: -.9px; font-weight: 560; margin: 13px 0 0; }
.section-heading > p { color: #91a2ba; font-size: 12px; line-height: 1.9; margin: 0 0 5px; }
.product-row { display: grid; grid-template-columns: 1fr 1fr; align-items: center; gap: 94px; padding: 56px 0; border-bottom: 1px solid #26354a; scroll-margin-top: 100px; }
.product-number { display: flex; align-items: center; gap: 13px; color: #8197b2; font: 9px/1.6 var(--mono); letter-spacing: 1.5px; }
.product-number b { display: inline-grid; place-items: center; width: 27px; height: 25px; border: 1px solid #334b66; border-radius: 5px; color: #a8c9e8; font-size: 10px; font-weight: 400; letter-spacing: 0; }
.product-copy h3 { font-size: 38px; font-weight: 550; line-height: 1.25; letter-spacing: -1.1px; margin: 17px 0; }
.product-copy h3 span { display: block; color: #d0dcea; font-size: 19px; line-height: 1.6; letter-spacing: 0; font-weight: 450; margin-top: 11px; }
.product-copy p { max-width: 440px; margin: 0; color: #98a9c0; font-size: 13px; line-height: 2; }
.features { display: flex; flex-wrap: wrap; gap: 10px; list-style: none; padding: 0; margin: 22px 0; }
.features li { border: 1px solid #2b3c53; border-radius: 4px; padding: 3px 8px; color: #9db2cb; font-size: 10px; background: #17223560; }
.product-link { display: inline-flex; align-items: center; gap: 22px; color: #8bc6ff; font-size: 12px; }
.product-link:hover { color: #c4e3ff; }
.concept-panel { position: relative; min-width: 0; padding: 25px 28px; border: 1px solid #30445c; border-radius: 13px; background: linear-gradient(140deg, #142137, #0e1826); box-shadow: inset 0 1px #ffffff05; }
.panel-label { display: flex; align-items: center; justify-content: space-between; gap: 10px; color: #829bb7; font: 8px/1.7 var(--mono); letter-spacing: 1.4px; }
.panel-label > span:last-child { color: #8abbe4; font-size: 19px; letter-spacing: -1px; }
.type-equation { display: flex; align-items: center; flex-direction: column; padding: 30px 0 34px; color: #c3d5e8; font: 21px/1.8 var(--mono); }
.type-equation b { color: #5984ad; font-size: 23px; font-weight: 400; margin: 9px 0; }
.type-equation strong { color: #94caff; font-size: 20px; font-weight: 400; }
.syntax-dot { color: var(--mint); }
.panel-bottom { display: flex; justify-content: space-between; align-items: center; gap: 10px; border-top: 1px solid #2a3b51; padding-top: 16px; color: #8ca3be; font-size: 10px; }
#entitir .product-copy { grid-column: 2; grid-row: 1; }
#entitir .concept-panel { grid-column: 1; grid-row: 1; }
.ontology-panel { background: linear-gradient(140deg, #13282b, #0f1c25); border-color: #2c474c; }
.ontology-panel .panel-label > span:last-child { color: #8ed4c4; }
.ontology-panel .panel-bottom { border-color: #2b4249; justify-content: flex-start; }
.state-flow { display: flex; align-items: center; justify-content: space-between; gap: 10px; padding: 46px 0; }
.state-flow div { display: flex; flex-direction: column; gap: 7px; text-align: center; }
.state-flow small { color: #70938f; font: 9px var(--mono); }
.state-flow strong { color: #b0ddcf; font: 15px var(--mono); }
.state-flow span { color: #95b3b0; font-size: 11px; }
.state-flow b { color: #567a77; font-size: 16px; font-weight: 400; }
.code-panel { border-color: #3d3b5a; background: linear-gradient(140deg, #1d2035, #111a28); }
.code-panel .panel-label > span:last-child { color: #b6a3e6; }
.code-panel pre { overflow: auto; color: #c1d0e4; font: 13px/2 var(--mono); margin: 28px 0; }
.code-purple { color: #c7b0f0; }
.code-blue { color: #8ac3f3; }
.code-green { color: var(--mint); }
.inferred-type { display: flex; justify-content: space-between; align-items: center; gap: 10px; border-top: 1px solid #353a54; padding-top: 16px; }
.inferred-type > span { color: #a19dbd; font-size: 10px; }
.inferred-type strong { color: #b5d8c9; font: 12px var(--mono); }
.inferred-type b { color: #696f8e; margin-inline: 5px; font-weight: 400; }

/* One shared section connects our technical approach and company identity. */
.approach { position: relative; margin-top: 82px; border-top: 1px solid #27364c; background: linear-gradient(110deg, #101c2d, #0d1624); }
.approach-inner { display: grid; grid-template-columns: 1fr 1fr; gap: 94px; align-items: center; padding-block: 66px; }
.approach h2 { font-size: 31px; line-height: 1.6; }
.principles { display: flex; flex-wrap: wrap; align-items: center; gap: 20px; margin-top: 24px; color: #9bb4cd; font-size: 11px; }
.principles span { display: flex; align-items: center; gap: 7px; }
.principles i { width: 4px; height: 4px; border: 1px solid #8bb9d6; border-radius: 50%; }
.approach-copy p { color: #a3b2c7; font-size: 13px; line-height: 2.1; margin: 0 0 22px; }
.approach-copy .text-link { color: #8bc6ff; font-size: 12px; }
.approach-links { display: flex; flex-wrap: wrap; align-items: center; gap: 26px; }
.site-footer { border-top: 1px solid #27354a; color: #8b9db6; }
.footer-top { display: flex; align-items: center; gap: 27px; padding-block: 27px; }
.footer-top .logo { color: #dce7f6; font-size: 23px; gap: 0; }
.footer-top p { color: #8295ad; font-size: 11px; margin: 0; }
.footer-bottom { display: flex; align-items: flex-start; justify-content: space-between; gap: 25px; border-top: 1px solid #233044; padding-block: 20px 16px; font-size: 10px; line-height: 1.8; }
.footer-bottom > div, .footer-bottom nav { display: flex; flex-wrap: wrap; gap: 16px; }
.footer-records { display: flex; justify-content: center; align-items: center; flex-wrap: wrap; gap: 8px 20px; padding-bottom: 25px; text-align: center; font-size: 11px; line-height: 1.8; }
.footer-records a:hover { color: var(--blue); text-decoration: underline; text-underline-offset: 3px; }

@media (min-width: 1550px) {
  .hero { padding-block: 96px 76px; }
}
@media (max-width: 1100px) {
  .wrap { width: calc(100% - 64px); }
  .nav-inner { gap: 24px; }
  .desktop-nav { gap: 23px; }
  .hero { gap: 34px; padding-block: 66px 52px; }
  .hero h1 { font-size: clamp(34px, 4.15vw, 45px); letter-spacing: -1.5px; }
  .hero-intro { font-size: 14px; }
  .architecture { padding-inline: 17px; }
  .diagram-head { letter-spacing: .7px; font-size: 8px; }
  .diagram-head > span:last-child { font-size: 9px; }
  .product-index > a { gap: 14px; padding-inline: 24px; }
  .product-row, .approach-inner { gap: 55px; }
  .concept-panel { padding: 23px; }
  .product-copy h3 { font-size: 35px; }
  .product-copy h3 span { font-size: 18px; }
  .approach h2 { font-size: 28px; }
  .footer-bottom { flex-direction: column; gap: 9px; }
}
@media (max-width: 800px) {
  .wrap { width: calc(100% - 40px); }
  .nav-inner { height: 68px; gap: 20px; }
  .logo { font-size: 24px; gap: 7px; }
  .logo svg { width: 25px; height: 25px; }
  .desktop-nav { gap: 0; font-size: 12px; }
  .desktop-nav > a:not(.nav-billing) { display: none; }
  .site-nav .account-trigger { gap: 6px; }
  .site-nav #checkoutUser { max-width: 72px; }
  .hero { grid-template-columns: 1fr; gap: 40px; padding-block: 55px 40px; }
  .hero::before { inset: 20% -15px 0 0; }
  .eyebrow { font-size: 9px; letter-spacing: 1.3px; }
  .hero h1 { font-size: clamp(34px, 6.5vw, 48px); letter-spacing: -1.2px; margin-block: 22px 20px; }
  .hero-intro { font-size: 14px; }
  .hero-tags { margin-top: 22px; }
  .architecture { width: 100%; max-width: 530px; justify-self: center; padding: 20px; }
  .diagram-head { font-size: 9px; }
  .diagram-head > span:last-child { font-size: 10px; }
  .semantic-map { margin-top: 15px; }
  .product-index > a { flex-direction: column; align-items: flex-start; gap: 10px; padding: 22px 19px; }
  .product-index > a:first-child { padding-left: 0; }
  .product-index > a:last-child { padding-right: 0; }
  .product-index > a + a::before { top: 23px; bottom: 23px; }
  .index-symbol { width: 32px; height: 32px; font-size: 23px; justify-content: flex-start; }
  .product-index a:nth-child(2) .index-symbol { font-size: 29px; }
  .product-index a:nth-child(3) .index-symbol { font-size: 21px; }
  .product-index b { font-size: 13px; }
  .product-index small { font-size: 10px; }
  .product-index .index-arrow { display: none; }
  .products { padding-top: 62px; }
  .section-heading { display: block; margin-bottom: 0; }
  .section-heading h2 { font-size: 26px; }
  .section-heading > p { margin-top: 16px; font-size: 12px; }
  .section-heading > p br { display: none; }
  .product-row { grid-template-columns: 1fr; gap: 28px; padding-block: 38px; }
  #entitir .product-copy, #entitir .concept-panel { grid-column: auto; grid-row: auto; }
  .product-copy h3 { font-size: 33px; }
  .product-copy h3 span { font-size: 18px; }
  .product-copy p { max-width: none; }
  .concept-panel { padding: 24px; }
  .type-equation { padding-block: 26px; }
  .state-flow { padding-block: 38px; }
  .approach { margin-top: 50px; }
  .approach-inner { grid-template-columns: 1fr; gap: 26px; padding-block: 44px; }
  .approach h2 { font-size: 27px; }
  .principles { gap: 16px; margin-top: 21px; }
  .footer-top { flex-wrap: wrap; gap: 8px 20px; padding-block: 23px; }
  .footer-top p { font-size: 10px; }
  .footer-bottom > div { gap: 5px 13px; }
  .footer-bottom nav { gap: 6px 13px; }
  .footer-bottom { font-size: 10px; }
}
@media (max-width: 380px) {
  .wrap { width: calc(100% - 32px); }
  .nav-inner { gap: 12px; }
  .site-nav .logo { font-size: 21px; gap: 5px; }
  .site-nav #checkoutUser { max-width: 48px; }
  .site-nav .account-sign-in { padding-right: 7px; }
  .site-nav .account-avatar { width: 28px; height: 28px; }
  .desktop-nav { font-size: 11px; }
  .hero h1 { font-size: 31px; letter-spacing: -1px; }
  .eyebrow { font-size: 8px; letter-spacing: 1px; }
  .hero-intro { font-size: 13px; }
  .hero-tags { gap: 10px; font-size: 10px; }
  .architecture { padding: 16px 12px; }
  .diagram-head { gap: 8px; font-size: 8px; letter-spacing: .5px; }
  .diagram-head > span:last-child { font-size: 9px; }
  .product-index > a { padding-inline: 13px; }
  .product-index small { font-size: 9px; }
  .section-heading h2 { font-size: 23px; }
  .product-copy h3 span { font-size: 17px; }
  .concept-panel { padding: 21px 19px; }
  .panel-label { font-size: 7px; letter-spacing: .8px; }
  .type-equation strong { font-size: 18px; }
  .panel-bottom { gap: 7px; font-size: 9px; }
  .state-flow { gap: 6px; }
  .state-flow strong { font-size: 12px; }
  .state-flow span { font-size: 10px; }
  .approach h2 { font-size: 25px; }
  .principles { gap: 13px; font-size: 10px; }
}
@media (prefers-reduced-motion: reduce) {
  :root { scroll-behavior: auto; }
  *, *::before, *::after { transition: none !important; }
}