html,
body {
  margin: 0;
  padding: 0;
  min-height: 100%;
  background:
    radial-gradient(circle at top, #eaf4ff 0%, #dbeeff 28%, #c8e3ff 55%, #edf7ff 100%);
  color: #12304d;
  font-family: "Inter", "Segoe UI", "Helvetica Neue", Arial, sans-serif;
}

* {
  box-sizing: border-box;
}

body {
  line-height: 1.6;
}

button {
  font: inherit;
}

a {
  color: inherit;
}

code {
  padding: 2px 7px;
  border-radius: 999px;
  background: #e8f3ff;
  color: #1c5f9a;
  font-family: "SFMono-Regular", Consolas, "Liberation Mono", Menlo, monospace;
  font-size: 0.92em;
}

#app {
  min-height: 100vh;
}

.home {
  min-height: 100vh;
  display: grid;
  place-items: center;
  padding: 32px;
}

.home-card {
  width: min(960px, 100%);
  padding: 48px;
  border: 1px solid rgba(31, 91, 154, 0.14);
  border-radius: 32px;
  background: rgba(255, 255, 255, 0.74);
  backdrop-filter: blur(16px);
  box-shadow: 0 24px 70px rgba(43, 108, 176, 0.14);
}

.eyebrow {
  margin: 0 0 10px;
  color: #2568a8;
  font-size: 12px;
  font-weight: 700;
  letter-spacing: 0.14em;
  text-transform: uppercase;
}

.home-title {
  margin: 0;
  font-size: clamp(48px, 9vw, 92px);
  line-height: 0.92;
  letter-spacing: -0.05em;
  color: #0c2740;
}

.home-subtitle {
  margin: 18px 0 8px;
  max-width: 720px;
  color: #48627b;
  font-size: 18px;
}

.home-date {
  margin: 0 0 28px;
  color: #6a84a0;
  font-size: 15px;
}

.home-buttons {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 16px;
  margin-top: 28px;
}

.home-button,
.tab-button,
.section-nav button,
.turn-button {
  cursor: pointer;
  border: 1px solid rgba(37, 104, 168, 0.14);
  border-radius: 20px;
  background: rgba(255, 255, 255, 0.78);
  color: #18466f;
  transition: 150ms ease;
}

.home-button {
  padding: 22px 20px;
  text-align: left;
}

.home-button:hover,
.tab-button:hover,
.section-nav button:hover,
.turn-button:hover {
  background: rgba(235, 246, 255, 0.98);
  transform: translateY(-1px);
}

.home-button-title {
  display: block;
  margin-bottom: 8px;
  font-size: 22px;
  font-weight: 700;
}

.home-button-text {
  display: block;
  color: #5a7691;
  font-size: 14px;
}

.page-shell {
  max-width: 1240px;
  margin: 0 auto;
  padding: 28px 24px 64px;
}

.page-topbar {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 16px;
  margin-bottom: 24px;
}

.brand-lockup h1 {
  margin: 2px 0 0;
  font-size: clamp(34px, 5vw, 58px);
  line-height: 0.96;
  letter-spacing: -0.04em;
  color: #0e2c47;
}

.brand-lockup p {
  margin: 10px 0 0;
  max-width: 820px;
  color: #54708a;
  font-size: 17px;
}

.page-actions {
  display: flex;
  gap: 10px;
  flex-wrap: wrap;
}

.ghost-button,
.page-switch {
  padding: 10px 14px;
  border: 1px solid rgba(37, 104, 168, 0.14);
  border-radius: 999px;
  background: rgba(255, 255, 255, 0.74);
  color: #19476f;
  cursor: pointer;
}

.page-switch.active,
.tab-button.active,
.section-nav button.active,
.turn-button.active {
  background: linear-gradient(180deg, #2684d9, #1e6fba);
  border-color: rgba(20, 78, 130, 0.8);
  color: #f9fcff;
  box-shadow: 0 10px 26px rgba(31, 103, 168, 0.24);
}

.page-nav {
  display: flex;
  flex-wrap: wrap;
  gap: 10px;
  margin-bottom: 24px;
}

.page-switch {
  padding: 11px 16px;
}

.page-content {
  display: grid;
  gap: 18px;
}

.section-nav {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 12px;
  padding: 14px;
  border: 1px solid rgba(37, 104, 168, 0.12);
  border-radius: 28px;
  background: rgba(255, 255, 255, 0.48);
  box-shadow: inset 0 1px 0 rgba(255, 255, 255, 0.55);
}

.section-nav button {
  padding: 15px 16px;
  text-align: left;
}

.tab-title {
  display: block;
  margin-bottom: 4px;
  font-size: 18px;
  font-weight: 700;
}

.tab-text {
  display: block;
  color: inherit;
  opacity: 0.82;
  font-size: 14px;
}

.content-page {
  display: none;
}

.content-page.active {
  display: block;
}

.vertical-stack {
  display: grid;
  gap: 18px;
}

.card {
  padding: 24px 24px 22px;
  border: 1px solid rgba(37, 104, 168, 0.12);
  border-radius: 28px;
  background: rgba(255, 255, 255, 0.74);
  box-shadow: 0 18px 50px rgba(43, 108, 176, 0.08);
}

.card h2,
.card h3,
.card h4 {
  margin: 0 0 10px;
  color: #0f304d;
}

.card p:last-child,
.card ul:last-child,
.card pre:last-child,
.card table:last-child {
  margin-bottom: 0;
}

.card p,
.card li {
  color: #45627c;
  font-size: 15px;
}

.card ul {
  margin: 0;
  padding-left: 18px;
}

.two-col,
.three-col,
.metrics-grid,
.issue-grid,
.design-grid {
  display: grid;
  gap: 18px;
}

.two-col {
  grid-template-columns: repeat(2, minmax(0, 1fr));
}

.three-col,
.design-grid {
  grid-template-columns: repeat(3, minmax(0, 1fr));
}

.metrics-grid {
  grid-template-columns: repeat(4, minmax(0, 1fr));
}

.issue-grid {
  grid-template-columns: repeat(2, minmax(0, 1fr));
}

.metric-card {
  padding: 20px 20px 18px;
  border-radius: 24px;
  border: 1px solid rgba(37, 104, 168, 0.12);
  background: linear-gradient(180deg, rgba(255, 255, 255, 0.94), rgba(234, 244, 255, 0.9));
  box-shadow: 0 14px 32px rgba(43, 108, 176, 0.1);
}

.metric-label {
  margin: 0 0 6px;
  color: #2671b7;
  font-size: 12px;
  font-weight: 700;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.metric-value {
  margin: 0;
  font-size: 30px;
  font-weight: 800;
  color: #0e2e4b;
}

.metric-note {
  margin: 8px 0 0;
  color: #59758f;
  font-size: 14px;
}

.pipeline-grid {
  display: grid;
  grid-template-columns: repeat(5, minmax(0, 1fr));
  gap: 14px;
}

.component-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 16px;
}

.component-stage {
  position: relative;
  padding: 26px;
  border-radius: 30px;
  background: rgba(255, 255, 255, 0.28);
}

.simple-stage {
  display: grid;
  gap: 22px;
}

.component-stage-grid {
  position: relative;
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 18px;
}

.component-overlay-svg {
  position: absolute;
  inset: 0;
  width: 100%;
  height: 100%;
  pointer-events: none;
  z-index: 1;
}

.overlay-label {
  position: absolute;
  z-index: 3;
  padding: 7px 13px;
  border-radius: 999px;
  background: rgba(255, 255, 255, 0.97);
  font-size: 13px;
  font-weight: 900;
  letter-spacing: 0.1em;
  text-transform: uppercase;
}

.overlay-label.agent {
  top: -10px;
  left: 18px;
  color: #185e99;
}

.overlay-label.judge {
  top: 116px;
  right: 18px;
  color: #16758d;
}

.group-stage {
  position: relative;
}

.group-badge {
  display: inline-flex;
  align-items: center;
  margin: 0 0 -2px 18px;
  padding: 8px 14px;
  border-radius: 999px;
  background: rgba(255, 255, 255, 0.97);
  color: #1b68ac;
  font-size: 13px;
  font-weight: 900;
  letter-spacing: 0.1em;
  text-transform: uppercase;
  position: relative;
  z-index: 2;
}

.group-frame {
  position: relative;
  padding: 24px;
  border: 4px dashed rgba(77, 170, 204, 0.72);
  border-radius: 30px;
}

.judge-frame-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 18px;
}

.component-card {
  position: relative;
  z-index: 2;
  padding: 18px 18px 16px;
  border-radius: 24px;
  border: 1px solid rgba(37, 104, 168, 0.12);
  background: linear-gradient(180deg, rgba(255, 255, 255, 0.95), rgba(238, 247, 255, 0.9));
}

.component-name {
  margin: 0 0 6px;
  color: #1a6db1;
  font-size: 15px;
  font-weight: 900;
  letter-spacing: 0.1em;
  text-transform: uppercase;
}

.map-stack {
  display: grid;
  gap: 16px;
}

.map-row {
  display: grid;
  grid-template-columns: 1fr 84px 1fr;
  gap: 14px;
  align-items: stretch;
}

.map-box {
  padding: 16px 18px;
  border-radius: 22px;
  border: 1px solid rgba(37, 104, 168, 0.12);
  background: rgba(255, 255, 255, 0.82);
}

.map-arrow {
  display: grid;
  place-items: center;
  border-radius: 22px;
  background: linear-gradient(180deg, rgba(223, 240, 255, 0.95), rgba(202, 228, 255, 0.95));
  color: #1a6db1;
  font-size: 30px;
  font-weight: 800;
}

.map-list {
  display: flex;
  flex-wrap: wrap;
  gap: 8px;
  margin-top: 10px;
}

.chip {
  display: inline-flex;
  align-items: center;
  padding: 7px 10px;
  border-radius: 999px;
  background: #e7f3ff;
  color: #1e649f;
  font-size: 13px;
  font-weight: 700;
}

.rule-rank {
  display: inline-flex;
  justify-content: center;
  padding: 8px 10px;
  border-radius: 999px;
  background: #dff0ff;
  color: #1d6aaf;
  font-size: 12px;
  font-weight: 800;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.rule-tree {
  display: grid;
  gap: 12px;
}

.rule-flow-row {
  display: grid;
  grid-template-columns: 110px 1fr 54px 1fr;
  gap: 14px;
  align-items: center;
  padding: 14px 16px;
  border-radius: 24px;
  border: 1px solid rgba(37, 104, 168, 0.12);
  background: rgba(255, 255, 255, 0.86);
}

.rule-name {
  color: #0f304d;
  font-weight: 800;
}

.rule-target {
  color: #1a6db1;
  font-weight: 800;
}

.rule-tree-arrow {
  text-align: center;
  color: #2b78bc;
  font-size: 28px;
  font-weight: 900;
}

.rule-accept {
  padding: 16px 18px;
  border-radius: 24px;
  background: linear-gradient(180deg, rgba(226, 242, 255, 0.95), rgba(242, 249, 255, 0.96));
  border: 1px solid rgba(37, 104, 168, 0.12);
  color: #204666;
  font-weight: 600;
}

.flow-stack {
  display: grid;
  gap: 16px;
}

.flow-step {
  display: grid;
  grid-template-columns: 120px 1fr;
  gap: 18px;
  align-items: stretch;
}

.flow-index {
  display: flex;
  align-items: center;
  justify-content: center;
  border-radius: 24px;
  background: linear-gradient(180deg, #2d88da, #1f6fb8);
  color: white;
  font-size: 28px;
  font-weight: 800;
}

.flow-body {
  padding: 18px 20px;
  border-radius: 24px;
  border: 1px solid rgba(37, 104, 168, 0.12);
  background: rgba(255, 255, 255, 0.82);
}

.system-diagram {
  display: grid;
  grid-template-columns: 1fr 110px 1fr;
  gap: 18px;
  align-items: center;
}

.system-node {
  padding: 22px;
  border-radius: 26px;
  border: 1px solid rgba(37, 104, 168, 0.14);
  background: linear-gradient(180deg, rgba(255, 255, 255, 0.95), rgba(234, 245, 255, 0.92));
}

.system-node h3 {
  margin-bottom: 8px;
}

.system-link {
  text-align: center;
  color: #1a6db1;
  font-size: 28px;
  font-weight: 800;
}

.process-flow {
  display: grid;
  grid-template-columns: minmax(0, 1fr) 64px minmax(0, 1fr) 64px minmax(0, 1fr);
  gap: 14px;
  align-items: stretch;
}

.evaluation-flow {
  grid-template-columns: minmax(0, 1fr) 64px minmax(0, 1fr);
}

.process-node {
  padding: 22px;
  border-radius: 26px;
  border: 1px solid rgba(37, 104, 168, 0.14);
  background: linear-gradient(180deg, rgba(255, 255, 255, 0.95), rgba(234, 245, 255, 0.92));
}

.process-node h4 {
  margin: 0 0 8px;
  color: #12395f;
  font-size: 24px;
}

.process-arrow {
  display: grid;
  place-items: center;
  color: #2b78bc;
  font-size: 32px;
  font-weight: 900;
}

.io-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 18px;
}

.io-node-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 24px;
}

.file-card {
  padding: 18px 18px 16px;
  border-radius: 24px;
  border: 1px solid rgba(37, 104, 168, 0.12);
  background: rgba(255, 255, 255, 0.86);
}

.io-node-card {
  padding: 30px 30px 24px;
}

.file-label {
  margin: 0 0 8px;
  color: #1d6bb0;
  font-size: 12px;
  font-weight: 800;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.io-section {
  margin-top: 28px;
  padding-top: 20px;
  border-top: 1px solid rgba(37, 104, 168, 0.12);
}

.io-section:first-of-type {
  margin-top: 20px;
}

.io-section h4 {
  margin: 0 0 10px;
  color: #11395f;
  font-size: 16px;
}

.pipeline-card {
  position: relative;
  min-height: 210px;
}

.pipeline-card::after {
  content: "→";
  position: absolute;
  right: -13px;
  top: 26px;
  color: #4a97dd;
  font-size: 22px;
}

.pipeline-card:last-child::after {
  display: none;
}

.stage-number {
  display: inline-block;
  margin-bottom: 10px;
  padding: 4px 9px;
  border-radius: 999px;
  background: #dbedff;
  color: #1b6bb1;
  font-size: 12px;
  font-weight: 700;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.mono-block,
.snippet {
  margin: 0;
  padding: 16px 18px;
  border-radius: 22px;
  background: linear-gradient(180deg, #16395b, #112f4b);
  color: #ecf7ff;
  overflow: auto;
  white-space: pre-wrap;
  word-break: break-word;
  font-family: "SFMono-Regular", Consolas, "Liberation Mono", Menlo, monospace;
  font-size: 14px;
  line-height: 1.55;
}

.turn-layout {
  display: grid;
  grid-template-columns: 280px minmax(0, 1fr);
  gap: 18px;
}

.turn-list {
  display: grid;
  gap: 10px;
  max-height: 780px;
  overflow: auto;
  padding-right: 4px;
}

.turn-button {
  padding: 14px 14px 12px;
  text-align: left;
}

.turn-index {
  display: block;
  font-size: 13px;
  font-weight: 700;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.turn-meta {
  display: block;
  margin-top: 4px;
  color: inherit;
  opacity: 0.82;
  font-size: 13px;
}

.badge-row {
  display: flex;
  flex-wrap: wrap;
  gap: 10px;
  margin-top: 14px;
}

.badge {
  display: inline-flex;
  align-items: center;
  padding: 7px 11px;
  border-radius: 999px;
  background: #e8f3ff;
  color: #1c5f9a;
  font-size: 13px;
  font-weight: 700;
}

.edit-list {
  display: grid;
  gap: 12px;
}

.edit-card {
  padding: 16px 18px;
  border-radius: 20px;
  background: rgba(238, 247, 255, 0.9);
  border: 1px solid rgba(37, 104, 168, 0.1);
}

.edit-label {
  margin: 0 0 6px;
  color: #2472b7;
  font-size: 12px;
  font-weight: 700;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.trace {
  display: grid;
  gap: 12px;
}

.trace-item {
  padding-left: 18px;
  border-left: 3px solid #78b4e7;
}

.trace-item h4 {
  margin: 0 0 6px;
}

.eval-table {
  width: 100%;
  border-collapse: collapse;
}

.eval-table th,
.eval-table td {
  padding: 11px 12px;
  border-bottom: 1px solid rgba(37, 104, 168, 0.1);
  text-align: left;
  vertical-align: top;
  font-size: 14px;
}

.eval-table th {
  color: #1c6ab0;
  font-size: 12px;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.callout {
  padding: 20px 22px;
  border: 1px solid rgba(37, 104, 168, 0.14);
  border-radius: 24px;
  background: linear-gradient(180deg, rgba(227, 241, 255, 0.94), rgba(245, 251, 255, 0.96));
  color: #234c75;
}

.muted {
  color: #5e7993;
}

.case-selector {
  position: static;
}

.run-accordion {
  display: grid;
  gap: 12px;
}

.run-group {
  display: grid;
  gap: 10px;
}

.run-toggle.active,
.case-select-button.active,
.run-toggle:hover,
.case-select-button:hover {
  box-shadow: 0 10px 24px rgba(31, 103, 168, 0.16);
}

.run-toggle,
.case-select-button {
  width: 100%;
  text-align: left;
  cursor: pointer;
  border: 1px solid rgba(37, 104, 168, 0.12);
  border-radius: 18px;
  background: rgba(255, 255, 255, 0.84);
  color: #18466f;
}

.run-toggle {
  display: flex;
  justify-content: space-between;
  gap: 12px;
  padding: 14px 16px;
  align-items: center;
}

.run-toggle.active,
.case-select-button.active {
  background: linear-gradient(180deg, #2684d9, #1e6fba);
  border-color: rgba(20, 78, 130, 0.8);
  color: #f9fcff;
}

.run-toggle-title,
.case-select-title {
  display: block;
  font-weight: 700;
}

.run-toggle-left {
  display: inline-flex;
  align-items: center;
  gap: 10px;
  min-width: 0;
}

.run-toggle-caret {
  display: inline-block;
  font-size: 18px;
  line-height: 1;
  opacity: 0.9;
}

.run-toggle-meta,
.case-select-meta {
  display: block;
  margin-top: 4px;
  font-size: 13px;
  opacity: 0.82;
}

.run-case-list {
  display: none;
  gap: 10px;
  padding: 0 6px 8px 18px;
}

.run-case-list.expanded {
  display: grid;
}

.case-select-button {
  padding: 12px 14px;
}

.case-select-meta {
  color: #7c91a5;
}

.case-select-button.active .case-select-meta {
  color: rgba(249, 252, 255, 0.82);
}

.selected-file-name {
  margin-top: 6px;
  font-size: 14px;
}

.compact-nav {
  grid-template-columns: repeat(3, minmax(0, 1fr));
}

.snapshot-top-grid,
.mapping-board,
.coverage-grid,
.detail-chip-block,
.record-grid,
.custody-steps,
.comparison-bars {
  display: grid;
  gap: 18px;
}

.snapshot-top-grid {
  grid-template-columns: minmax(0, 1.3fr) minmax(280px, 0.8fr);
}

.record-grid {
  grid-template-columns: repeat(2, minmax(0, 1fr));
  margin-top: 16px;
}

.record-cell {
  padding: 14px;
  border-radius: 18px;
  background: rgba(235, 246, 255, 0.82);
  border: 1px solid rgba(37, 104, 168, 0.1);
}

.record-key,
.detail-label {
  display: block;
  margin-bottom: 6px;
  color: #2472b7;
  font-size: 12px;
  font-weight: 700;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.record-value {
  color: #12304d;
  font-weight: 600;
}

.record-section,
.record-footer,
.hypothesis-box,
.observation-callout {
  margin-top: 18px;
}

.record-section h4,
.observation-callout strong {
  margin: 0 0 10px;
  color: #12395f;
}

.observation-block {
  margin-top: 18px;
  max-height: 560px;
}

.tag-box-grid {
  display: grid;
  grid-template-columns: 1fr;
  gap: 10px;
  margin-top: 18px;
}

.tag-box-card {
  padding: 14px 16px;
  border-radius: 18px;
  background: rgba(235, 246, 255, 0.84);
  border: 1px solid rgba(37, 104, 168, 0.1);
  color: #12395f;
}

.custody-steps {
  gap: 10px;
}

.custody-step {
  padding: 14px;
  border-left: 4px solid #5ea9df;
  border-radius: 14px;
  background: rgba(255, 255, 255, 0.7);
}

.custody-stage {
  display: block;
  margin-bottom: 4px;
  font-weight: 700;
  color: #144a78;
}

.mapping-board {
  grid-template-columns: minmax(0, 1fr) 56px minmax(0, 1fr) 56px minmax(0, 1fr);
  align-items: start;
}

.mapping-column {
  display: grid;
  gap: 14px;
  min-width: 0;
}

.mapping-column h4 {
  margin: 0;
  color: #133b61;
}

.mapping-divider {
  display: grid;
  place-items: center;
  color: #2b78bc;
  font-size: 32px;
  font-weight: 900;
}

.mapping-card {
  padding: 16px 18px;
  border-radius: 22px;
  border: 1px solid rgba(37, 104, 168, 0.12);
  background: rgba(255, 255, 255, 0.88);
}

.mapping-card p {
  margin: 8px 0 0;
}

.mapping-helper {
  color: #6b8197;
  font-size: 13px;
}

.mapping-example {
  margin: 12px 0 0;
  padding: 12px 14px;
  border-radius: 16px;
  background: rgba(237, 246, 255, 0.92);
  color: #173d61;
  white-space: pre-wrap;
  word-break: break-word;
  font-family: "SFMono-Regular", Consolas, "Liberation Mono", Menlo, monospace;
  font-size: 13px;
  line-height: 1.5;
}

.mapping-subsection {
  margin-top: 14px;
}

.mapping-steps {
  margin: 8px 0 0;
  padding-left: 20px;
  color: #45627c;
}

.mapping-steps li + li {
  margin-top: 6px;
}

.rule-order {
  display: inline-flex;
  margin-bottom: 8px;
  padding: 4px 9px;
  border-radius: 999px;
  background: #dbedff;
  color: #1b6bb1;
  font-size: 12px;
  font-weight: 700;
}

.rule-return {
  margin-top: 12px;
  color: #165b93;
  font-weight: 800;
}

.tag-summary-card {
  background: linear-gradient(180deg, rgba(232, 244, 255, 0.98), rgba(255, 255, 255, 0.9));
}

.turn-table-wrap {
  overflow-x: auto;
}

.exploration-table td {
  min-width: 130px;
}

.exploration-table td:nth-child(2),
.exploration-table td:nth-child(3) {
  min-width: 260px;
}

.replacement-summary-list {
  display: grid;
  gap: 8px;
}

.replacement-summary-item {
  display: flex;
  align-items: flex-start;
  gap: 10px;
}

.replacement-index {
  flex: 0 0 auto;
  display: inline-flex;
  align-items: center;
  justify-content: center;
  min-width: 22px;
  height: 22px;
  margin-top: 1px;
  border-radius: 999px;
  background: #e5f2ff;
  color: #1c63a0;
  font-size: 12px;
  font-weight: 800;
}

.replacement-change {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 8px;
  min-width: 0;
}

.replacement-before,
.replacement-after {
  display: inline-flex;
  align-items: center;
  padding: 4px 8px;
  border-radius: 999px;
  background: rgba(231, 243, 255, 0.9);
  color: #12395f;
  font-size: 13px;
  font-weight: 600;
  max-width: 100%;
  word-break: break-word;
}

.replacement-after {
  background: rgba(216, 239, 255, 0.95);
  color: #165b93;
}

.replacement-arrow {
  color: #2a78bc;
  font-weight: 900;
}

.replacement-empty {
  color: #70869a;
  font-size: 13px;
  font-style: italic;
}

.exploration-table tbody tr {
  cursor: pointer;
}

.exploration-table tbody tr:hover {
  background: rgba(232, 243, 255, 0.7);
}

.exploration-table tbody tr.active-row {
  background: rgba(219, 237, 255, 0.72);
}

.muted-chip {
  background: #eef5fb;
  color: #6b8197;
}

.small-chip {
  font-size: 12px;
  padding: 5px 9px;
}

.coverage-grid {
  grid-template-columns: repeat(2, minmax(0, 1fr));
}

.coverage-card {
  padding: 18px;
  border-radius: 22px;
  border: 1px solid rgba(37, 104, 168, 0.12);
  background: rgba(255, 255, 255, 0.84);
}

.coverage-card.explored {
  background: linear-gradient(180deg, rgba(233, 246, 255, 0.96), rgba(255, 255, 255, 0.88));
}

.coverage-card.unexplored {
  opacity: 0.72;
}

.coverage-head {
  display: flex;
  justify-content: space-between;
  gap: 12px;
  margin-bottom: 8px;
  color: #12395f;
}

.branch-bubble-stack {
  display: grid;
  grid-template-columns: 1fr;
  gap: 14px;
}

.exploration-overview-card {
  display: grid;
  gap: 14px;
}

.overview-hypothesis {
  padding: 16px 18px;
  border-radius: 20px;
  background: rgba(236, 246, 255, 0.82);
  border: 1px solid rgba(37, 104, 168, 0.1);
}

.overview-hypothesis p {
  margin: 0;
}

.compact-branch-bubbles {
  gap: 12px;
}

.branch-bubble-card {
  position: relative;
  padding-left: 22px;
}

.branch-bubble-card.compact {
  padding: 16px 18px 16px 24px;
}

.branch-bubble-card::before {
  content: "";
  position: absolute;
  left: 10px;
  top: 22px;
  width: 10px;
  height: 10px;
  border-radius: 999px;
  background: #4dace3;
  box-shadow: 0 0 0 6px rgba(77, 172, 227, 0.14);
}

.branch-bubble-card.unexplored::before {
  background: #b5c7d9;
  box-shadow: 0 0 0 6px rgba(181, 199, 217, 0.18);
}

.case-turn-layout {
  grid-template-columns: 260px minmax(0, 1fr);
}

.detail-chip-block {
  grid-template-columns: repeat(2, minmax(0, 1fr));
  margin-top: 18px;
}

.hypothesis-box {
  padding: 16px 18px;
  border-radius: 18px;
  background: rgba(238, 247, 255, 0.9);
  border: 1px solid rgba(37, 104, 168, 0.1);
}

.metric-tag {
  font-size: 22px;
  line-height: 1.2;
}

.bar-row {
  display: grid;
  grid-template-columns: 200px minmax(0, 1fr) 72px;
  gap: 12px;
  align-items: center;
}

.bar-label {
  color: #12395f;
  font-weight: 600;
}

.bar-track {
  height: 12px;
  border-radius: 999px;
  background: rgba(214, 231, 247, 0.9);
  overflow: hidden;
}

.bar-fill {
  height: 100%;
  border-radius: inherit;
  background: linear-gradient(90deg, #2d88da, #1f6fb8);
}

.bar-fill.is-secondary {
  background: linear-gradient(90deg, #72b8e8, #49a1cf);
}

.analysis-dynamic-grid {
  align-items: start;
}

.analysis-case-stack {
  display: grid;
  gap: 14px;
  margin-top: 16px;
}

.analysis-case-card {
  padding: 16px 18px;
  border-radius: 22px;
  border: 1px solid rgba(37, 104, 168, 0.12);
  background: rgba(255, 255, 255, 0.86);
}

.compact-bar-row {
  grid-template-columns: 88px minmax(0, 1fr) 68px;
}

.timing-strip {
  display: grid;
  grid-template-columns: repeat(20, minmax(0, 1fr));
  gap: 6px;
  align-items: end;
  margin-top: 16px;
  padding-top: 10px;
  border-top: 1px solid rgba(37, 104, 168, 0.1);
}

.timing-bar-wrap {
  display: grid;
  gap: 6px;
  justify-items: center;
}

.timing-bar {
  width: 100%;
  min-width: 10px;
  border-radius: 10px 10px 4px 4px;
  background: linear-gradient(180deg, #86c4ee, #2b78bc);
}

.timing-bar-wrap span {
  color: #6b8197;
  font-size: 11px;
  font-weight: 700;
}

@media (max-width: 1080px) {
  .home-buttons,
  .section-nav,
  .metrics-grid,
  .three-col,
  .design-grid,
  .component-grid,
  .judge-frame-grid,
  .two-col,
  .issue-grid,
  .turn-layout,
  .pipeline-grid,
  .io-node-grid,
  .io-grid,
  .system-diagram {
    grid-template-columns: 1fr;
  }

  .map-row,
  .flow-step,
  .rule-flow-row,
  .mapping-board,
  .snapshot-top-grid,
  .detail-chip-block,
  .bar-row,
  .process-flow,
  .evaluation-flow {
    grid-template-columns: 1fr;
  }

  .page-topbar {
    flex-direction: column;
    align-items: flex-start;
  }

  .record-grid,
  .coverage-grid,
  .compact-nav {
    grid-template-columns: 1fr;
  }
}