/* page-07 · 추론(Inference) — 인라인 font-size 정리 */

.inf-formula {
  display: grid;
  grid-template-columns: 1fr 36px 1fr 64px 1fr;
  gap: 10px;
  align-items: stretch;
  margin: 20px 0 6px;
}

.inf-card {
  padding: 16px 14px;
  border: 1px solid var(--border);
  border-radius: 12px;
  background: #fff;
  box-shadow: var(--shadow);
  text-align: center;
  display: flex;
  flex-direction: column;
}

.inf-card--out {
  border: 1.5px solid var(--warn);
  background: var(--warn-soft);
}

.inf-card-tag {
  font-size: var(--fs-xs);
  letter-spacing: 2px;
  font-weight: 800;
  color: var(--accent);
  margin-bottom: 6px;
}

.inf-card-tag--warn { color: var(--warn); }

.inf-card-title {
  font-size: var(--fs-base);
  font-weight: 800;
  color: var(--text);
  margin-bottom: 4px;
}

.inf-card-sub {
  font-size: var(--fs-sm);
  color: var(--text-muted);
  font-family: "JetBrains Mono", Consolas, monospace;
  margin-bottom: 10px;
}

.inf-card-foot {
  margin-top: auto;
  padding-top: 10px;
  border-top: 1px dashed var(--border-soft);
  font-size: var(--fs-sm);
  color: var(--text-dim);
  line-height: 1.6;
}

.inf-card-foot--warn {
  border-top-color: var(--warn);
  color: var(--text);
}

.inf-card-foot strong {
  color: var(--warn);
  font-weight: 700;
  font-size: var(--fs-xs);
}

.inf-op {
  display: flex;
  align-items: center;
  justify-content: center;
  font-size: 1.75rem;
  font-weight: 800;
  color: var(--text-muted);
}

.inf-engine {
  display: flex;
  flex-direction: column;
  align-items: center;
  justify-content: center;
}

.inf-engine-label {
  font-size: var(--fs-xs);
  letter-spacing: 1.5px;
  font-weight: 800;
  color: var(--warn);
  margin-bottom: 2px;
}

.inf-engine-arrow {
  font-size: 1.75rem;
  font-weight: 800;
  color: var(--warn);
  line-height: 1;
}

.inf-engine-note {
  font-size: var(--fs-xs);
  color: var(--warn);
  margin-top: 2px;
  font-style: italic;
  font-family: "JetBrains Mono", Consolas, monospace;
}

.inf-compare {
  text-align: center;
  margin: 16px auto 0;
  font-size: var(--fs-base);
  line-height: 1.75;
  color: var(--text);
}

.inf-widget {
  margin: 24px 0;
  padding: 22px 24px;
  border: 1px solid var(--border);
  border-radius: 14px;
  background: var(--bg-card);
  box-shadow: var(--shadow);
}

.inf-widget-head {
  display: flex;
  align-items: center;
  gap: 8px;
  font-weight: 800;
  font-size: var(--fs-base);
  letter-spacing: 0.02em;
  color: var(--accent);
  margin-bottom: 14px;
}

.inf-widget-head .icon { font-size: 1.125rem; }

.inf-widget-note {
  font-size: var(--fs-sm);
  color: var(--text-dim);
  line-height: 1.75;
  margin: 0 0 16px;
}

.inf-rule-map {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  gap: 10px;
  margin-bottom: 18px;
}

.inf-rule-map-item {
  padding: 12px 14px;
  border: 1px solid var(--border-soft);
  border-radius: 8px;
  background: var(--bg-card-2);
  font-size: var(--fs-sm);
  line-height: 1.6;
}

.inf-rule-map-item strong {
  display: block;
  font-size: var(--fs-base);
  color: var(--text);
  margin-bottom: 4px;
}

.inf-rule-map-item .tag {
  display: inline-block;
  margin-top: 6px;
  font-size: var(--fs-xs);
  color: var(--accent);
  font-weight: 700;
}

.inf-rule-map-item .tag--muted {
  color: var(--text-muted);
  font-weight: 600;
}

.inf-demo-grid {
  display: grid;
  grid-template-columns: 1.05fr 1.15fr;
  gap: 22px;
  align-items: start;
}

.inf-demo-section + .inf-demo-section {
  margin-top: 22px;
  padding-top: 22px;
  border-top: 1px dashed var(--border);
}

.inf-demo-section-title {
  font-weight: 700;
  letter-spacing: 0.04em;
  color: var(--text);
  margin-bottom: 14px;
}

.inf-demo-section-title .badge {
  display: inline-block;
  margin-right: 8px;
  padding: 2px 8px;
  border-radius: 4px;
  font-size: 16px;
  font-weight: 600;
  letter-spacing: 0.06em;
  vertical-align: middle;
}

.inf-demo-section--forward .badge {
  background: var(--accent-soft);
  color: var(--accent);
}

.inf-demo-section--inverse .badge {
  background: rgba(69, 97, 214, 0.1);
  color: var(--accent-2);
}

.inf-inv-story {
  font-size: var(--fs-sm);
  color: var(--text-dim);
  line-height: 1.75;
  margin-bottom: 16px;
  padding: 14px 16px;
  border: 1px solid var(--border-soft);
  border-radius: 8px;
  background: var(--bg-card-2);
}

.inf-inv-story p { margin: 0 0 10px; }
.inf-inv-story p:last-child { margin-bottom: 0; }

.inf-inv-scenario {
  padding-top: 10px;
  border-top: 1px dashed var(--border-soft);
}

.inf-result--inverse {
  min-height: auto;
  font-family: inherit;
  line-height: 1.65;
}

.inf-inv-empty {
  margin: 0;
  font-size: var(--fs-sm);
  color: var(--text-muted);
  line-height: 1.65;
}

.inf-inv-block {
  padding: 12px 14px;
  border-radius: 8px;
  margin-bottom: 0;
}

.inf-inv-block--in {
  border: 1px solid var(--border);
  background: #fff;
}

.inf-inv-block--out {
  border: 1.5px solid var(--warn);
  background: var(--warn-soft);
}

.inf-inv-block-label {
  font-size: var(--fs-xs);
  font-weight: 800;
  letter-spacing: 0.04em;
  color: var(--text-muted);
  margin-bottom: 8px;
}

.inf-inv-tag {
  display: inline-block;
  margin-left: 6px;
  padding: 1px 6px;
  border-radius: 4px;
  font-size: 0.92em;
  font-weight: 700;
  background: var(--accent-soft);
  color: var(--accent);
}

.inf-inv-tag--warn {
  background: rgba(180, 107, 0, 0.12);
  color: var(--warn);
}

.inf-inv-triple {
  display: block;
  font-family: "JetBrains Mono", Consolas, monospace;
  font-size: var(--fs-xs);
  padding: 8px 10px;
  margin: 0 0 8px;
  border-radius: 6px;
  background: var(--code-bg);
  color: var(--text);
  word-break: break-all;
}

.inf-inv-plain {
  margin: 0 0 6px;
  font-size: var(--fs-sm);
  color: var(--text);
  font-weight: 600;
}

.inf-inv-sub {
  margin: 0;
  font-size: var(--fs-xs);
  line-height: 1.6;
}

.inf-inv-arrow {
  text-align: center;
  font-size: var(--fs-xs);
  font-weight: 700;
  color: var(--accent-2);
  padding: 8px 0;
}

.inf-inv-conclude {
  margin-top: 12px;
  padding: 12px 14px;
  border-radius: 8px;
  border: 1px solid var(--border);
  background: #fff;
  font-size: var(--fs-sm);
  line-height: 1.75;
  color: var(--text-dim);
}

.inf-inv-conclude strong { color: var(--text); }

.inf-demo-tip {
  margin-top: 16px;
  font-size: var(--fs-sm);
}

.inf-demo-nl {
  font-size: var(--fs-sm);
  color: var(--text-dim);
  line-height: 1.65;
  margin: -6px 0 14px;
}

.inf-rule-label--inverse {
  border-color: rgba(69, 97, 214, 0.25);
  background: rgba(69, 97, 214, 0.04);
}

.inf-result--compact {
  min-height: 88px;
}

.inf-legend {
  display: flex;
  gap: 18px;
  font-size: 17px;
  justify-content: center;
  margin-top: 8px;
  color: var(--text-muted);
}

.inf-demo-caption {
  display: block;
  width: 100%;
  box-sizing: border-box;
  margin: 18px 0 0;
  padding: 14px 18px;
  border-radius: 8px;
  border: 1.5px solid var(--warn);
  background: var(--warn-soft);
  font-size: 17px;
  line-height: 1.75;
  color: var(--text);
  text-align: left;
  font-weight: 500;
}

.inf-demo-caption[hidden] {
  display: none;
}

.inf-panel-label {
  font-size: var(--fs-sm);
  letter-spacing: 2px;
  font-weight: 800;
  color: var(--text-muted);
  margin-bottom: 8px;
}

.inf-rule-label {
  display: flex;
  align-items: center;
  gap: 10px;
  cursor: pointer;
  padding: 13px 14px;
  border: 1px solid var(--border);
  border-radius: 8px;
  background: var(--bg-card-2);
  margin-bottom: 7px;
  user-select: none;
  font-size: var(--fs-base);
}

.inf-rule-label:last-of-type { margin-bottom: 0; }

.inf-rule-label input {
  margin: 0;
  width: 16px;
  height: 16px;
  cursor: pointer;
  flex-shrink: 0;
}

.inf-rule-hint {
  color: var(--text-muted);
  font-size: var(--fs-xs);
  margin-left: 18px;
  display: block;
  margin-top: 2px;
}

.inf-rule-hint code {
  background: var(--code-bg);
  padding: 1px 5px;
  border-radius: 3px;
  font-size: var(--fs-xs);
}

.inf-result {
  font-family: "JetBrains Mono", "Fira Code", Consolas, monospace;
  font-size: var(--fs-sm);
  line-height: 1.95;
  background: #fafbfd;
  border: 1px solid var(--border-soft);
  border-radius: 8px;
  padding: 14px 16px;
  min-height: 120px;
  color: var(--text-muted);
}

.inf-boundary {
  margin-top: 14px;
  font-size: var(--fs-sm);
  line-height: 1.7;
}

/* ── 데모 → Turtle 코드 브릿지 ── */
.inf-code-bridge {
  margin-top: 10px;
}

.inf-code-panels {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 14px;
  margin-top: 14px;
}

.inf-code-panel {
  border: 1px solid var(--border-soft);
  border-radius: 10px;
  background: var(--bg-card);
  overflow: hidden;
}

.inf-code-panel-head {
  display: flex;
  align-items: center;
  gap: 10px;
  padding: 10px 14px;
  background: var(--bg-card-2);
  border-bottom: 1px solid var(--border-soft);
  font-size: var(--fs-sm);
  font-weight: 600;
}

.inf-code-tag {
  display: inline-flex;
  align-items: center;
  padding: 2px 8px;
  border-radius: 999px;
  font-size: var(--fs-xs);
  font-weight: 700;
  letter-spacing: 0.02em;
}

.inf-code-tag--abox {
  background: rgba(37, 99, 235, 0.1);
  color: #1d4ed8;
}

.inf-code-tag--tbox {
  background: rgba(14, 138, 130, 0.12);
  color: #0e8a82;
}

.inf-code-panel-title {
  color: var(--text);
}

.inf-ttl-pre {
  margin: 0;
  padding: 14px 16px;
  font-family: "JetBrains Mono", "Fira Code", Consolas, monospace;
  font-size: var(--fs-sm);
  line-height: 1.75;
  background: #fafbfd;
  color: var(--text-muted);
  overflow-x: auto;
}

.inf-ttl-pre code {
  display: block;
  white-space: pre;
}

.inf-ttl-cmt {
  display: block;
  color: var(--text-dim);
  font-style: italic;
}

.inf-ttl-line {
  display: block;
  padding: 1px 6px;
  margin: 0 -6px;
  border-radius: 4px;
  transition: background 0.2s, color 0.2s;
}

.inf-ttl-line--asserted {
  color: var(--text);
}

.inf-ttl-line.is-sync-on {
  background: rgba(220, 38, 38, 0.08);
  color: var(--text);
  font-weight: 600;
}

.inf-code-map {
  margin-top: 16px;
  border: 1px solid var(--border-soft);
  border-radius: 10px;
  overflow: hidden;
  background: var(--bg-card);
}

.inf-code-map-head,
.inf-code-map-row {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 0;
}

.inf-code-map-head {
  background: var(--bg-card-2);
  border-bottom: 1px solid var(--border-soft);
  font-size: var(--fs-xs);
  font-weight: 700;
  color: var(--text-muted);
  text-transform: uppercase;
  letter-spacing: 0.04em;
}

.inf-code-map-head > span,
.inf-code-map-nl,
.inf-code-map-ttl {
  padding: 10px 14px;
}

.inf-code-map-head > span + span,
.inf-code-map-ttl {
  border-left: 1px solid var(--border-soft);
}

.inf-code-map-row {
  border-bottom: 1px solid var(--border-soft);
  font-size: var(--fs-sm);
  line-height: 1.6;
  transition: background 0.2s;
}

.inf-code-map-row:last-child {
  border-bottom: none;
}

.inf-code-map-row:nth-child(even) {
  background: rgba(241, 243, 248, 0.45);
}

.inf-code-map-row.is-sync-on {
  background: rgba(220, 38, 38, 0.06);
}

.inf-code-map-nl {
  display: flex;
  align-items: flex-start;
  gap: 8px;
  color: var(--text);
}

.inf-code-map-ttl code {
  font-family: "JetBrains Mono", "Fira Code", Consolas, monospace;
  font-size: var(--fs-xs);
  background: var(--code-bg);
  padding: 2px 6px;
  border-radius: 4px;
  word-break: break-all;
}

.inf-code-badge {
  flex-shrink: 0;
  display: inline-flex;
  align-items: center;
  justify-content: center;
  min-width: 22px;
  height: 22px;
  padding: 0 6px;
  border-radius: 999px;
  background: rgba(14, 138, 130, 0.14);
  color: #0e8a82;
  font-size: var(--fs-xs);
  font-weight: 800;
}

.inf-code-badge--input {
  background: rgba(37, 99, 235, 0.12);
  color: #1d4ed8;
  min-width: auto;
  border-radius: 6px;
}

@media (max-width: 900px) {
  .inf-formula { grid-template-columns: 1fr; }
  .inf-op, .inf-engine { padding: 8px 0; }
  .inf-rule-map { grid-template-columns: 1fr; }
  .inf-demo-grid { grid-template-columns: 1fr; }
  .inf-code-panels { grid-template-columns: 1fr; }
  .inf-code-map-head,
  .inf-code-map-row { grid-template-columns: 1fr; }
  .inf-code-map-head > span + span,
  .inf-code-map-ttl { border-left: none; border-top: 1px solid var(--border-soft); }
}