@charset "UTF-8";
:root {
  color-scheme: light;
  --paper: #fafaf7;
  --ink: #1c1d1b;
  --muted: #71746d;
  --line: #dddfd6;
  --accent: #ed603e;
  --tint: #f1f1ea;
  --green: #30664c;
  --red: #a43229;
}
* {
  box-sizing: border-box;
}
[hidden] {
  display: none !important;
}
html {
  scroll-behavior: smooth;
  scroll-padding-top: 30px;
}
body {
  margin: 0;
  background: var(--paper);
  color: var(--ink);
  font:
    15px/1.6 'Segoe UI',
    Arial,
    sans-serif;
}
a {
  color: inherit;
  text-decoration: none;
}
button,
input,
select {
  font: inherit;
}
textarea {
  display: block;
  width: 100%;
  max-width: 100%;
  padding: 12px;
  border: 1px solid var(--line);
  border-radius: 8px;
  font: 13px/1.5 monospace;
  resize: vertical;
}
#test-input label {
  display: block;
  margin-bottom: 16px;
}
button,
a,
input,
select,
summary {
  -webkit-tap-highlight-color: transparent;
}
button,
a.button,
select,
summary {
  cursor: pointer;
}
a:focus-visible,
button:focus-visible,
input:focus-visible,
select:focus-visible,
summary:focus-visible {
  outline: 3px solid var(--accent);
  outline-offset: 4px;
}
button:disabled {
  opacity: 0.55;
  cursor: wait;
}
[hidden] {
  display: none !important;
}
.site-header {
  max-width: 1200px;
  margin: auto;
  min-height: 96px;
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 28px;
  padding: 20px 32px;
  border-bottom: 1px solid var(--line);
}
.brand {
  display: inline-flex;
  align-items: center;
  gap: 10px;
  font-weight: 750;
  font-size: 21px;
  letter-spacing: -0.8px;
  white-space: nowrap;
}
.brand-mark {
  display: block;
  flex: 0 0 auto;
  width: 34px;
  height: 34px;
}
nav {
  display: flex;
  gap: 30px;
  margin-left: auto;
}
nav a {
  color: var(--muted);
}
nav a:hover {
  color: var(--ink);
}
.local-pill {
  font-size: 12px;
  border: 1px solid var(--line);
  padding: 7px 13px;
  border-radius: 30px;
  white-space: nowrap;
}
main {
  max-width: 1136px;
  margin: auto;
  padding: 0 20px;
}
.hero {
  text-align: center;
  padding: 76px 20px 65px;
}
.eyebrow {
  font-size: 10px;
  font-weight: 750;
  letter-spacing: 2px;
  color: var(--muted);
  margin: 0 0 15px;
}
h1 {
  font-size: clamp(40px, 5.4vw, 72px);
  line-height: 1.08;
  letter-spacing: -3px;
  font-weight: 750;
  margin: 0;
}
h1 em {
  color: var(--accent);
  font-weight: 650;
}
.hero-copy {
  color: var(--muted);
  font-size: 17px;
  max-width: 570px;
  margin: 25px auto 29px;
}
.hero-actions {
  display: flex;
  justify-content: center;
  gap: 14px;
}
.button {
  border: 1px solid var(--ink);
  border-radius: 28px;
  background: transparent;
  display: inline-flex;
  align-items: center;
  justify-content: center;
  gap: 25px;
  padding: 11px 23px;
  white-space: nowrap;
  font-weight: 600;
  font-size: 13px;
  transition:
    background 0.15s,
    transform 0.15s;
}
.button:hover {
  background: var(--tint);
  transform: translateY(-1px);
}
.primary {
  background: var(--ink);
  color: white;
}
.primary:hover {
  background: #383a34;
}
.small {
  font-size: 12px;
  padding: 9px 18px;
}
.stats {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  padding: 27px 0;
  border-top: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
}
.stats div {
  text-align: center;
  border-right: 1px solid var(--line);
}
.stats div:last-child {
  border: 0;
}
.stats strong {
  display: block;
  font-size: 30px;
  line-height: 1.3;
  letter-spacing: -1px;
  font-weight: 650;
}
.stats span {
  font-size: 11px;
  color: var(--muted);
}
.section {
  padding: 48px 0;
  border-bottom: 1px solid var(--line);
}
.section-heading {
  display: flex;
  justify-content: space-between;
  align-items: center;
  gap: 16px;
  margin-bottom: 22px;
}
.section-heading .eyebrow {
  margin: 0 0 4px;
}
h2 {
  font-size: 30px;
  letter-spacing: -1.1px;
  line-height: 1.3;
  margin: 0;
  font-weight: 650;
}
.accent {
  color: var(--accent);
}
.muted {
  color: var(--muted);
  font-size: 12px;
}
.filters,
.compare-controls {
  display: flex;
  gap: 12px;
  align-items: end;
}
label {
  display: block;
  min-width: 0;
}
label > span {
  display: block;
  font-size: 10px;
  color: var(--muted);
  margin-bottom: 6px;
}
input,
select {
  background: #fff;
  border: 1px solid var(--line);
  padding: 11px 14px;
  border-radius: 8px;
  color: var(--ink);
  width: 100%;
  min-width: 145px;
  font-size: 12px;
}
.search-label {
  flex: 1;
}
input::placeholder {
  color: #8c8e86;
}
#run-count {
  margin: 16px 0 8px;
}
.run-list {
  border-top: 1px solid var(--line);
  max-height: 490px;
  overflow: auto;
}
.run-row {
  display: grid;
  grid-template-columns: 1fr auto;
  gap: 16px;
  width: 100%;
  text-align: left;
  border: 0;
  border-bottom: 1px solid var(--line);
  background: transparent;
  padding: 19px 15px;
  color: var(--ink);
}
.run-row:hover,
.run-row.selected {
  background: var(--tint);
}
.run-name {
  font-size: 14px;
  font-weight: 650;
  display: block;
}
.run-meta {
  color: var(--muted);
  font-size: 11px;
  display: flex;
  flex-wrap: wrap;
  gap: 10px;
  margin-top: 5px;
}
.run-right {
  display: flex;
  align-items: center;
  gap: 13px;
}
.badge {
  font:
    700 9px/1.3 'Segoe UI',
    Arial,
    sans-serif;
  letter-spacing: 0.7px;
  display: inline-block;
  padding: 6px 9px;
  border-radius: 4px;
  background: #e9eae4;
  color: #5f6358;
  white-space: nowrap;
}
.badge.pass,
.badge.consistent {
  background: #e4efe7;
  color: var(--green);
}
.badge.fail,
.badge.contradicted {
  background: #f7e5df;
  color: var(--red);
}
.badge.blocked,
.badge.insufficient {
  background: #efecdc;
  color: #7b6b2c;
}
.run-arrow {
  font-size: 18px;
  color: var(--muted);
}
.empty {
  padding: 45px 20px;
  border: 1px dashed var(--line);
  text-align: center;
  color: var(--muted);
  font-size: 13px;
}
.notice {
  background: #fff0e7;
  border: 1px solid #f2d2b9;
  padding: 13px 18px;
  margin-top: 24px;
  border-radius: 7px;
  font-size: 12px;
}
.compare-controls > label {
  flex: 1;
}
.compare-controls .button {
  border-radius: 8px;
  padding: 11px 22px;
}
.comparison-card,
.panel {
  background: #fff;
  border: 1px solid var(--line);
  border-radius: 10px;
  padding: 22px;
  margin-top: 18px;
  min-width: 0;
}
.detail-heading {
  display: flex;
  align-items: start;
  justify-content: space-between;
  gap: 20px;
}
.detail-heading h3 {
  font-size: 22px;
  letter-spacing: -0.6px;
  margin: 0 0 7px;
  line-height: 1.4;
}
.detail-actions {
  display: flex;
  gap: 9px;
  flex-wrap: wrap;
  margin-top: 20px;
}
.detail-actions a {
  font-size: 11px;
  border: 1px solid var(--line);
  border-radius: 5px;
  padding: 7px 12px;
}
.detail-actions a:hover {
  border-color: var(--ink);
}
.context-line {
  font-size: 12px;
  color: var(--muted);
  overflow-wrap: anywhere;
}
.detail-grid {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 18px;
}
.panel h3 {
  font-size: 14px;
  margin: 0 0 13px;
  font-weight: 650;
}
.panel p {
  font-size: 12px;
  color: var(--muted);
}
.panel details {
  font-size: 12px;
  padding: 10px 0;
  border-top: 1px solid var(--line);
}
.panel details:first-of-type {
  border-top: 0;
}
.panel summary {
  display: flex;
  gap: 10px;
  align-items: center;
  list-style: none;
  font-size: 12px;
}
.panel summary::after {
  content: '+';
  margin-left: auto;
  color: var(--muted);
}
.panel details[open] > summary::after {
  content: '-';
}
.step-index {
  color: #9a9d91;
  font-size: 10px;
  min-width: 19px;
}
.step-title {
  flex: 1;
  overflow-wrap: anywhere;
}
.data {
  white-space: pre-wrap;
  overflow-wrap: anywhere;
  max-height: 330px;
  overflow: auto;
  background: #f6f6f1;
  border-radius: 5px;
  font:
    11px/1.8 ui-monospace,
    Consolas,
    monospace;
  padding: 13px;
  margin: 12px 0 0;
}
.kv {
  display: grid;
  grid-template-columns: 140px 1fr;
  gap: 6px;
  font-size: 11px;
  margin: 0;
}
.kv dt {
  color: var(--muted);
}
.kv dd {
  margin: 0;
  overflow-wrap: anywhere;
}
.check {
  display: flex;
  gap: 14px;
  align-items: start;
  padding: 12px 0;
  border-top: 1px solid var(--line);
  font-size: 11px;
}
.check:first-of-type {
  border-top: 0;
}
.check-label {
  flex: 1;
  overflow-wrap: anywhere;
}
.check small {
  color: var(--muted);
  display: block;
  margin-top: 3px;
}
.journal-tools {
  display: flex;
  justify-content: space-between;
  align-items: center;
  gap: 12px;
}
.journal-tools select {
  width: auto;
  min-width: 150px;
}
.journal {
  max-height: 420px;
  overflow: auto;
  margin-top: 14px;
}
.journal summary {
  font-family: ui-monospace, Consolas, monospace;
}
.full-width {
  grid-column: 1/-1;
}
.journal-method {
  flex: 1;
  overflow-wrap: anywhere;
}
.comparison-card h3 {
  font-size: 16px;
  margin: 0 0 8px;
}
.comparison-row {
  display: grid;
  grid-template-columns: 1fr 130px 130px;
  padding: 10px 0;
  border-top: 1px solid var(--line);
  gap: 8px;
  font-size: 12px;
}
.comparison-row > span:first-child {
  overflow-wrap: anywhere;
}
footer {
  max-width: 1136px;
  margin: auto;
  padding: 33px 20px 40px;
  display: flex;
  gap: 22px;
  align-items: center;
  justify-content: space-between;
}
footer .brand {
  font-size: 16px;
}
footer p,
footer > span {
  font-size: 10px;
  color: var(--muted);
}
.error-text {
  color: var(--red);
  font-size: 12px;
}
button:disabled:hover {
  transform: none;
}
@media (max-width: 760px) {
  .site-header {
    padding: 16px 20px;
    flex-wrap: wrap;
    min-height: 80px;
    gap: 10px;
  }
  .brand {
    font-size: 18px;
  }
  .brand-mark {
    width: 28px;
    height: 28px;
  }
  nav {
    order: 3;
    width: 100%;
    flex-wrap: wrap;
    justify-content: center;
    gap: 24px;
    row-gap: 10px;
    font-size: 12px;
    padding-top: 8px;
  }
  .local-pill {
    margin-left: auto;
    font-size: 10px;
  }
  .hero {
    padding: 48px 0 42px;
  }
  h1 {
    letter-spacing: -1.9px;
  }
  .hero-copy {
    font-size: 14px;
  }
  .button {
    padding: 10px 16px;
    font-size: 12px;
    gap: 14px;
  }
  .stats {
    padding: 20px 0;
  }
  .stats strong {
    font-size: 24px;
  }
  .stats span {
    font-size: 9px;
  }
  .section {
    padding: 32px 0;
  }
  .section-heading {
    align-items: center;
  }
  h2 {
    font-size: 25px;
  }
  .filters {
    flex-wrap: wrap;
  }
  .search-label {
    flex: 1 0 100%;
  }
  .filters > label:not(.search-label) {
    flex: 1;
  }
  input,
  select {
    min-width: 0;
  }
  .detail-grid {
    grid-template-columns: 1fr;
  }
  .detail-heading {
    flex-wrap: wrap;
  }
  .compare-controls {
    flex-wrap: wrap;
  }
  .compare-controls > label {
    flex: 1 0 45%;
  }
  .compare-controls button {
    width: 100%;
  }
  .panel {
    padding: 16px;
  }
  .comparison-row {
    grid-template-columns: 1fr 85px 85px;
    font-size: 10px;
  }
  .badge {
    font-size: 8px;
    padding: 5px 7px;
  }
  footer {
    flex-wrap: wrap;
    justify-content: center;
    gap: 8px 22px;
  }
  footer p {
    margin: 0;
  }
  footer > span {
    width: 100%;
    text-align: center;
  }
  .run-meta {
    font-size: 10px;
  }
  .run-right {
    gap: 7px;
  }
  .run-row {
    padding: 15px 8px;
  }
  .run-name {
    font-size: 12px;
  }
}
@media (prefers-reduced-motion: reduce) {
  html {
    scroll-behavior: auto;
  }
  .button {
    transition: none;
  }
}