* {
  box-sizing:border-box
}
html {
  color-scheme:light
}
html.dark {
  color-scheme:dark
}
body {
  margin:0;
  background:var(--logic-c-bg);
  color:var(--logic-c-text-1);
  font-family:var(--logic-font-family-base);
  display:flex;
  flex-direction:column;
  min-height:100vh
}
a {
  color:inherit;
  text-decoration:none
}
button {
  border:0;
  background:none;
  color:inherit;
  padding:0
}
input,select {
  color:inherit;
  border:0
}
input {
  background:transparent
}
button,input,select {
  font:inherit
}
h1,h2,h3,p,dl,dd {
  margin:0
}
main {
  width:100%;
  flex:1
}
pre {
  margin:0
}
img {
  max-width:100%
}
.sr-only {
  position:absolute;
  width:1px;
  height:1px;
  padding:0;
  margin:-1px;
  overflow:hidden;
  clip:rect(0,0,0,0);
  white-space:nowrap;
  border:0
}
.skip-link {
  position:fixed;
  top:8px;
  left:8px;
  padding:10px;
  background:var(--logic-c-brand-1);
  color:var(--logic-c-bg);
  transform:translateY(-150%);
  z-index:100
}
.skip-link:focus {
  transform:none
}
.site-header {
  position:sticky;
  top:0;
  height:76px;
  flex-shrink:0;
  z-index:30;
  background:var(--logic-c-bg);
  border-bottom:1px solid var(--logic-c-divider)
}
.header-inner {
  height:100%;
  max-width:1280px;
  padding:0 24px;
  margin:auto;
  display:flex;
  align-items:center;
  gap:28px
}
.site-brand {
  display:flex;
  align-items:center;
  gap:10px;
  font-size:25px;
  font-weight:750;
  letter-spacing:-1.3px;
  white-space:nowrap
}
.site-brand img {
  display:block
}
.header-search {
  display:flex;
  align-items:center;
  gap:9px;
  background:var(--logic-c-bg-alt);
  padding:9px 12px;
  border-radius:6px;
  color:var(--logic-c-text-2);
  font-size:12px;
  white-space:nowrap
}
.header-search>span:first-child {
  font-size:22px;
  line-height:1
}
.header-search kbd {
  font-size:10px;
  border:1px solid var(--logic-c-divider);
  border-radius:3px;
  padding:1px 4px
}
.main-nav {
  display:flex;
  gap:24px;
  margin-left:auto;
  font-size:13px;
  align-items:center;
  white-space:nowrap
}
.main-nav a[aria-current],.main-nav a:hover {
  color:var(--logic-c-brand-1)
}
.theme-toggle {
  font-size:20px;
  color:var(--logic-c-text-2);
  padding:5px 9px;
  border:1px solid var(--logic-c-divider);
  border-radius:20px
}
.menu-toggle {
  display:none;
  font-size:21px
}
.site-footer {
  border-top:1px solid var(--logic-c-divider);
  padding:28px 20px;
  text-align:center;
  font-size:12px;
  line-height:1.9;
  color:var(--logic-c-text-2);
  margin-top:auto
}
.doc-layout {
  display:grid;
  grid-template-columns:210px minmax(0,760px) 170px;
  gap:40px;
  max-width:1360px;
  padding:40px 32px 70px;
  margin:auto;
  align-items:start
}
.doc-sidebar {
  position:sticky;
  top:110px;
  font-size:13px;
  max-height:calc(100vh - 135px);
  overflow:auto
}
.doc-sidebar h2 {
  font-size:14px;
  font-weight:650;
  margin:4px 0 15px
}
.doc-sidebar nav {
  display:flex;
  flex-direction:column;
  gap:3px
}
.doc-sidebar a {
  padding:8px 10px;
  border-radius:4px;
  color:var(--logic-c-text-2)
}
.doc-sidebar a:hover {
  background:var(--logic-c-bg-alt)
}
.doc-sidebar a[aria-current] {
  color:var(--logic-c-brand-1);
  background:var(--logic-c-brand-soft);
  font-weight:600
}
.doc-content {
  min-width:0
}
.doc-article {
  font-size:15px;
  overflow-wrap:anywhere
}
.doc-article h1 {
  font-size:30px;
  line-height:1.5;
  font-weight:700;
  margin:0 0 25px
}
.doc-article h2 {
  border-top:1px solid var(--logic-c-divider);
  font-size:23px;
  font-weight:650;
  margin:45px 0 18px;
  padding-top:25px;
  scroll-margin-top:110px
}
.doc-article h3 {
  font-size:18px;
  font-weight:600;
  margin:25px 0 12px
}
.doc-article p {
  margin:16px 0
}
.doc-article li {
  margin:6px 0
}
.doc-article ul,.doc-article ol {
  padding-left:23px
}
.doc-article a {
  color:var(--logic-c-brand-1);
  text-decoration:underline;
  text-underline-offset:3px
}
.doc-article code:not(pre code) {
  font-size:.88em;
  background:var(--logic-c-bg-alt);
  padding:3px 5px;
  border-radius:3px
}
.doc-article div[class*="language-"] {
  position:relative;
  background:var(--logic-c-bg-alt);
  border:1px solid var(--logic-c-divider);
  border-radius:7px;
  margin:20px 0
}
.doc-article div[class*="language-"] pre {
  padding:28px 20px 20px;
  overflow:auto;
  font-size:12px;
  line-height:1.85
}
.doc-article div[class*="language-"]>.lang {
  position:absolute;
  top:8px;
  right:12px;
  font-size:10px;
  color:var(--logic-c-text-2)
}
.doc-article button.copy {
  position:absolute;
  right:10px;
  top:8px;
  z-index:1;
  padding:3px 6px;
  background:var(--logic-c-bg);
  border:1px solid var(--logic-c-divider);
  border-radius:3px;
  font-size:10px;
  color:var(--logic-c-text-2);
  opacity:0
}
.doc-article div[class*="language-"]:hover .copy,.doc-article .copy:focus {
  opacity:1
}
.doc-article div[class*="language-"]:hover>.lang {
  visibility:hidden
}
.doc-article .line span {
  color:var(--shiki-light,inherit)
}
.dark .doc-article .line span {
  color:var(--shiki-dark,inherit)
}
.doc-article .header-anchor {
  font-weight:400;
  font-size:.75em;
  color:var(--logic-c-text-2);
  margin-left:8px;
  opacity:0;
  text-decoration:none
}
.doc-article h1:hover .header-anchor,.doc-article h2:hover .header-anchor,.doc-article .header-anchor:focus {
  opacity:1
}
.doc-article table {
  display:block;
  overflow:auto;
  border-collapse:collapse;
  width:100%;
  margin:20px 0;
  font-size:13px;
  line-height:1.8
}
.doc-article th,.doc-article td {
  text-align:left;
  border:1px solid var(--logic-c-divider);
  padding:10px 14px
}
.doc-article th {
  background:var(--logic-c-bg-alt);
  font-weight:600;
  white-space:nowrap
}
.doc-article .source-note {
  font-size:10px
}
.doc-outline {
  position:sticky;
  top:110px;
  border-left:1px solid var(--logic-c-divider);
  padding-left:16px;
  font-size:11px;
  line-height:1.8
}
.doc-outline strong {
  font-weight:600;
  display:block;
  margin-bottom:10px
}
.doc-outline a {
  display:block;
  margin:8px 0;
  color:var(--logic-c-text-2)
}
.doc-outline a:hover {
  color:var(--logic-c-brand-1)
}
.doc-sidebar-toggle {
  display:none
}
.doc-pager {
  display:flex;
  gap:15px;
  justify-content:space-between;
  border-top:1px solid var(--logic-c-divider);
  margin-top:50px;
  padding-top:25px
}
.doc-pager a {
  border:1px solid var(--logic-c-divider);
  border-radius:6px;
  padding:12px 16px;
  flex:1;
  font-size:13px
}
.doc-pager a:last-child {
  text-align:right
}
.doc-pager small {
  display:block;
  color:var(--logic-c-text-2);
  font-size:10px;
  margin-bottom:5px
}
.doc-pager span {
  color:var(--logic-c-brand-1)
}
.search-dialog {
  padding:22px;
  border:1px solid var(--logic-c-divider);
  border-radius:10px;
  background:var(--logic-c-bg);
  color:var(--logic-c-text-1);
  width:min(700px,92vw);
  max-height:80vh;
  box-shadow:0 24px 80px #0002
}
.search-dialog::backdrop {
  background:#13231bd0;
  backdrop-filter:blur(3px)
}
.search-dialog-top {
  display:flex;
  justify-content:space-between;
  align-items:center;
  margin-bottom:18px;
  gap:15px
}
.search-dialog h2 {
  font-size:17px
}
.search-dialog-top button {
  font-size:11px;
  color:var(--logic-c-text-2)
}
.search-dialog-top kbd {
  margin-left:5px;
  border:1px solid var(--logic-c-divider);
  padding:2px 4px;
  border-radius:3px
}
.dialog-input-label {
  display:block
}
.dialog-input-label input {
  width:100%;
  padding:12px 14px;
  border:1px solid var(--logic-c-divider);
  border-radius:5px;
  outline-color:var(--logic-c-brand-1);
  font-size:14px;
  min-height:46px
}
.search-dialog-status {
  font-size:11px;
  color:var(--logic-c-text-2);
  padding:15px 0
}
.doc-search-results {
  padding:0;
  margin:0;
  list-style:none
}
.doc-search-results li {
  margin:8px 0
}
.doc-search-results a {
  display:block;
  border:1px solid var(--logic-c-divider);
  border-radius:6px;
  padding:14px
}
.doc-search-results a:hover {
  border-color:var(--logic-c-brand-1);
  background:var(--logic-c-bg-alt)
}
.doc-search-results strong {
  display:block;
  font-size:14px;
  color:var(--logic-c-brand-1);
  margin-bottom:7px
}
.doc-search-results span {
  display:block;
  font-size:11px;
  line-height:1.8;
  color:var(--logic-c-text-2)
}
@media(max-width:1180px) {
  .header-inner {
    gap:20px
  }
  .main-nav {
    gap:17px;
    font-size:12px
  }
  .header-search kbd {
    display:none
  }
  .doc-layout {
    grid-template-columns:190px minmax(0,1fr);
    gap:30px
  }
  .doc-outline {
    display:none
  }
}
@media(max-width:900px) {
  .header-search .search-label {
    display:none
  }
  .main-nav {
    gap:14px
  }
  .header-inner {
    gap:15px
  }
  .doc-layout {
    grid-template-columns:175px minmax(0,1fr);
    gap:25px;
    padding-left:24px;
    padding-right:24px
  }
}
@media(max-width:767px) {
  .site-header {
    height:64px
  }
  .header-inner {
    padding:0 22px;
    gap:17px
  }
  .site-brand {
    margin-right:auto
  }
  .header-search {
    background:none;
    padding:0
  }
  .header-search>span:first-child {
    font-size:25px
  }
  .theme-toggle {
    padding:1px 5px;
    font-size:18px
  }
  .menu-toggle {
    display:block
  }
  .main-nav {
    display:none;
    position:absolute;
    top:calc(100% + 8px);
    right:16px;
    left:16px;
    padding:15px;
    gap:0;
    background:var(--logic-c-bg);
    border:1px solid var(--logic-c-divider);
    border-radius:7px;
    box-shadow:0 10px 20px #0001;
    font-size:14px;
    align-items:stretch
  }
  .main-nav.is-open {
    display:flex;
    flex-direction:column
  }
  .main-nav a {
    padding:12px
  }
  .doc-layout {
    display:block;
    padding:20px 22px 45px
  }
  .doc-sidebar-toggle {
    display:block;
    border:1px solid var(--logic-c-divider);
    border-radius:4px;
    padding:8px 12px;
    font-size:12px;
    color:var(--logic-c-text-2);
    margin-bottom:25px
  }
  .doc-sidebar {
    display:none;
    position:static;
    margin-bottom:25px;
    max-height:none
  }
  .doc-sidebar.is-open {
    display:block
  }
  .doc-article h1 {
    font-size:27px
  }
  .doc-article h2 {
    font-size:21px;
    scroll-margin-top:85px
  }
  .doc-article {
    font-size:14px
  }
  .doc-article div[class*="language-"] pre {
    font-size:11px;
    padding:28px 15px 18px
  }
  .doc-article button.copy {
    opacity:1
  }
  .doc-article div[class*="language-"]>.lang {
    display:none
  }
  .doc-pager {
    gap:10px
  }
  .doc-pager a {
    font-size:11px;
    padding:12px
  }
  .search-dialog {
    padding:17px
  }
  .search-dialog h2 {
    font-size:16px
  }
}
:root {
  --logic-c-brand-1:#17674a;
  --logic-c-brand-2:#22815c;
  --logic-c-brand-3:#17674a;
  --logic-c-brand-soft:#e9f3ed;
  --logic-c-bg:#fdfdfb;
  --logic-c-bg-alt:#f4f5f1;
  --logic-c-bg-soft:#f4f5f1;
  --logic-c-text-1:#202d28;
  --logic-c-text-2:#65716a;
  --logic-c-divider:#e3e7df;
  --logic-font-family-base:Inter,-apple-system,BlinkMacSystemFont,"Segoe UI","Noto Sans KR",Arial,sans-serif;
  --logic-font-family-mono:"SFMono-Regular",Consolas,"Liberation Mono",monospace;
  --logic-nav-height:76px;
  --logic-layout-max-width:1440px;
  --logic-sidebar-width:264px
}
.dark {
  --logic-c-brand-1:#94caaa;
  --logic-c-brand-2:#b1ddbf;
  --logic-c-brand-3:#2a7857;
  --logic-c-brand-soft:#1e342a;
  --logic-c-bg:#17201b;
  --logic-c-bg-alt:#1d2821;
  --logic-c-bg-soft:#202c25;
  --logic-c-text-1:#e5ede7;
  --logic-c-text-2:#a2b1a6;
  --logic-c-divider:#334039
}
html {
  scroll-behavior:smooth
}
body {
  font-size:15px
}
.doc-article h1 {
  letter-spacing:-1.2px;
  line-height:1.4
}
.doc-article h2 {
  letter-spacing:-.6px
}
.doc-article p,.doc-article li {
  line-height:1.95
}
.doc-article .custom-block {
  border-radius:8px
}
.doc-article table {
  font-size:14px
}
.doc-article a {
  font-weight:550
}
button,input,select {
  font:inherit
}
button,a,input,select {
  -webkit-tap-highlight-color:transparent
}
button:not(:disabled),select {
  cursor:pointer
}
button:disabled {
  opacity:.35;
  cursor:not-allowed
}
button:focus-visible,a:focus-visible,input:focus-visible,select:focus-visible {
  outline:3px solid #80b69a;
  outline-offset:4px
}
a {
  transition:color .16s,background .16s,box-shadow .16s
}
code {
  font-family:var(--logic-font-family-mono)
}
.eyebrow {
  font-size:10px;
  font-weight:750;
  letter-spacing:2px;
  color:var(--logic-c-brand-1);
  line-height:1.7
}
.muted {
  color:var(--logic-c-text-2)
}
.button {
  display:inline-flex;
  align-items:center;
  justify-content:center;
  gap:25px;
  min-height:46px;
  padding:10px 20px;
  border:1px solid var(--logic-c-divider);
  border-radius:6px;
  font-size:14px;
  font-weight:650;
  line-height:1.5;
  white-space:nowrap
}
.button.primary {
  color:white;
  background:#17674a;
  border-color:#17674a
}
.button.primary:hover {
  background:#10553b
}
.button.secondary {
  background:var(--logic-c-bg);
  color:var(--logic-c-text-1)
}
.button.secondary:hover {
  border-color:var(--logic-c-brand-1);
  color:var(--logic-c-brand-1)
}
.button span {
  font-size:19px
}
.home-wrap {
  max-width:1200px;
  margin:auto;
  padding:0 40px
}
.hero {
  display:grid;
  grid-template-columns:1.08fr 1fr;
  gap:48px;
  align-items:center;
  padding:80px 0 64px
}
.hero .eyebrow {
  display:flex;
  align-items:center;
  gap:9px;
  letter-spacing:1.7px
}
.live-dot {
  width:6px;
  height:6px;
  background:#4c936b;
  border-radius:50%;
  box-shadow:0 0 0 4px #edf4e8
}
.hero h1 {
  font-size:clamp(36px,3.6vw,51px);
  font-weight:730;
  line-height:1.4;
  letter-spacing:-2.5px;
  margin:22px 0
}
.hero h1>span {
  color:var(--logic-c-brand-1)
}
.hero-description {
  font-size:15px;
  line-height:1.95;
  color:var(--logic-c-text-2);
  letter-spacing:-.25px
}
.hero-actions {
  display:flex;
  gap:10px;
  flex-wrap:wrap;
  margin-top:30px
}
.hero-footnote {
  display:flex;
  align-items:center;
  gap:9px;
  color:var(--logic-c-text-2);
  font-size:10px;
  margin-top:25px;
  white-space:nowrap
}
.tiny-check {
  color:var(--logic-c-brand-1)
}
.foot-separator {
  color:#c1c9bd
}
.assembly-visual {
  background:var(--logic-c-bg-alt);
  border:1px solid var(--logic-c-divider);
  border-radius:10px;
  overflow:hidden;
  box-shadow:0 8px 32px #253b2a05;
  transform:translateY(3px)
}
.visual-topline {
  padding:14px 20px;
  display:flex;
  justify-content:space-between;
  border-bottom:1px solid var(--logic-c-divider);
  font-family:var(--logic-font-family-mono);
  font-size:9px;
  letter-spacing:.5px;
  color:var(--logic-c-text-2)
}
.visual-topline i {
  display:inline-block;
  width:6px;
  height:6px;
  border-radius:50%;
  background:#79a97c;
  margin-right:6px
}
.graph-canvas {
  background-image:radial-gradient(#889b7d30 .8px,transparent .8px);
  background-size:16px 16px;
  padding:25px 26px 18px
}
.graph-label {
  font-size:10px;
  text-align:center;
  letter-spacing:.3px;
  color:var(--logic-c-text-2);
  margin-bottom:26px
}
.graph-node {
  background:var(--logic-c-bg);
  border:1px solid var(--logic-c-divider);
  border-radius:7px;
  display:flex;
  align-items:center;
  gap:12px;
  padding:14px;
  box-shadow:0 3px 6px #253b2a03
}
.graph-root {
  margin:auto;
  max-width:230px;
  border-color:#a4bdaa
}
.node-icon {
  width:32px;
  height:32px;
  border-radius:6px;
  display:flex;
  align-items:center;
  justify-content:center;
  font-size:22px;
  background:#edf3e7;
  color:#476a3e
}
.graph-node small {
  font-size:8px;
  font-weight:700;
  letter-spacing:1.2px;
  color:var(--logic-c-text-2);
  display:block;
  line-height:1.5
}
.graph-node strong {
  font-family:var(--logic-font-family-mono);
  font-size:12px;
  font-weight:600;
  display:block;
  margin-top:3px
}
.node-status {
  font-size:8px;
  margin-left:auto;
  background:#eaf2e9;
  color:#4c7653;
  padding:1px 5px;
  border-radius:3px
}
.graph-wires {
  position:relative;
  height:53px;
  display:flex;
  justify-content:space-around;
  padding-top:31px
}
.graph-wires:before {
  content:"";
  position:absolute;
  width:50%;
  left:25%;
  top:24px;
  height:29px;
  border:1px dashed #91ab91;
  border-bottom:0;
  border-radius:5px 5px 0 0
}
.graph-wires:after {
  content:"";
  position:absolute;
  left:50%;
  top:0;
  height:25px;
  border-left:1px dashed #91ab91
}
.graph-wires span {
  font:8px var(--logic-font-family-mono);
  color:var(--logic-c-text-2);
  background:var(--logic-c-bg-alt);
  position:relative;
  z-index:1;
  padding:0 4px;
  align-self:start
}
.graph-children {
  display:grid;
  grid-template-columns:1fr 1fr;
  gap:17px
}
.graph-node.child {
  padding:12px 9px;
  gap:7px
}
.child .node-icon {
  width:26px;
  height:29px;
  font-size:18px;
  flex-shrink:0
}
.child strong {
  font-size:10px
}
.db-node .node-icon {
  background:#eaf0f7;
  color:#586f92
}
.ui-node .node-icon {
  background:#f0ecf7;
  color:#84719c
}
.contract-bridge {
  display:flex;
  align-items:center;
  justify-content:center;
  gap:8px;
  margin:23px 20px 3px;
  color:var(--logic-c-text-2);
  font-size:9px
}
.bridge-line {
  width:70px;
  border-top:1px dashed #a9bba1
}
.bridge-dot {
  width:4px;
  height:4px;
  background:#8aab88;
  border-radius:50%
}
.visual-bottom {
  padding:12px 17px;
  background:var(--logic-c-bg);
  border-top:1px solid var(--logic-c-divider);
  display:flex;
  gap:12px;
  align-items:center;
  font-size:9px;
  color:var(--logic-c-text-2)
}
.mini-tag {
  display:inline-block;
  padding:3px 7px;
  background:var(--logic-c-bg-soft);
  border:1px solid var(--logic-c-divider);
  border-radius:4px;
  font-family:var(--logic-font-family-mono);
  font-size:10px;
  line-height:1.5;
  white-space:nowrap
}
.home-statbar {
  border-top:1px solid var(--logic-c-divider);
  border-bottom:1px solid var(--logic-c-divider);
  display:grid;
  grid-template-columns:1.8fr 1fr 1fr 1fr;
  align-items:center;
  padding:25px 0
}
.stat-intro {
  display:flex;
  flex-direction:column;
  gap:7px
}
.stat-intro .eyebrow {
  font-size:8px;
  letter-spacing:1.5px
}
.stat-intro>strong {
  font-size:13px;
  font-weight:550;
  letter-spacing:-.3px
}
.home-statbar>a {
  border-left:1px solid var(--logic-c-divider);
  padding-left:35px
}
.home-statbar>a>strong {
  font-size:29px;
  font-weight:600;
  letter-spacing:-1px;
  line-height:1.3
}
.home-statbar>a>strong>span {
  font-size:11px;
  font-weight:450;
  letter-spacing:0;
  margin-left:5px
}
.home-statbar small {
  display:block;
  font-size:10px;
  color:var(--logic-c-text-2);
  margin-top:5px
}
.home-statbar>a:hover {
  color:var(--logic-c-brand-1)
}
.home-section {
  padding:57px 0 0
}
.section-heading {
  display:flex;
  align-items:end;
  justify-content:space-between;
  gap:20px;
  margin-bottom:23px
}
.section-heading h2 {
  font-size:25px;
  font-weight:650;
  letter-spacing:-1px;
  line-height:1.6;
  margin-top:8px
}
.section-heading>a {
  font-size:11px;
  color:var(--logic-c-text-2);
  padding-bottom:4px;
  white-space:nowrap
}
.section-heading>a>span {
  margin-left:12px
}
.journey-grid,.featured-grid {
  display:grid;
  grid-template-columns:repeat(3,1fr);
  gap:17px
}
.journey-card {
  border:1px solid var(--logic-c-divider);
  border-radius:7px;
  padding:24px;
  display:flex;
  flex-direction:column;
  background:var(--logic-c-bg)
}
.journey-card:hover,.module-card:hover,.contract-card:is(a):hover {
  border-color:#a4bdaa;
  box-shadow:0 6px 20px #1d3d2710
}
.step-number {
  font:12px var(--logic-font-family-mono);
  color:var(--logic-c-brand-1);
  margin-bottom:25px
}
.journey-card h3 {
  font-size:17px;
  letter-spacing:-.5px;
  font-weight:650
}
.journey-card p {
  font-size:12px;
  line-height:1.9;
  color:var(--logic-c-text-2);
  margin:11px 0 25px;
  flex:1
}
.card-cta {
  font-size:11px;
  font-weight:600;
  display:flex;
  justify-content:space-between;
  align-items:center;
  color:var(--logic-c-brand-1)
}
.card-cta>span {
  font-size:16px
}
.module-card {
  display:flex;
  flex-direction:column;
  border:1px solid var(--logic-c-divider);
  border-radius:7px;
  padding:22px;
  background:var(--logic-c-bg);
  min-width:0
}
.module-card-top {
  display:flex;
  align-items:center;
  justify-content:space-between;
  gap:9px;
  margin-bottom:20px;
  font-size:10px
}
.kind-badge {
  display:inline-block;
  padding:3px 7px;
  border-radius:4px;
  font-size:10px;
  font-weight:600;
  line-height:1.6;
  white-space:nowrap
}
.kind-badge.db_module {
  background:#e9eff7;
  color:#42648c
}
.kind-badge.db_bundle {
  background:#e9f0ef;
  color:#3c756c
}
.kind-badge.ui_module {
  background:#f0ecf7;
  color:#7a5d9b
}
.kind-badge.ui_bundle {
  background:#eef2df;
  color:#667b2f
}
.module-card h2,.module-card h3 {
  font:600 15px var(--logic-font-family-mono);
  letter-spacing:-.5px;
  word-break:break-word;
  line-height:1.6
}
.module-card p {
  font-size:12px;
  line-height:1.8;
  color:var(--logic-c-text-2);
  margin:10px 0 20px;
  flex:1
}
.module-card-bottom {
  border-top:1px solid var(--logic-c-divider);
  padding-top:13px;
  display:flex;
  justify-content:space-between;
  gap:10px;
  font-size:10px;
  color:var(--logic-c-text-2)
}
.module-card-bottom>span:last-child {
  color:var(--logic-c-brand-1);
  white-space:nowrap
}
.sample-caption {
  font-size:10px;
  color:var(--logic-c-text-2);
  line-height:1.8;
  margin-top:16px
}
.sample-dot {
  display:inline-block;
  width:5px;
  height:5px;
  background:#9caa7b;
  border-radius:50%;
  margin-right:5px
}
.home-callout {
  display:flex;
  align-items:center;
  gap:24px;
  border:1px solid var(--logic-c-divider);
  background:var(--logic-c-bg-alt);
  border-radius:8px;
  margin:52px 0 60px;
  padding:30px
}
.callout-icon {
  font:28px var(--logic-font-family-mono);
  color:#708869;
  background:var(--logic-c-bg);
  padding:15px;
  border:1px solid var(--logic-c-divider);
  border-radius:8px
}
.home-callout>div:nth-child(2) {
  flex:1
}
.home-callout h2 {
  font-size:18px;
  font-weight:650;
  letter-spacing:-.5px;
  margin:6px 0 8px
}
.home-callout p {
  font-size:11px;
  color:var(--logic-c-text-2)
}
.home-callout .button {
  font-size:11px;
  min-height:40px;
  gap:16px
}
.home-section.home-video-section {
  padding:0 0 60px
}
.home-video-description {
  margin-top:8px;
  color:var(--logic-c-text-2);
  font-size:13px;
  line-height:1.8
}
.home-video-player {
  aspect-ratio:16/9;
  overflow:hidden;
  border:1px solid var(--logic-c-divider);
  border-radius:8px;
  background:#0b1913
}
.home-video-player iframe {
  display:block;
  width:100%;
  height:100%;
  border:0
}
.home-video-preview {
  position:relative;
  display:flex;
  align-items:center;
  justify-content:center;
  width:100%;
  height:100%;
  color:white;
  background:#0b1913
}
.home-video-preview img {
  display:block;
  width:100%;
  height:100%;
  object-fit:cover
}
.home-video-play {
  position:absolute;
  display:grid;
  place-items:center;
  width:76px;
  height:54px;
  padding-left:4px;
  border-radius:14px;
  background:#d72020;
  font-size:27px;
  box-shadow:0 4px 20px #0003
}
.home-video-preview:hover .home-video-play,
.home-video-preview:focus-visible .home-video-play {
  background:#b91616
}
.home-video-label {
  position:absolute;
  bottom:16px;
  left:16px;
  padding:6px 12px;
  border-radius:4px;
  background:#0b1913e6;
  font-size:12px
}
.mobile-break {
  display:none
}
.source-note {
  margin:24px 0 35px;
  border-top:1px solid var(--logic-c-divider);
  border-bottom:1px solid var(--logic-c-divider);
  padding:13px 0;
  display:flex;
  align-items:center;
  gap:8px;
  font-size:11px;
  color:var(--logic-c-text-2)
}
.source-note a {
  margin-left:auto;
  white-space:nowrap
}
.source-dot {
  width:5px;
  height:5px;
  background:#91a480;
  border-radius:50%;
  flex-shrink:0
}
.explorer-shell {
  max-width:1200px;
  margin:0 auto;
  padding:34px 40px 70px
}
.dataset-note {
  display:flex;
  align-items:center;
  gap:12px;
  font-size:10px;
  color:var(--logic-c-text-2);
  padding:0 0 24px;
  border-bottom:1px solid var(--logic-c-divider)
}
.dataset-note>a {
  margin-left:auto
}
.sample-tag {
  font:700 8px var(--logic-font-family-mono);
  letter-spacing:1px;
  border:1px solid #cdd7b6;
  background:#f1f4e6;
  border-radius:3px;
  padding:3px 6px;
  color:#6e8053
}
.explorer-heading {
  display:flex;
  justify-content:space-between;
  align-items:end;
  gap:30px;
  padding:35px 0
}
.explorer-heading h1 {
  font-size:34px;
  letter-spacing:-1.5px;
  font-weight:650;
  line-height:1.5;
  margin:10px 0 13px
}
.explorer-heading p {
  font-size:13px;
  color:var(--logic-c-text-2);
  line-height:1.85
}
.count-stamp {
  font-size:11px;
  white-space:nowrap;
  color:var(--logic-c-text-2);
  padding-bottom:8px
}
.count-stamp>strong {
  font-size:24px;
  font-weight:600;
  color:var(--logic-c-brand-1);
  margin-right:6px
}
.search-toolbar {
  display:flex;
  gap:13px
}
.search-field {
  display:flex;
  align-items:center;
  gap:12px;
  border:1px solid var(--logic-c-divider);
  border-radius:6px;
  background:var(--logic-c-bg);
  padding:0 17px;
  min-height:52px;
  flex:1
}
.search-field:focus-within {
  border-color:var(--logic-c-brand-1)
}
.search-symbol {
  font-size:27px;
  line-height:1;
  color:var(--logic-c-text-2)
}
.search-field input {
  flex:1;
  min-width:0;
  background:transparent;
  outline:none!important;
  font-size:13px;
  min-height:48px
}
.search-field kbd {
  border:1px solid var(--logic-c-divider);
  border-radius:3px;
  padding:0 6px;
  color:var(--logic-c-text-2);
  font-size:11px
}
.select-field {
  display:flex;
  align-items:center;
  border:1px solid var(--logic-c-divider);
  border-radius:6px;
  gap:12px;
  padding:0 14px;
  min-width:190px
}
.select-field>span {
  font-size:11px;
  color:var(--logic-c-text-2);
  white-space:nowrap
}
select {
  min-height:38px;
  padding:4px 23px 4px 7px;
  background:var(--logic-c-bg);
  font-size:12px;
  border-radius:4px;
  color:var(--logic-c-text-1)
}
.filter-row {
  margin:20px 0
}
.filter-chips {
  display:flex;
  gap:6px;
  flex-wrap:wrap
}
.filter-chips button {
  font-size:11px;
  border:1px solid var(--logic-c-divider);
  padding:6px 12px;
  border-radius:5px;
  color:var(--logic-c-text-2)
}
.filter-chips button:hover {
  background:var(--logic-c-bg-alt)
}
.filter-chips button.active {
  background:var(--logic-c-brand-1);
  color:var(--logic-c-bg);
  border-color:var(--logic-c-brand-1)
}
.results-heading {
  display:flex;
  justify-content:space-between;
  align-items:center;
  font-size:11px;
  margin:28px 0 16px
}
.results-heading strong {
  margin-left:6px;
  font-weight:700
}
.results-heading .muted {
  font-size:10px
}
.catalog-grid,.contract-grid {
  display:grid;
  grid-template-columns:repeat(3,minmax(0,1fr));
  gap:16px
}
.package-scope {
  font:10px var(--logic-font-family-mono);
  color:var(--logic-c-text-2);
  overflow-wrap:anywhere;
  margin-top:6px
}
.keyword-list {
  display:flex;
  gap:5px;
  flex-wrap:wrap;
  margin:0 0 20px
}
.keyword-list>span {
  font-size:9px;
  color:var(--logic-c-text-2);
  background:var(--logic-c-bg-soft);
  border-radius:3px;
  padding:2px 6px
}
.pagination {
  display:flex;
  gap:25px;
  justify-content:center;
  align-items:center;
  margin-top:32px;
  font-size:12px
}
.pagination button {
  border:1px solid var(--logic-c-divider);
  padding:7px 13px;
  border-radius:5px
}
.state-panel {
  padding:70px 20px;
  text-align:center;
  line-height:2;
  font-size:13px;
  color:var(--logic-c-text-2)
}
.state-panel h1,.state-panel h2 {
  font-size:22px;
  color:var(--logic-c-text-1);
  font-weight:600;
  letter-spacing:-.5px;
  margin-bottom:10px
}
.state-panel .button {
  margin-top:18px
}
.text-button {
  color:var(--logic-c-brand-1);
  margin-top:15px;
  font-size:12px
}
.back-link {
  display:block;
  font-size:11px;
  color:var(--logic-c-text-2);
  margin:25px 0
}
.detail-title {
  display:flex;
  gap:20px;
  justify-content:space-between;
  align-items:start;
  margin:20px 0 35px
}
.detail-title h1 {
  font-size:32px;
  line-height:1.5;
  letter-spacing:-1px;
  overflow-wrap:anywhere;
  font-weight:650;
  margin:12px 0 0
}
.detail-title p:not(.package-scope) {
  font-size:13px;
  line-height:1.8;
  color:var(--logic-c-text-2);
  margin-top:16px
}
.version-picker {
  display:flex;
  flex-direction:column;
  gap:5px;
  font-size:10px;
  color:var(--logic-c-text-2);
  min-width:150px;
  margin-top:8px
}
.version-picker select {
  border:1px solid var(--logic-c-divider)
}
.tab-bar {
  display:flex;
  border-bottom:1px solid var(--logic-c-divider);
  gap:27px;
  overflow-x:auto
}
.tab-bar>button {
  font-size:12px;
  white-space:nowrap;
  padding:13px 0;
  color:var(--logic-c-text-2);
  border-bottom:2px solid transparent
}
.tab-bar>button.active {
  border-bottom-color:var(--logic-c-brand-1);
  color:var(--logic-c-brand-1);
  font-weight:600
}
.detail-content {
  padding-top:27px;
  font-size:13px
}
.detail-content h2 {
  font-size:19px;
  letter-spacing:-.5px;
  font-weight:600;
  margin:8px 0 20px
}
.detail-content h2:not(:first-child) {
  margin-top:35px
}
.detail-layout {
  display:grid;
  grid-template-columns:minmax(0,1fr) 280px;
  gap:60px
}
.metadata-grid {
  display:grid;
  grid-template-columns:160px 1fr;
  row-gap:14px;
  font-size:12px;
  line-height:1.8;
  margin-bottom:35px
}
.metadata-grid dt {
  color:var(--logic-c-text-2)
}
.metadata-grid dd {
  overflow-wrap:anywhere
}
.detail-aside {
  padding:22px;
  background:var(--logic-c-bg-alt);
  border:1px solid var(--logic-c-divider);
  border-radius:6px;
  align-self:start;
  font-size:11px;
  line-height:1.9
}
.detail-aside h3 {
  font-weight:650;
  font-size:13px;
  margin-bottom:18px
}
.detail-aside a {
  display:block;
  margin:11px 0;
  color:var(--logic-c-brand-1)
}
.detail-aside p {
  border-top:1px solid var(--logic-c-divider);
  padding-top:17px;
  margin-top:20px;
  color:var(--logic-c-text-2)
}
.command-block {
  background:var(--logic-c-bg-alt);
  padding:20px;
  border:1px solid var(--logic-c-divider);
  border-radius:6px;
  overflow-x:auto;
  font-size:11px;
  line-height:1.85;
  max-width:100%;
  tab-size:2
}
.detail-content>.muted,.detail-layout>div>.muted {
  font-size:11px;
  line-height:1.9;
  margin:14px 0
}
.declaration-card {
  border:1px solid var(--logic-c-divider);
  border-radius:5px;
  padding:17px;
  margin:10px 0;
  line-height:1.85;
  min-width:0
}
.declaration-card>div {
  display:flex;
  align-items:center;
  gap:12px;
  flex-wrap:wrap
}
.declaration-card code {
  font-size:12px;
  overflow-wrap:anywhere
}
.declaration-card p {
  font-size:12px;
  color:var(--logic-c-text-2);
  margin:6px 0
}
.declaration-card small {
  font-size:10px;
  color:var(--logic-c-text-2);
  overflow-wrap:anywhere
}
.declaration-card>a {
  display:block;
  color:var(--logic-c-brand-1);
  font-size:11px;
  margin-top:8px
}
.declaration-card a {
  color:var(--logic-c-brand-1)
}
.empty-inline {
  padding:20px 0;
  color:var(--logic-c-text-2);
  font-size:12px
}
.table-scroll {
  overflow:auto
}
.data-table {
  border-collapse:collapse;
  width:100%;
  font-size:11px;
  line-height:1.8;
  text-align:left
}
.data-table th {
  color:var(--logic-c-text-2);
  font-weight:500;
  white-space:nowrap;
  background:var(--logic-c-bg-alt)
}
.data-table td,.data-table th {
  border-bottom:1px solid var(--logic-c-divider);
  padding:12px
}
.data-table a {
  color:var(--logic-c-brand-1)
}
.dependent-row {
  display:flex;
  justify-content:space-between;
  gap:15px;
  padding:13px 0;
  border-bottom:1px solid var(--logic-c-divider);
  font-size:11px;
  overflow-wrap:anywhere
}
.dependent-row span {
  color:var(--logic-c-text-2);
  white-space:nowrap
}
.contract-nav {
  display:flex;
  gap:25px;
  border-bottom:1px solid var(--logic-c-divider);
  margin:0 0 28px;
  overflow-x:auto
}
.contract-nav>a {
  font-size:13px;
  white-space:nowrap;
  padding:0 0 14px;
  color:var(--logic-c-text-2);
  border-bottom:2px solid transparent
}
.contract-nav>a.active {
  color:var(--logic-c-brand-1);
  border-color:var(--logic-c-brand-1);
  font-weight:650
}
.info-strip {
  display:flex;
  gap:12px;
  background:var(--logic-c-bg-alt);
  padding:13px 16px;
  border-radius:5px;
  margin:20px 0;
  font-size:11px;
  line-height:1.9;
  color:var(--logic-c-text-2)
}
.info-mark {
  border:1px solid #9cab99;
  border-radius:50%;
  width:14px;
  height:14px;
  font:10px Georgia;
  text-align:center;
  flex-shrink:0;
  line-height:13px;
  margin-top:3px
}
.info-strip strong {
  font-weight:600;
  color:var(--logic-c-text-1)
}
.contract-card {
  border:1px solid var(--logic-c-divider);
  border-radius:7px;
  display:flex;
  flex-direction:column;
  padding:22px;
  min-width:0
}
.contract-card h2 {
  font:600 14px var(--logic-font-family-mono);
  line-height:1.8;
  overflow-wrap:anywhere;
  letter-spacing:-.4px;
  margin-bottom:10px
}
.scope-badge {
  font:10px var(--logic-font-family-mono);
  color:var(--logic-c-text-2)
}
.contract-meta {
  font-size:10px;
  color:var(--logic-c-text-2);
  overflow-wrap:anywhere;
  line-height:1.8;
  flex:1;
  margin-bottom:20px
}
.contract-card-bottom {
  display:flex;
  justify-content:space-between;
  gap:10px;
  border-top:1px solid var(--logic-c-divider);
  padding-top:14px;
  margin-top:6px;
  font-size:10px;
  color:var(--logic-c-text-2)
}
.contract-card-bottom strong {
  font-size:17px;
  color:var(--logic-c-text-1);
  font-weight:600
}
.contract-card-bottom>span:last-child {
  color:var(--logic-c-brand-1);
  white-space:nowrap;
  align-self:center
}
.pattern-example {
  font-size:11px;
  color:var(--logic-c-text-2);
  line-height:1.8;
  margin:0 0 18px
}
.contract-card>p {
  font-size:12px;
  color:var(--logic-c-text-2);
  line-height:1.8;
  margin-bottom:15px
}
.provider-link {
  border-top:1px solid var(--logic-c-divider);
  padding-top:14px;
  font:10px var(--logic-font-family-mono);
  overflow-wrap:anywhere;
  color:var(--logic-c-brand-1)
}
.provider-link span {
  float:right
}
.provider-filters {
  display:flex;
  gap:18px;
  margin:16px 0;
  font-size:11px;
  color:var(--logic-c-text-2)
}
.provider-filters label {
  display:flex;
  align-items:center;
  gap:12px
}
.provider-filters input,.provider-filters select {
  border:1px solid var(--logic-c-divider);
  border-radius:4px;
  padding:7px 11px;
  min-height:36px;
  background:var(--logic-c-bg);
  font-size:11px
}
.selected-contract {
  border:1px solid var(--logic-c-divider);
  background:var(--logic-c-bg-alt);
  border-radius:7px;
  padding:25px;
  display:flex;
  gap:25px;
  justify-content:space-between;
  align-items:center;
  margin-bottom:25px
}
.selected-contract h2 {
  font:600 18px var(--logic-font-family-mono);
  overflow-wrap:anywhere;
  line-height:1.8;
  margin:12px 0
}
.selected-contract p {
  font-size:11px;
  color:var(--logic-c-text-2)
}
.selected-contract>div {
  min-width:0
}
.selected-contract .button {
  font-size:11px
}
.consumer-card {
  border:1px solid var(--logic-c-divider);
  border-radius:7px;
  padding:25px;
  margin:16px 0
}
.consumer-top {
  display:flex;
  gap:20px;
  justify-content:space-between;
  margin-bottom:20px
}
.consumer-top h3 {
  font:600 15px var(--logic-font-family-mono);
  line-height:1.7;
  overflow-wrap:anywhere;
  margin:12px 0 8px;
  color:var(--logic-c-brand-1)
}
.consumer-top p {
  font-size:12px;
  line-height:1.9;
  color:var(--logic-c-text-2)
}
.version-label {
  font:10px var(--logic-font-family-mono);
  color:var(--logic-c-text-2);
  white-space:nowrap
}
.dark .kind-badge,.dark .sample-tag {
  filter:brightness(.8)
}
@media(min-width:1280px) {
}
@media(max-width:1000px) {
  .hero {
    gap:25px;
    padding-top:50px
  }
  .hero h1 {
    font-size:36px;
    letter-spacing:-1.8px
  }
  .hero-footnote {
    font-size:8px;
    gap:6px
  }
  .hero-actions .button {
    font-size:12px;
    padding:10px 14px;
    gap:14px
  }
  .home-wrap,.explorer-shell {
    padding-left:28px;
    padding-right:28px
  }
  .graph-canvas {
    padding-left:15px;
    padding-right:15px
  }
  .home-statbar>a {
    padding-left:22px
  }
  .home-statbar {
    grid-template-columns:1.6fr 1fr 1fr 1fr
  }
  .section-heading h2 {
    font-size:22px
  }
  .detail-layout {
    grid-template-columns:minmax(0,1fr) 230px;
    gap:30px
  }
  .catalog-grid,.contract-grid {
    grid-template-columns:repeat(2,minmax(0,1fr))
  }
  .home-callout {
    gap:18px
  }
  .home-callout h2 {
    font-size:16px
  }
}
@media(max-width:767px) {
  :root {
    --logic-nav-height:64px
  }
  .home-wrap,.explorer-shell {
    padding-left:22px;
    padding-right:22px
  }
  .hero {
    grid-template-columns:1fr;
    padding:38px 0 36px;
    gap:35px
  }
  .hero h1 {
    font-size:38px;
    letter-spacing:-1.9px;
    margin:17px 0
  }
  .hero-description {
    font-size:13px
  }
  .hero-actions {
    margin-top:24px
  }
  .hero-actions .button {
    min-height:46px;
    padding:10px 17px;
    font-size:12px
  }
  .hero-footnote {
    font-size:9px;
    gap:8px;
    margin-top:20px
  }
  .assembly-visual {
    max-width:520px;
    width:100%;
    margin:0 auto
  }
  .graph-canvas {
    padding:23px 23px 18px
  }
  .graph-children {
    gap:25px
  }
  .child strong {
    font-size:11px
  }
  .child .node-icon {
    margin-right:6px
  }
  .graph-root {
    max-width:235px
  }
  .home-statbar {
    grid-template-columns:repeat(3,1fr);
    padding:22px 0
  }
  .stat-intro {
    grid-column:1/-1;
    margin-bottom:24px
  }
  .home-statbar>a {
    padding-left:18px
  }
  .home-statbar>a:first-of-type {
    border-left:0;
    padding-left:0
  }
  .home-statbar>a>strong {
    font-size:27px
  }
  .home-statbar small {
    font-size:9px
  }
  .home-section {
    padding-top:36px
  }
  .section-heading {
    align-items:start;
    flex-direction:column;
    gap:7px;
    margin-bottom:20px
  }
  .section-heading h2 {
    font-size:22px;
    letter-spacing:-.8px
  }
  .section-heading>a {
    font-size:10px
  }
  .journey-grid,.featured-grid {
    grid-template-columns:1fr;
    gap:12px
  }
  .journey-card {
    padding:22px
  }
  .step-number {
    margin-bottom:15px
  }
  .journey-card p {
    font-size:12px;
    margin:9px 0 20px
  }
  .module-card {
    padding:20px
  }
  .module-card-top {
    margin-bottom:16px
  }
  .home-callout {
    flex-wrap:wrap;
    padding:23px;
    margin:35px 0 40px;
    gap:18px
  }
  .callout-icon {
    display:none
  }
  .home-callout>div:nth-child(2) {
    flex-basis:100%
  }
  .home-callout h2 {
    font-size:18px;
    line-height:1.7
  }
  .home-callout p {
    line-height:1.9
  }
  .home-callout .button {
    margin-top:4px
  }
  .dataset-note {
    gap:8px;
    flex-wrap:wrap;
    font-size:9px;
    line-height:1.8;
    padding-bottom:17px
  }
  .dataset-note>a {
    margin-left:0
  }
  .sample-tag {
    font-size:7px
  }
  .explorer-shell {
    padding-top:22px;
    padding-bottom:45px
  }
  .explorer-heading {
    padding:26px 0;
    align-items:start;
    flex-direction:column;
    gap:18px
  }
  .explorer-heading h1 {
    font-size:27px;
    letter-spacing:-1px;
    line-height:1.55
  }
  .explorer-heading p {
    font-size:12px
  }
  .count-stamp {
    font-size:10px;
    padding:0
  }
  .count-stamp>strong {
    font-size:20px
  }
  .search-toolbar {
    flex-direction:column;
    gap:10px
  }
  .select-field {
    min-height:44px;
    justify-content:space-between
  }
  .select-field select {
    min-height:34px
  }
  .filter-chips {
    gap:5px
  }
  .filter-chips button {
    font-size:10px;
    padding:5px 10px
  }
  .results-heading {
    margin-top:22px
  }
  .results-heading .muted {
    font-size:8px
  }
  .catalog-grid,.contract-grid {
    grid-template-columns:1fr;
    gap:12px
  }
  .detail-title {
    flex-direction:column
  }
  .detail-title h1 {
    font-size:25px
  }
  .version-picker {
    min-width:175px
  }
  .tab-bar {
    gap:24px
  }
  .detail-layout {
    grid-template-columns:1fr;
    gap:30px
  }
  .metadata-grid {
    grid-template-columns:135px minmax(0,1fr);
    font-size:11px
  }
  .detail-aside {
    max-width:none
  }
  .command-block {
    font-size:10px;
    padding:15px
  }
  .contract-nav {
    gap:22px
  }
  .contract-nav>a {
    font-size:11px
  }
  .info-strip {
    font-size:10px;
    padding:12px
  }
  .provider-filters {
    flex-direction:column;
    gap:10px
  }
  .provider-filters label {
    justify-content:space-between
  }
  .provider-filters input {
    width:60%;
    min-width:0
  }
  .selected-contract {
    padding:18px;
    flex-direction:column;
    align-items:start;
    gap:15px
  }
  .selected-contract h2 {
    font-size:15px
  }
  .consumer-card {
    padding:18px
  }
  .consumer-top h3 {
    font-size:12px
  }
  .consumer-top {
    gap:10px
  }
  .declaration-card {
    padding:14px
  }
  .declaration-card code {
    font-size:10px
  }
  .declaration-card small {
    font-size:9px
  }
  .source-note {
    font-size:9px;
    flex-wrap:wrap
  }
  .mobile-break {
    display:block
  }
}
@media(prefers-reduced-motion:reduce) {
  html {
    scroll-behavior:auto
  }
  a,button {
    transition:none
  }
}