:root {
  color-scheme: light;
  font-family:
    Inter,
    ui-sans-serif,
    system-ui,
    -apple-system,
    BlinkMacSystemFont,
    'Segoe UI',
    sans-serif;
  background: #f5f7f9;
  color: #172026;
}

* {
  box-sizing: border-box;
}

body {
  margin: 0;
}

button,
.button-link,
input {
  font: inherit;
}

.top-nav {
  display: flex;
  gap: 6px;
  padding: 10px 18px;
  background: #ffffff;
  border-bottom: 1px solid #d9e0e6;
  position: sticky;
  top: 0;
  z-index: 5;
}

.top-nav-button {
  background: transparent;
  color: #1d4e89;
  border-color: transparent;
  border-radius: 6px;
  padding: 8px 14px;
  font-weight: 600;
}

.top-nav-button:hover {
  background: #e8f1fa;
  color: #1d4e89;
}

.top-nav-button.active,
.top-nav-button[aria-current='page'] {
  background: #1d4e89;
  color: #ffffff;
  border-color: #1d4e89;
}

.app-shell {
  display: grid;
  grid-template-columns: minmax(320px, 0.9fr) minmax(360px, 1.1fr);
  gap: 0;
  min-height: calc(100vh - 60px);
}

.compare-shell,
.formalize-shell {
  display: grid;
  padding: 28px;
  background: #ffffff;
  min-height: calc(100vh - 60px);
}

.app-shell[hidden],
.compare-shell[hidden],
.formalize-shell[hidden] {
  display: none;
}

.workspace,
.network-panel {
  padding: 28px;
}

.workspace {
  display: grid;
  align-content: start;
  gap: 24px;
  background: #ffffff;
  border-right: 1px solid #d9e0e6;
}

.statement-form {
  display: grid;
  gap: 10px;
}

.statement-form label,
.belief-panel label,
.eyebrow,
.link-role {
  color: #61717d;
  font-size: 0.78rem;
  font-weight: 700;
  letter-spacing: 0;
  text-transform: uppercase;
}

.input-row {
  display: grid;
  grid-template-columns: 1fr auto;
  gap: 10px;
}

input {
  width: 100%;
  min-width: 0;
  border: 1px solid #b9c4cd;
  border-radius: 6px;
  padding: 12px 14px;
  color: #172026;
}

button,
.button-link {
  border: 1px solid #1d4e89;
  border-radius: 6px;
  padding: 10px 14px;
  background: #1d4e89;
  color: #ffffff;
  cursor: pointer;
}

button:hover,
.button-link:hover {
  background: #163d6c;
}

.button-link {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  min-height: 42px;
  text-decoration: none;
}

h1,
h2 {
  margin: 0;
  font-size: 1.1rem;
}

.examples,
.belief-panel,
.interpretations,
.alternatives,
.dependencies,
.definitions,
.confirmations,
.refutations,
.opposite {
  display: grid;
  gap: 12px;
}

.examples-heading {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 12px;
}

.examples-actions {
  display: flex;
  gap: 8px;
}

.examples-actions button {
  background: transparent;
  color: #1d4e89;
  border-color: #1d4e89;
}

.examples-actions button:hover {
  background: #e8f1fa;
  color: #1d4e89;
}

.section-hint {
  margin: 0;
  color: #51636f;
  font-size: 0.85rem;
}

.section-empty {
  color: #61717d;
  font-style: italic;
  font-size: 0.85rem;
}

.alternative-button {
  display: grid;
  gap: 4px;
  text-align: left;
  background: #ffffff;
  color: #172026;
  border-color: #c6d0d8;
}

.alternative-button:hover {
  border-color: #1d4e89;
  background: #f1f6fb;
  color: #172026;
}

.alternative-button span {
  color: #51636f;
  font-size: 0.85rem;
  overflow-wrap: anywhere;
}

.dependencies ul,
.definitions ul,
.confirmations ul,
.refutations ul {
  display: grid;
  gap: 8px;
  margin: 0;
  padding-left: 20px;
}

.confirmations li,
.refutations li {
  list-style: none;
  border-left: 4px solid #c6d0d8;
  padding: 6px 10px;
  background: #f8fafc;
  border-radius: 6px;
}

.confirmations li.confirmation {
  border-left-color: #2f855a;
}

.refutations li.refutation {
  border-left-color: #b83232;
}

.confirmations li blockquote,
.refutations li blockquote {
  margin: 0 0 6px;
  font-style: italic;
  color: #172026;
}

.confirmations li a,
.refutations li a {
  color: #1d4e89;
  font-size: 0.85rem;
  text-decoration: none;
}

.confirmations li a:hover,
.refutations li a:hover {
  text-decoration: underline;
}

.source-note {
  color: #51636f;
  font-size: 0.85rem;
}

.opposite-button {
  background: transparent;
  color: #1d4e89;
  border-color: #1d4e89;
  text-align: left;
}

.opposite-button:hover {
  background: #f1f6fb;
  color: #1d4e89;
}

.strategy-control {
  display: inline-flex;
  align-items: center;
  gap: 6px;
  color: #51636f;
  font-size: 0.85rem;
}

.strategy-control select {
  padding: 6px 8px;
  border-radius: 6px;
  border: 1px solid #b9c4cd;
  background: #ffffff;
  color: #172026;
}

.strategy-summary {
  margin: 0;
  color: #51636f;
  font-size: 0.85rem;
}

.link-order {
  font-weight: 700;
  color: #1d4e89;
}

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

.example-button {
  display: grid;
  gap: 4px;
  min-height: 72px;
  border-color: #c6d0d8;
  background: #ffffff;
  color: #172026;
  text-align: left;
}

.example-button:hover {
  border-color: #1d4e89;
  background: #f1f6fb;
  color: #172026;
}

.example-button.active {
  border-color: #1d4e89;
  background: #e8f1fa;
}

.example-button span {
  overflow-wrap: anywhere;
  color: #51636f;
  font-size: 0.85rem;
}

.belief-panel {
  border: 1px solid #d9e0e6;
  border-radius: 8px;
  padding: 14px;
}

.belief-heading,
.belief-control,
.network-actions {
  display: flex;
  align-items: center;
  gap: 12px;
}

.belief-heading {
  justify-content: space-between;
}

.belief-heading output {
  color: #1d4e89;
  font-weight: 800;
}

.belief-control {
  display: grid;
  grid-template-columns: auto minmax(140px, 1fr) auto auto;
}

.belief-control span {
  color: #51636f;
  font-size: 0.85rem;
}

.belief-control input {
  padding: 0;
}

.belief-control button,
.network-actions button,
.network-actions .button-link {
  min-height: 42px;
}

#interpretation-list {
  display: grid;
  gap: 10px;
}

.interpretation {
  display: grid;
  gap: 6px;
  width: 100%;
  border-color: #c6d0d8;
  background: #ffffff;
  color: #172026;
  text-align: left;
}

.interpretation span {
  color: #51636f;
  font-size: 0.9rem;
}

.interpretation.active {
  border-color: #1d4e89;
  background: #e8f1fa;
}

.result-band {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  border: 1px solid #d9e0e6;
  border-radius: 8px;
  overflow: hidden;
}

#confidence-value[data-sign='positive'] {
  color: #2f855a;
}

#confidence-value[data-sign='negative'] {
  color: #b83232;
}

#confidence-value[data-sign='zero'] {
  color: #61717d;
}

.result-band div {
  display: grid;
  gap: 6px;
  padding: 16px;
  border-right: 1px solid #d9e0e6;
}

.result-band div:last-child {
  border-right: 0;
}

.result-band strong {
  font-size: 1.35rem;
}

.result-band small {
  overflow-wrap: anywhere;
  color: #51636f;
}

.evidence-band {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  gap: 10px;
}

.evidence-band div {
  display: grid;
  gap: 4px;
  border: 1px solid #d9e0e6;
  border-radius: 8px;
  padding: 12px 14px;
}

.evidence-band strong {
  font-size: 1.15rem;
}

.evidence-band small {
  grid-column: 1 / -1;
  color: #51636f;
}

.network-panel {
  display: grid;
  grid-template-rows: auto auto 1fr auto;
  gap: 18px;
}

.network-header {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 12px;
}

.network-actions {
  flex-wrap: wrap;
  justify-content: flex-end;
}

.link-lanes {
  display: grid;
  align-content: start;
  gap: 8px;
  overflow: auto;
}

.link-row {
  display: grid;
  grid-template-columns: 32px 160px 150px minmax(0, 1fr);
  gap: 12px;
  align-items: center;
  min-height: 54px;
  border-left: 4px solid #78909c;
  border-radius: 6px;
  padding: 10px 12px;
  background: #ffffff;
  box-shadow: 0 1px 2px rgb(23 32 38 / 8%);
}

.link-row.support {
  border-left-color: #2f855a;
}

.link-row.refute {
  border-left-color: #b83232;
}

.link-row.formalization,
.link-row.result {
  border-left-color: #6b46c1;
}

.link-row span:last-child {
  overflow-wrap: anywhere;
  color: #51636f;
}

.link-source {
  color: #1d4e89;
  font-weight: 700;
  text-decoration: none;
}

.link-source:hover {
  text-decoration: underline;
}

pre {
  max-height: 220px;
  overflow: auto;
  margin: 0;
  border: 1px solid #d9e0e6;
  border-radius: 8px;
  padding: 14px;
  background: #172026;
  color: #f5f7f9;
  font-size: 0.85rem;
}

.compare-panel {
  display: grid;
  gap: 16px;
  align-content: start;
  max-width: 1100px;
  width: 100%;
  margin: 0 auto;
}

.compare-header {
  display: grid;
  gap: 6px;
}

.compare-rows {
  display: grid;
  gap: 10px;
}

.compare-row {
  display: grid;
  grid-template-columns: minmax(220px, 2fr) 1fr 1fr 36px;
  gap: 12px;
  align-items: center;
  border: 1px solid #d9e0e6;
  border-radius: 8px;
  padding: 12px 14px;
  background: #ffffff;
}

.compare-row-input {
  display: grid;
  gap: 4px;
}

.compare-row-input label {
  color: #61717d;
  font-size: 0.78rem;
  font-weight: 700;
  text-transform: uppercase;
}

.compare-metric {
  display: grid;
  gap: 6px;
}

.compare-metric strong {
  font-size: 1.15rem;
}

.compare-metric .compare-confidence[data-sign='positive'] {
  color: #2f855a;
}

.compare-metric .compare-confidence[data-sign='negative'] {
  color: #b83232;
}

.compare-metric .compare-confidence[data-sign='zero'] {
  color: #61717d;
}

.compare-bar {
  position: relative;
  height: 8px;
  width: 100%;
  background: #eaeef2;
  border-radius: 4px;
  overflow: hidden;
}

.compare-bar-fill {
  position: absolute;
  top: 0;
  left: 0;
  height: 100%;
  background: #1d4e89;
  border-radius: 4px;
  transition:
    width 0.2s ease,
    left 0.2s ease;
}

.compare-bar.signed .compare-bar-axis {
  position: absolute;
  top: 0;
  left: 50%;
  width: 1px;
  height: 100%;
  background: #b9c4cd;
}

.compare-bar-fill.signed-confidence.positive {
  background: #2f855a;
}

.compare-bar-fill.signed-confidence.negative {
  background: #b83232;
}

.compare-remove {
  background: transparent;
  color: #b83232;
  border-color: #b83232;
  padding: 4px 10px;
  min-height: 32px;
  font-size: 1.1rem;
  line-height: 1;
}

.compare-remove:hover {
  background: #fbe6e6;
  color: #b83232;
}

.compare-actions {
  display: flex;
  gap: 8px;
}

.formalize-panel {
  display: grid;
  gap: 18px;
  align-content: start;
  max-width: 1100px;
  width: 100%;
  margin: 0 auto;
}

.formalize-header {
  display: grid;
  gap: 6px;
}

.formalize-input-label {
  color: #61717d;
  font-size: 0.78rem;
  font-weight: 700;
  text-transform: uppercase;
}

#formalize-input {
  width: 100%;
  min-height: 120px;
  border: 1px solid #b9c4cd;
  border-radius: 6px;
  padding: 12px 14px;
  font-family: inherit;
  font-size: 1rem;
  color: #172026;
  resize: vertical;
}

.formalize-options {
  display: grid;
  gap: 14px;
  grid-template-columns: minmax(180px, 1fr) minmax(220px, 2fr);
  align-items: center;
}

.formalize-option {
  display: grid;
  gap: 6px;
}

.formalize-option span {
  color: #61717d;
  font-size: 0.78rem;
  font-weight: 700;
  text-transform: uppercase;
}

.formalize-option input {
  width: 100%;
}

.formalize-target {
  display: grid;
  gap: 6px;
  border: 1px solid #d9e0e6;
  border-radius: 6px;
  padding: 10px 12px;
  margin: 0;
}

.formalize-target legend {
  color: #61717d;
  font-size: 0.78rem;
  font-weight: 700;
  text-transform: uppercase;
  padding: 0 6px;
}

.formalize-target label {
  display: flex;
  align-items: center;
  gap: 6px;
  font-size: 0.95rem;
}

.formalize-sources {
  display: grid;
  gap: 6px;
  border: 1px solid #d9e0e6;
  border-radius: 6px;
  padding: 10px 12px;
  margin: 0;
}

.formalize-sources legend {
  color: #61717d;
  font-size: 0.78rem;
  font-weight: 700;
  text-transform: uppercase;
  padding: 0 6px;
}

.formalize-sources label {
  display: flex;
  align-items: center;
  gap: 6px;
  font-size: 0.95rem;
}

.formalize-sources .formalize-source-fandom input[type='text'] {
  flex: 1;
  min-width: 140px;
}

.formalize-overrides {
  display: grid;
  gap: 8px;
  border: 1px solid #d9e0e6;
  border-radius: 6px;
  padding: 10px 12px;
  background: #fbfcfd;
}

.formalize-overrides summary {
  cursor: pointer;
  font-weight: 600;
  color: #1d4e89;
}

.formalize-overrides textarea {
  width: 100%;
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 0.85rem;
  padding: 8px 10px;
  border: 1px solid #d9e0e6;
  border-radius: 4px;
  resize: vertical;
}

.formalize-overrides-error {
  color: #b03030;
  font-size: 0.85rem;
  min-height: 1.2em;
  margin: 0;
}

.formalize-big-contexts {
  display: grid;
  gap: 8px;
}

.formalize-big-context-list {
  display: flex;
  flex-wrap: wrap;
  gap: 8px;
}

.formalize-big-context {
  background: #ffffff;
  border: 1px solid #b9c4cd;
  border-radius: 6px;
  padding: 6px 10px;
  font-size: 0.9rem;
}

.formalize-big-context.main {
  border-color: #1d4e89;
  background: #eaf1fb;
}

.formalize-big-context a {
  color: #1d4e89;
  text-decoration: none;
  font-weight: 600;
}

.formalize-big-context-meta {
  color: #61717d;
  font-size: 0.8rem;
}

.formalize-actions {
  display: flex;
  flex-wrap: wrap;
  gap: 8px;
  align-items: center;
}

.formalize-status {
  color: #61717d;
  font-size: 0.85rem;
}

.formalize-result {
  display: grid;
  gap: 8px;
}

.formalize-output {
  border: 1px solid #d9e0e6;
  border-radius: 6px;
  padding: 14px 16px;
  background: #f8fafc;
  line-height: 1.5;
  font-size: 1rem;
}

.formalize-output a {
  color: #1d4e89;
  text-decoration: underline;
}

.formalize-output a:hover {
  color: #163d6c;
}

.formalize-output-plain {
  color: #61717d;
}

.formalize-contexts,
.formalize-interpretations {
  display: grid;
  gap: 8px;
}

.formalize-context-list {
  display: flex;
  flex-wrap: wrap;
  gap: 8px;
}

.formalize-context {
  display: grid;
  gap: 4px;
  text-align: left;
  background: #ffffff;
  color: #172026;
  border: 1px solid #b9c4cd;
  padding: 8px 12px;
}

.formalize-context strong {
  font-size: 0.95rem;
}

.formalize-context span {
  font-size: 0.8rem;
  color: #61717d;
}

.formalize-context.main {
  border-color: #1d4e89;
}

.formalize-context.active {
  background: #1d4e89;
  color: #ffffff;
}

.formalize-context.active span {
  color: #d6e3f0;
}

.formalize-interpretation-list {
  display: grid;
  gap: 6px;
  margin: 0;
  padding-left: 20px;
}

.formalize-interpretation {
  display: grid;
  grid-template-columns: auto 1fr auto;
  gap: 10px;
  align-items: baseline;
  border: 1px solid #d9e0e6;
  border-radius: 6px;
  padding: 8px 10px;
  background: #ffffff;
}

.formalize-interpretation strong {
  color: #1d4e89;
}

.formalize-interpretation small {
  color: #61717d;
}

.formalize-payload {
  border: 1px solid #d9e0e6;
  border-radius: 6px;
  padding: 8px 12px;
  background: #f8fafc;
}

.formalize-payload summary {
  cursor: pointer;
  font-weight: 700;
  color: #1d4e89;
}

.formalize-payload pre {
  margin: 8px 0 0;
  white-space: pre-wrap;
  word-break: break-word;
  background: #ffffff;
  border: 1px solid #d9e0e6;
  border-radius: 4px;
  padding: 8px 10px;
  font-size: 0.85rem;
}

@media (max-width: 820px) {
  .app-shell {
    grid-template-columns: 1fr;
  }

  .workspace {
    border-right: 0;
    border-bottom: 1px solid #d9e0e6;
  }

  .result-band,
  .evidence-band,
  .input-row {
    grid-template-columns: 1fr;
  }

  .result-band div {
    border-right: 0;
    border-bottom: 1px solid #d9e0e6;
  }

  .result-band div:last-child {
    border-bottom: 0;
  }

  .link-row {
    grid-template-columns: 1fr;
  }

  .example-list,
  .belief-control {
    grid-template-columns: 1fr;
  }

  .formalize-options {
    grid-template-columns: 1fr;
  }

  .formalize-interpretation {
    grid-template-columns: 1fr;
  }
}