:root {
  --paper: #f8f4ea;
  --panel: #fffdf7;
  --panel-strong: #f0eadc;
  --ink: #1f1c17;
  --ink-soft: #5e5649;
  --ink-faint: #8b806d;
  --rule: #d8ceba;
  --rule-soft: #e8dfcf;
  --accent: #8d4b30;
  --accent-strong: #ba5f3a;
  --verified: #2d8060;
  --partial: #b77a20;
  --pending: #7b7f86;
  --untracked: #9f988c;
  --link: #786345;
  --shadow: 0 18px 50px rgba(44, 36, 26, 0.12);
  --sans: "Inter", -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  --serif: "EB Garamond", Georgia, serif;
  --mono: "JetBrains Mono", "SFMono-Regular", Consolas, monospace;
}

* {
  box-sizing: border-box;
}

html,
body {
  min-height: 100%;
  margin: 0;
}

body {
  color: var(--ink);
  background:
    linear-gradient(180deg, rgba(248, 244, 234, 0.94), rgba(248, 244, 234, 1)),
    radial-gradient(circle at 12% 0%, rgba(186, 95, 58, 0.08), transparent 34%),
    var(--paper);
  font-family: var(--sans);
  -webkit-font-smoothing: antialiased;
}

body.modal-open {
  overflow: hidden;
}

a {
  color: inherit;
  text-underline-offset: 0.18em;
}

button,
input,
select {
  font: inherit;
}

button,
select,
input[type="search"] {
  border: 1px solid var(--rule);
  background: var(--panel);
  color: var(--ink);
}

button {
  min-height: 2.25rem;
  padding: 0 0.75rem;
  border-radius: 6px;
  cursor: pointer;
  transition: border-color 0.18s ease, color 0.18s ease, background 0.18s ease;
}

button:hover,
button:focus-visible {
  border-color: var(--accent);
  color: var(--accent);
  outline: none;
}

.topbar {
  min-height: 6.25rem;
  display: grid;
  grid-template-columns: minmax(7rem, 11rem) minmax(20rem, 1fr) minmax(18rem, 31rem);
  gap: 2rem;
  align-items: center;
  padding: 1.25rem clamp(1rem, 3vw, 2.5rem);
  border-bottom: 1px solid var(--rule);
  background: rgba(248, 244, 234, 0.92);
  backdrop-filter: blur(14px);
}

.back-link {
  justify-self: start;
  font-size: 0.78rem;
  font-weight: 700;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  color: var(--ink-soft);
  text-decoration: none;
  border-bottom: 1px solid transparent;
}

.back-link:hover {
  color: var(--accent);
  border-bottom-color: currentColor;
}

.eyebrow {
  margin: 0 0 0.2rem;
  color: var(--ink-faint);
  font-size: 0.72rem;
  font-weight: 700;
  letter-spacing: 0.16em;
  text-transform: uppercase;
}

h1 {
  margin: 0;
  font-family: var(--serif);
  font-size: clamp(2rem, 4vw, 3.4rem);
  font-weight: 600;
  line-height: 0.95;
}

.topbar-copy {
  margin: 0;
  color: var(--ink-soft);
  font-size: 0.96rem;
  line-height: 1.45;
}

.bridge-shell {
  height: calc(100vh - 6.25rem);
  min-height: 38rem;
  display: grid;
  grid-template-columns: minmax(17rem, 22rem) minmax(0, 1fr);
  overflow: hidden;
}

.controls {
  min-width: 0;
  background: rgba(255, 253, 247, 0.72);
  backdrop-filter: blur(12px);
}

.controls {
  border-right: 1px solid var(--rule);
  padding: 1rem;
  overflow: auto;
}

.graph-panel {
  position: relative;
  display: grid;
  grid-template-rows: auto minmax(0, 1fr);
  width: 100%;
  max-width: 100%;
  min-width: 0;
  min-height: 0;
  overflow: hidden;
}

.graph-toolbar {
  z-index: 2;
  display: grid;
  grid-template-columns: minmax(0, 1fr);
  width: 100%;
  max-width: 100%;
  min-width: 0;
  gap: 0.75rem;
  align-items: start;
  padding: 0.75rem 1rem;
  border-bottom: 1px solid var(--rule-soft);
  background: rgba(255, 253, 247, 0.86);
  backdrop-filter: blur(12px);
}

.graph-scroll {
  position: relative;
  min-width: 0;
  min-height: 0;
  overflow: auto;
  overscroll-behavior: contain;
}

#bridgeGraph {
  display: block;
  width: auto;
  height: auto;
  min-width: 100%;
  min-height: 100%;
  background:
    linear-gradient(var(--rule-soft) 1px, transparent 1px),
    linear-gradient(90deg, var(--rule-soft) 1px, transparent 1px);
  background-size: 42px 42px;
}

.control-block,
.control-grid,
.toggle-line,
.button-row {
  margin-bottom: 1rem;
}

.field-label {
  display: block;
  margin-bottom: 0.4rem;
  color: var(--ink-faint);
  font-size: 0.68rem;
  font-weight: 800;
  letter-spacing: 0.12em;
  text-transform: uppercase;
}

input[type="search"],
select {
  width: 100%;
  min-height: 2.5rem;
  border-radius: 6px;
  padding: 0 0.7rem;
}

input[type="search"]:focus,
select:focus {
  outline: 2px solid color-mix(in srgb, var(--accent) 35%, transparent);
  border-color: var(--accent);
}

.chip-row {
  display: flex;
  flex-wrap: wrap;
  gap: 0.45rem;
}

.chip {
  min-height: 2rem;
  padding: 0 0.62rem;
  font-size: 0.78rem;
  font-weight: 700;
}

.chip[data-active="true"] {
  border-color: currentColor;
  background: var(--panel-strong);
}

.chip[data-status="verified"] {
  color: var(--verified);
}

.chip[data-status="partial"] {
  color: var(--partial);
}

.chip[data-status="pending"] {
  color: var(--pending);
}

.chip[data-status="untracked"] {
  color: var(--untracked);
}

.control-grid {
  display: grid;
  grid-template-columns: 1fr;
  gap: 0.8rem;
}

.toggle-line {
  display: flex;
  align-items: center;
  gap: 0.55rem;
  color: var(--ink-soft);
  font-size: 0.9rem;
}

.toggle-line input {
  width: 1rem;
  height: 1rem;
  accent-color: var(--accent);
}

.button-row {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 0.6rem;
}

.stats {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 0.6rem;
  padding: 0.8rem;
  border: 1px solid var(--rule-soft);
  border-radius: 8px;
  background: rgba(255, 253, 247, 0.65);
}

.stats div {
  min-width: 0;
}

.stats dt {
  margin: 0 0 0.1rem;
  color: var(--ink-faint);
  font-size: 0.67rem;
  font-weight: 800;
  letter-spacing: 0.1em;
  text-transform: uppercase;
}

.stats dd {
  margin: 0;
  font-family: var(--serif);
  font-size: 1.35rem;
  font-weight: 600;
}

.graph-status {
  max-width: min(42rem, 100%);
  padding: 0.65rem 0.8rem;
  border: 1px solid var(--rule);
  border-radius: 8px;
  background: rgba(255, 253, 247, 0.9);
  color: var(--ink-soft);
  font-size: 0.82rem;
  box-shadow: var(--shadow);
}

.legend {
  display: flex;
  flex-wrap: wrap;
  gap: 0.5rem 0.7rem;
  align-items: center;
  justify-content: flex-start;
  width: fit-content;
  max-width: min(30rem, 100%);
  min-width: 0;
  box-sizing: border-box;
  padding: 0.55rem 0.68rem;
  border: 1px solid var(--rule);
  border-radius: 8px;
  background: rgba(255, 253, 247, 0.9);
  color: var(--ink-soft);
  font-size: 0.73rem;
  box-shadow: var(--shadow);
}

.dot,
.type-dot,
.legend-shape {
  display: inline-block;
  width: 0.7rem;
  height: 0.7rem;
  margin-right: 0.3rem;
  vertical-align: -0.08rem;
}

.dot,
.type-dot {
  border-radius: 50%;
}

.legend-shape {
  background: #bfb8aa;
  border: 1px solid rgba(83, 68, 49, 0.36);
  box-shadow: inset 0 0 0 1px rgba(255, 253, 247, 0.34);
}

.legend-shape.shape-circle { border-radius: 50%; }
.legend-shape.shape-square { border-radius: 2px; }
.legend-shape.shape-rounded { border-radius: 4px; }
.legend-shape.shape-diamond { transform: rotate(45deg); }
.legend-shape.shape-hex { clip-path: polygon(25% 0, 75% 0, 100% 50%, 75% 100%, 25% 100%, 0 50%); }
.legend-shape.kind-defn { background: #b9c6b8; }
.legend-shape.kind-thm { background: #c4b7a5; }
.legend-shape.kind-prop { background: #c0c3b1; }
.legend-shape.kind-lem { background: #b8c2bf; }
.legend-shape.kind-cor { background: #c7b6b4; }
.legend-shape.kind-exmp { background: #bdb8c8; }
.legend-shape.kind-eq { background: #c4beb2; }

.type-dot.kind-defn { background: #2f80a8; }
.type-dot.kind-thm { background: #9a4f9f; }
.type-dot.kind-prop { background: #c06f2d; }
.type-dot.kind-lem { background: #4f7f50; }
.type-dot.kind-cor { background: #b44d57; }
.type-dot.kind-exmp { background: #6c71b8; }
.type-dot.kind-eq { background: #4d7599; }

.dot.verified {
  background: var(--verified);
}

.dot.partial {
  background: var(--partial);
}

.dot.pending {
  background: var(--pending);
}

.dot.untracked {
  background: var(--untracked);
}

.line-dot {
  display: inline-block;
  width: 1.6rem;
  height: 0.12rem;
  margin-right: 0.3rem;
  background: var(--link);
  vertical-align: middle;
}

.status-ring {
  display: inline-block;
  width: 0.8rem;
  height: 0.8rem;
  margin-right: 0.3rem;
  border-radius: 50%;
  background: transparent;
  vertical-align: -0.12rem;
}

.status-ring.verified {
  border: 3px solid var(--verified);
}

.status-ring.partial {
  border: 3px dashed var(--partial);
}

.status-ring.pending {
  border: 3px dotted var(--pending);
}

.status-ring.untracked {
  border: 3px dotted var(--untracked);
}

.section-guide {
  stroke: var(--rule);
  stroke-opacity: 0.45;
  stroke-width: 1;
  stroke-dasharray: 4 10;
}

.section-label {
  fill: var(--ink-faint);
  font-size: 1.08rem;
  font-weight: 900;
  letter-spacing: 0.11em;
  text-transform: uppercase;
  paint-order: stroke;
  stroke: rgba(255, 253, 247, 0.9);
  stroke-width: 6px;
  stroke-linejoin: round;
}

.chapter-label {
  fill: var(--ink);
  font-family: var(--serif);
  font-size: 2.8rem;
  font-weight: 600;
  paint-order: stroke;
  stroke: rgba(255, 253, 247, 0.94);
  stroke-width: 7px;
  stroke-linejoin: round;
}

.link {
  fill: none;
  stroke: var(--link);
  stroke-opacity: 0.28;
  stroke-width: 1.2;
  marker-end: url(#arrow);
}

.link.dependency {
  stroke-opacity: 0.52;
  stroke-width: 2;
}

.link.local-order {
  stroke-dasharray: 3 7;
}

.node-body {
  cursor: pointer;
  filter: drop-shadow(0 2px 4px rgba(37, 29, 20, 0.22));
}

.node-halo {
  fill: none;
  stroke: var(--accent-strong);
  stroke-width: 4;
  opacity: 0;
  pointer-events: none;
}

.node.is-selected .node-halo {
  opacity: 1;
}

.node.is-dimmed {
  opacity: 0.28;
}

.node-label {
  pointer-events: none;
  font-family: var(--sans);
  font-weight: 900;
  letter-spacing: 0;
  fill: rgba(42, 33, 22, 0.82);
  paint-order: stroke;
  stroke: rgba(255, 253, 247, 0.32);
  stroke-width: 2px;
  stroke-linejoin: round;
  text-anchor: middle;
  text-transform: uppercase;
  transition: opacity 0.18s ease;
}

.detail-section {
  margin-bottom: 1.15rem;
}

.detail-id {
  display: inline-flex;
  max-width: 100%;
  padding: 0.22rem 0.45rem;
  border: 1px solid var(--rule-soft);
  border-radius: 5px;
  color: var(--accent);
  background: var(--panel);
  font-family: var(--mono);
  font-size: 0.74rem;
  overflow-wrap: anywhere;
}

.meta-line {
  display: flex;
  flex-wrap: wrap;
  gap: 0.45rem;
  margin: 0.85rem 0 1.05rem;
}

.detail-actions {
  margin: -0.25rem 0 1rem;
}

.primary-action {
  width: 100%;
  border-color: color-mix(in srgb, var(--accent) 45%, var(--rule));
  background: var(--accent);
  color: var(--panel);
  font-size: 0.82rem;
  font-weight: 800;
}

.primary-action:hover,
.primary-action:focus-visible {
  border-color: var(--accent);
  background: var(--panel);
  color: var(--accent);
}

.pill {
  display: inline-flex;
  align-items: center;
  min-height: 1.6rem;
  padding: 0 0.48rem;
  border: 1px solid var(--rule);
  border-radius: 999px;
  background: rgba(255, 253, 247, 0.78);
  color: var(--ink-soft);
  font-size: 0.72rem;
  font-weight: 800;
}

.pill.verified {
  color: var(--verified);
}

.pill.partial {
  color: var(--partial);
}

.pill.pending {
  color: var(--pending);
}

.pill.untracked {
  color: var(--untracked);
}

.detail-section h3 {
  margin: 0 0 0.45rem;
  color: var(--ink-faint);
  font-size: 0.7rem;
  font-weight: 900;
  letter-spacing: 0.12em;
  text-transform: uppercase;
}

.detail-section p {
  margin: 0 0 0.65rem;
  color: var(--ink-soft);
  font-size: 0.92rem;
  line-height: 1.5;
}

.thesis-excerpt {
  margin: 0;
  padding: 0.7rem 0 0.55rem;
  border-top: 1px solid var(--rule-soft);
  border-bottom: 1px solid var(--rule-soft);
  overflow-x: auto;
}

.thesis-svg-frame {
  min-width: min(100%, 30rem);
}

.thesis-svg-frame svg,
.thesis-excerpt object,
.thesis-excerpt img {
  display: block;
  width: 100%;
  max-width: 100%;
  height: auto;
  background: transparent;
}

.thesis-svg-frame svg,
.thesis-svg-frame text {
  user-select: text;
}

.thesis-excerpt figcaption {
  margin-top: 0.55rem;
  color: var(--ink-faint);
  font-size: 0.74rem;
}

.detail-list {
  margin: 0;
  padding: 0;
  list-style: none;
}

.detail-list li {
  padding: 0.55rem 0;
  border-top: 1px solid var(--rule-soft);
  color: var(--ink-soft);
  font-size: 0.86rem;
  line-height: 1.45;
}

.detail-list li:last-child {
  border-bottom: 1px solid var(--rule-soft);
}

.reference-list {
  display: grid;
  gap: 0.75rem;
  margin: 0;
  padding: 0;
  list-style: none;
}

.reference-list li {
  display: grid;
  gap: 0.25rem;
  padding: 0.85rem 0.95rem;
  border: 1px solid var(--rule-soft);
  border-radius: 8px;
  background: rgba(255, 253, 247, 0.72);
}

.reference-list span {
  color: var(--accent);
  font-family: var(--mono);
  font-size: 0.75rem;
  font-weight: 800;
}

.reference-list p {
  margin: 0;
  color: var(--ink);
  line-height: 1.45;
}

.reference-list small {
  color: var(--ink-faint);
  font-style: italic;
}

.source-link {
  color: var(--accent);
  font-family: var(--mono);
  font-size: 0.74rem;
  overflow-wrap: anywhere;
}

.graph-ref {
  color: var(--accent);
  font-family: var(--mono);
  font-size: 0.86em;
  font-weight: 800;
  text-decoration-thickness: 1px;
}

.proof-source {
  margin-top: 0.65rem;
}

.lean-record {
  padding: 0.75rem 0;
  border-top: 1px solid var(--rule-soft);
}

.lean-record:last-child {
  border-bottom: 1px solid var(--rule-soft);
}

pre {
  margin: 0.55rem 0;
  padding: 0.75rem;
  border: 1px solid var(--rule-soft);
  border-radius: 8px;
  overflow: auto;
  background: #25211b;
  color: #f8f4ea;
  font-family: var(--mono);
  font-size: 0.75rem;
  line-height: 1.45;
}

.empty-note {
  color: var(--ink-faint);
  font-style: italic;
}

.result-modal[hidden] {
  display: none;
}

.result-modal {
  position: fixed;
  inset: 0;
  z-index: 50;
  display: grid;
  place-items: center;
  padding: clamp(0.75rem, 2vw, 1.5rem);
}

.result-modal-backdrop {
  position: absolute;
  inset: 0;
  background: rgba(31, 28, 23, 0.48);
  backdrop-filter: blur(10px);
}

.result-modal-card {
  position: relative;
  width: min(86rem, calc(100vw - 1.5rem));
  max-height: min(56rem, calc(100vh - 1.5rem));
  overflow: auto;
  padding: clamp(1.15rem, 2.2vw, 2rem);
  border: 1px solid var(--rule);
  border-radius: 8px;
  background: var(--panel);
  box-shadow: 0 24px 80px rgba(31, 28, 23, 0.32);
}

.modal-close {
  position: sticky;
  top: 0;
  float: right;
  z-index: 2;
  width: 2.25rem;
  min-height: 2.25rem;
  padding: 0;
  border-radius: 50%;
  background: var(--panel);
  color: var(--ink-soft);
  font-size: 1.45rem;
  line-height: 1;
}

.modal-result-head {
  margin: 0 2.8rem 1.2rem 0;
  padding-bottom: 1rem;
  border-bottom: 1px solid var(--rule);
}

.modal-result-head h2 {
  margin: 0.4rem 0 0;
  font-family: var(--serif);
  font-size: clamp(2.2rem, 4vw, 4rem);
  font-weight: 600;
  line-height: 0.95;
}

.modal-tabs {
  display: flex;
  flex-wrap: wrap;
  gap: 0.45rem;
  margin: 0 0 1.05rem;
  padding-bottom: 0.8rem;
  border-bottom: 1px solid var(--rule-soft);
}

.modal-tab {
  min-height: 2.15rem;
  border-radius: 999px;
  padding: 0 0.85rem;
  color: var(--ink-soft);
  font-size: 0.78rem;
  font-weight: 800;
}

.modal-tab.is-active {
  border-color: var(--accent);
  background: var(--accent);
  color: var(--panel);
}

.modal-tab-panel[hidden] {
  display: none;
}

.modal-layout {
  display: grid;
  grid-template-columns: minmax(0, 1.1fr) minmax(21rem, 0.9fr);
  gap: 1.25rem 1.55rem;
}

.modal-thesis,
.modal-statement,
.modal-wide {
  grid-column: 1 / -1;
}

.thesis-excerpt-large {
  padding: 0;
  border: 0;
}

.result-modal .thesis-svg-frame {
  min-width: min(66rem, calc(100vw - 4.75rem));
  padding: clamp(1.15rem, 2vw, 1.55rem) clamp(0.85rem, 1.7vw, 1.25rem);
  border: 1px solid var(--rule-soft);
  border-radius: 8px;
  background:
    linear-gradient(180deg, rgba(255, 253, 247, 0.96), rgba(250, 247, 240, 0.96));
  overflow-x: auto;
}

.result-modal .thesis-svg-frame svg,
.result-modal .thesis-excerpt object,
.result-modal .thesis-excerpt img {
  width: min(64rem, 94%);
  max-width: none;
  margin: 0 auto;
}

.thesis-excerpt-large figcaption {
  padding: 0 0.25rem;
}

.modal-statement {
  padding: 0;
  border: 0;
  background: transparent;
}

.modal-statement-copy {
  max-width: none;
  margin: 0;
  padding: 0.95rem 1.1rem;
  border: 1px solid var(--rule-soft);
  border-radius: 8px;
  background: rgba(240, 234, 220, 0.42);
  color: var(--ink);
  font-size: 1rem;
  line-height: 1.5;
}

.thesis-proof-copy,
.bridge-scaffold,
.bridge-note,
.bridge-summary {
  padding: 0.95rem 1.1rem;
  border: 1px solid var(--rule-soft);
  border-radius: 8px;
  background: rgba(240, 234, 220, 0.42);
  color: var(--ink-soft);
  font-size: 0.98rem;
  line-height: 1.55;
  white-space: pre-wrap;
}

.bridge-scaffold p,
.bridge-summary p {
  margin: 0;
  color: var(--ink);
}

.motivation-summary {
  padding: 0.95rem 1.1rem;
  border: 1px solid var(--rule-soft);
  border-radius: 8px;
  background: rgba(240, 234, 220, 0.42);
  color: var(--ink);
  font-size: 0.98rem;
  line-height: 1.55;
}

.motivation-summary p {
  margin: 0;
}

.motivation-context-list {
  display: grid;
  gap: 0.8rem;
  margin: 0;
  padding: 0;
  list-style: none;
}

.motivation-context-list li {
  padding: 0.95rem 1.05rem;
  border: 1px solid var(--rule-soft);
  border-radius: 8px;
  background: rgba(255, 253, 247, 0.72);
}

.motivation-context-list p {
  margin: 0;
  color: var(--ink);
  line-height: 1.55;
}

.motivation-context-list span {
  display: block;
  margin-top: 0.65rem;
  color: var(--ink-faint);
  font-size: 0.72rem;
  font-weight: 900;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.bridge-move-list {
  display: grid;
  gap: 1rem;
}

.bridge-move {
  padding: 1rem;
  border: 1px solid var(--rule-soft);
  border-radius: 8px;
  background: rgba(255, 253, 247, 0.74);
}

.bridge-move > p {
  margin: 0.8rem 0;
  color: var(--ink);
  line-height: 1.58;
}

.bridge-move-head {
  display: grid;
  gap: 0.25rem;
}

.bridge-move-head span,
.bridge-lean-block h4,
.bridge-role-card h4 {
  margin: 0;
  color: var(--ink-faint);
  font-size: 0.68rem;
  font-weight: 900;
  letter-spacing: 0.12em;
  text-transform: uppercase;
}

.bridge-move-head strong {
  color: var(--ink);
  font-size: 1rem;
}

.bridge-ref-row {
  display: flex;
  flex-wrap: wrap;
  gap: 0.45rem;
  margin: 0.7rem 0;
}

.bridge-ref-row a {
  display: inline-flex;
  min-height: 1.75rem;
  align-items: center;
  padding: 0 0.58rem;
  border: 1px solid var(--rule-soft);
  border-radius: 999px;
  background: rgba(240, 234, 220, 0.36);
  font-family: var(--mono);
  font-size: 0.72rem;
}

.bridge-lean-block {
  margin-top: 0.9rem;
  padding-top: 0.8rem;
  border-top: 1px solid var(--rule-soft);
}

.bridge-lean-list {
  display: grid;
  gap: 0.55rem;
  margin: 0.65rem 0 0;
  padding: 0;
  list-style: none;
}

.bridge-lean-list li {
  display: grid;
  gap: 0.25rem;
  padding: 0.7rem 0.78rem;
  border: 1px solid var(--rule-soft);
  border-radius: 8px;
  background: rgba(240, 234, 220, 0.28);
}

.bridge-lean-list span {
  color: var(--ink-faint);
  font-size: 0.68rem;
  font-weight: 900;
  text-transform: uppercase;
}

.bridge-lean-list code,
.bridge-role-card code {
  color: var(--ink);
  font-family: var(--mono);
  font-size: 0.78rem;
  overflow-wrap: anywhere;
}

.bridge-lean-list p {
  margin: 0;
  color: var(--ink-soft);
  font-size: 0.88rem;
  line-height: 1.45;
}

.bridge-role-grid {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(18rem, 1fr));
  gap: 0.85rem;
}

.bridge-role-card {
  padding: 0.9rem;
  border: 1px solid var(--rule-soft);
  border-radius: 8px;
  background: rgba(255, 253, 247, 0.72);
}

.bridge-role-card ul {
  display: grid;
  gap: 0.65rem;
  margin: 0.75rem 0 0;
  padding: 0;
  list-style: none;
}

.bridge-role-card li {
  display: grid;
  gap: 0.25rem;
}

.bridge-role-card li span {
  color: var(--ink-soft);
  font-size: 0.84rem;
  line-height: 1.35;
}

.bridge-role-card .bridge-more {
  color: var(--ink-faint);
  font-size: 0.82rem;
  font-style: italic;
}

.result-modal .detail-section p {
  font-size: 0.98rem;
}

.result-modal pre {
  font-size: 0.82rem;
}

.strategy-intro {
  padding: 0.95rem 1.1rem;
  border: 1px solid var(--rule-soft);
  border-radius: 8px;
  background: rgba(240, 234, 220, 0.42);
}

.strategy-intro p {
  margin: 0;
  color: var(--ink);
}

.strategy-list {
  margin: 0;
  padding: 0;
  list-style: none;
  counter-reset: strategy;
}

.strategy-list li {
  counter-increment: strategy;
  position: relative;
  min-height: 2.4rem;
  padding: 0.65rem 0.75rem 0.65rem 2.8rem;
  border-top: 1px solid var(--rule-soft);
  color: var(--ink-soft);
  line-height: 1.45;
}

.strategy-list li::before {
  content: counter(strategy);
  position: absolute;
  left: 0;
  top: 0.62rem;
  width: 1.8rem;
  height: 1.8rem;
  display: grid;
  place-items: center;
  border: 1px solid var(--rule);
  border-radius: 50%;
  color: var(--accent);
  background: var(--panel);
  font-size: 0.78rem;
  font-weight: 800;
}

.strategy-list li:last-child {
  border-bottom: 1px solid var(--rule-soft);
}

.tactic-row {
  display: flex;
  flex-wrap: wrap;
  gap: 0.45rem;
}

.tactic-chip {
  display: inline-flex;
  align-items: center;
  gap: 0.36rem;
  min-height: 1.8rem;
  padding: 0 0.62rem;
  border: 1px solid var(--rule-soft);
  border-radius: 999px;
  background: rgba(255, 253, 247, 0.82);
  color: var(--ink-soft);
  font-size: 0.78rem;
  font-weight: 800;
}

.tactic-chip small {
  color: var(--accent);
  font-size: 0.68rem;
}

.strategy-card-grid {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(18rem, 1fr));
  gap: 0.85rem;
}

.strategy-card {
  padding: 0.9rem;
  border: 1px solid var(--rule-soft);
  border-radius: 8px;
  background: rgba(255, 253, 247, 0.72);
}

.strategy-card p {
  margin: 0.7rem 0;
}

.strategy-card-head {
  display: grid;
  gap: 0.25rem;
}

.strategy-card-head span {
  color: var(--ink-faint);
  font-size: 0.68rem;
  font-weight: 900;
  letter-spacing: 0.12em;
  text-transform: uppercase;
}

.strategy-card-head strong {
  color: var(--ink);
  font-family: var(--mono);
  font-size: 0.86rem;
  overflow-wrap: anywhere;
}

@media (max-width: 1180px) {
  .topbar {
    grid-template-columns: 1fr;
    gap: 0.65rem;
  }

  .bridge-shell {
    grid-template-columns: minmax(16rem, 19rem) minmax(0, 1fr);
  }
}

@media (max-width: 820px) {
  .bridge-shell {
    display: block;
    height: auto;
    min-height: 0;
  }

  .controls {
    border: 0;
    border-bottom: 1px solid var(--rule);
  }

  .controls {
    max-height: none;
  }

  .graph-panel {
    min-height: 70vh;
  }

  .graph-toolbar {
    grid-template-columns: 1fr;
  }

  #bridgeGraph { min-height: 70vh; }

  .legend {
    justify-content: flex-start;
    margin: 0;
  }

  .modal-layout {
    grid-template-columns: 1fr;
  }

  .result-modal-card {
    width: calc(100vw - 1rem);
    max-height: calc(100vh - 1rem);
  }

  .result-modal .thesis-svg-frame {
    min-width: 38rem;
    padding: 1rem 0.8rem;
  }

  .result-modal .thesis-svg-frame svg,
  .result-modal .thesis-excerpt object,
  .result-modal .thesis-excerpt img {
    width: 38rem;
  }
}