:root {
  color-scheme: light;
  --ink: #17281f;
  --muted: #536059;
  --paper: #f5f5ef;
  --line: #c9d0c4;
  --accent: #d9f274;
  --good: #1d5437;
  --warn: #89451e;
  --panel: #fff;
  --red: #973124;
  font-family:
    Inter,
    ui-sans-serif,
    system-ui,
    -apple-system,
    BlinkMacSystemFont,
    "Segoe UI",
    sans-serif;
  font-synthesis: none;
  scroll-behavior: smooth;
}
* {
  box-sizing: border-box;
}
body {
  margin: 0;
  background: var(--paper);
  color: var(--ink);
  font-size: 16px;
  line-height: 1.65;
}
a {
  color: inherit;
  text-underline-offset: 4px;
}
button,
input,
select,
textarea {
  font: inherit;
}
button,
a,
input,
select,
textarea,
summary,
[tabindex] {
  outline-offset: 5px;
}
:focus-visible {
  outline: 3px solid #365aad;
}
button {
  cursor: pointer;
}
button:disabled {
  cursor: not-allowed;
  opacity: 0.5;
}
button,
a {
  -webkit-tap-highlight-color: transparent;
}
button {
  line-height: 1.4;
}
h1,
h2,
h3,
h4,
h5,
p {
  margin-top: 0;
}
h1,
h2,
h3,
h4,
h5 {
  line-height: 1.15;
  letter-spacing: -0.035em;
}
h2 {
  font-size: clamp(2rem, 4vw, 3.35rem);
  font-weight: 550;
  margin-bottom: 24px;
}
h3 {
  font-size: 1.3rem;
  font-weight: 600;
  letter-spacing: -0.018em;
}
h4 {
  font-size: 1.15rem;
}
h5 {
  font-size: 1rem;
}
p {
  margin-bottom: 18px;
}
strong {
  font-weight: 650;
}
section {
  scroll-margin-top: 24px;
}
[hidden] {
  display: none !important;
}
.wrap {
  width: min(1240px, calc(100% - 80px));
  margin-inline: auto;
}
.masthead {
  display: flex;
  align-items: center;
  gap: 28px;
  padding-block: 28px;
  border-bottom: 1px solid var(--line);
}
.brand {
  font-size: 2rem;
  font-weight: 780;
  letter-spacing: -0.09em;
  text-decoration: none;
  line-height: 1;
}
.brand span {
  font-size: 0.7rem;
  vertical-align: top;
  letter-spacing: 0;
  margin-left: 5px;
}
.lab-label {
  font-size: 0.78rem;
  color: var(--muted);
  border-left: 1px solid var(--line);
  padding-left: 24px;
}
.masthead nav {
  display: flex;
  gap: 27px;
  margin-left: auto;
  font-size: 0.85rem;
}
.masthead nav a {
  text-decoration: none;
}
.masthead nav a:hover {
  text-decoration: underline;
}
.eyebrow {
  text-transform: uppercase;
  letter-spacing: 0.14em;
  font-size: 0.75rem;
  font-weight: 650;
  margin-bottom: 22px;
}
.hero {
  padding-block: 80px 62px;
}
.hero h1 {
  font-size: clamp(2.8rem, 5.7vw, 5rem);
  font-weight: 520;
  letter-spacing: -0.055em;
  line-height: 1.06;
  margin-bottom: 30px;
}
.hero h1 span {
  color: #65705a;
}
.lead {
  font-size: 1.22rem;
  max-width: 740px;
  color: #425143;
  line-height: 1.55;
}
.hero-bottom {
  display: flex;
  align-items: end;
  justify-content: space-between;
  border-bottom: 1px solid var(--line);
  padding-top: 28px;
  padding-bottom: 35px;
}
.hero-bottom p {
  margin: 0;
  font-size: 0.9rem;
  color: var(--muted);
}
.hero-bottom strong {
  color: var(--ink);
}
.button {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  gap: 30px;
  min-height: 46px;
  padding: 12px 19px;
  border: 1px solid #acb7a6;
  border-radius: 6px;
  background: transparent;
  text-decoration: none;
  font-size: 0.88rem;
  font-weight: 600;
  line-height: 1.4;
}
.button:hover {
  background: #e7ecdd;
}
.primary {
  background: var(--ink);
  color: #fff;
  border-color: var(--ink);
}
.primary:hover {
  background: #304c39;
}
.primary span {
  font-size: 1.3rem;
  color: var(--accent);
}
.text-button {
  border: 0;
  background: none;
  padding: 12px 2px;
  text-decoration: underline;
  text-underline-offset: 5px;
  font-size: 0.85rem;
  color: var(--ink);
}
.section-heading {
  display: flex;
  justify-content: space-between;
  gap: 35px;
  align-items: flex-end;
}
.section-heading h2 {
  margin: 0;
}
.section-heading .eyebrow {
  margin-bottom: 14px;
}
.tag {
  display: inline-block;
  flex: none;
  border: 1px solid var(--line);
  font-size: 0.75rem;
  padding: 5px 10px;
  border-radius: 30px;
  font-weight: 550;
}
.section-intro {
  max-width: 820px;
  color: var(--muted);
  margin-block: 25px 30px;
}
.experiment {
  padding-bottom: 80px;
}
.scenario-toolbar {
  display: flex;
  align-items: end;
  gap: 16px;
  background: #e8ecdf;
  padding: 20px 24px;
  border-radius: 8px;
}
.scenario-toolbar label {
  flex: 1;
  max-width: 380px;
}
.scenario-story {
  display: flex;
  gap: 18px;
  align-items: start;
  padding-block: 30px;
}
.scenario-story h3 {
  margin-bottom: 8px;
}
.scenario-story p {
  max-width: 800px;
  margin: 0;
  font-size: 0.95rem;
  color: var(--muted);
}
.scenario-number {
  border: 1px solid var(--line);
  border-radius: 50%;
  width: 42px;
  height: 42px;
  display: grid;
  place-items: center;
  flex: none;
  font-size: 0.8rem;
  font-weight: 650;
}
.small-link {
  font-size: 0.8rem;
  flex: none;
  margin-left: auto;
}
.comparison {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 22px;
}
.comparison-card {
  border: 1px solid var(--line);
  background: var(--panel);
  border-radius: 10px;
  overflow: hidden;
}
.card-top {
  padding: 22px 26px;
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 15px;
  border-bottom: 1px solid var(--line);
}
.card-top h3 {
  margin: 4px 0 0;
}
.card-top .letter {
  font-size: 0.75rem;
  letter-spacing: 0.14em;
  color: var(--muted);
  text-transform: uppercase;
}
.architecture-dot {
  width: 12px;
  height: 12px;
  background: #ccd2c7;
  border-radius: 50%;
  flex: none;
}
.shared .architecture-dot {
  background: #597c2c;
}
.card-body {
  padding: 24px 26px;
}
.card-caption {
  display: flex;
  justify-content: space-between;
  font-size: 0.75rem;
  color: var(--muted);
  padding-bottom: 16px;
  border-bottom: 1px solid #e1e4dc;
}
.fiction-title {
  font-size: 1.15rem;
  margin: 22px 0 8px;
}
.fiction-body {
  font-size: 0.9rem;
  color: var(--muted);
  margin-bottom: 24px;
}
.value-pair {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 16px;
  margin-bottom: 22px;
}
.value-pair dt {
  font-size: 0.75rem;
  font-weight: 600;
  letter-spacing: 0.045em;
  text-transform: uppercase;
  margin-bottom: 10px;
  color: var(--muted);
}
.value-pair dd {
  margin: 0;
  font-size: 1.13rem;
  font-weight: 600;
  overflow-wrap: anywhere;
  white-space: pre-wrap;
}
.value-pair .marked {
  border-left: 1px solid var(--line);
  padding-left: 20px;
}
.verdict {
  background: #f7eee4;
  color: #703b1a;
  padding: 16px 18px;
  border-radius: 6px;
}
.verdict.good {
  color: var(--good);
  background: #edf3e3;
}
.verdict strong {
  display: block;
  font-size: 0.95rem;
}
.verdict p {
  font-size: 0.81rem;
  margin: 6px 0 0;
  line-height: 1.55;
}
.card-foot {
  margin-top: 16px;
  font-size: 0.75rem;
  color: var(--muted);
  display: flex;
  justify-content: space-between;
  gap: 12px;
}
.lesson {
  font-size: 1.04rem;
  line-height: 1.6;
  border-left: 3px solid #526b3b;
  padding: 2px 0 2px 22px;
  margin: 28px 0;
}
.technical,
.reference {
  border-block: 1px solid var(--line);
  padding: 16px 0;
  margin-top: 24px;
}
.reference {
  font-size: 0.88rem;
}
.reference-grid {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 20px;
  margin: 18px 0;
}
.reference-card {
  background: #ecefe5;
  padding: 20px;
  border-radius: 6px;
}
.reference-card h3 {
  font-size: 1rem;
}
.reference-card dl {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 5px;
  font-size: 0.82rem;
}
.reference-card dd {
  margin: 0;
  font-weight: 600;
}
.reference-card p {
  font-size: 0.82rem;
  margin-bottom: 0;
}
.flow-grid {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 20px;
  margin-top: 25px;
}
.flow-grid p {
  font-size: 0.85rem;
}
summary {
  cursor: pointer;
  line-height: 1.5;
  font-weight: 600;
  padding-block: 4px;
}
details[open] > summary {
  margin-bottom: 18px;
}
pre {
  max-height: 460px;
  overflow: auto;
  background: #edf0e7;
  border: 1px solid var(--line);
  padding: 18px;
  font-family: ui-monospace, SFMono-Regular, Consolas, monospace;
  font-size: 0.78rem;
  line-height: 1.7;
  white-space: pre-wrap;
  overflow-wrap: anywhere;
  border-radius: 6px;
  tab-size: 2;
}
.workspace {
  padding-block: 70px;
  background: #e9ede3;
  border-top: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
}
.privacy {
  font-size: 0.83rem;
  color: var(--muted);
  margin: 0;
}
.workspace-actions,
.button-row {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 14px;
  margin: 22px 0;
}
.workspace-actions .text-button {
  margin-left: auto;
}
.wizard-grid {
  display: grid;
  grid-template-columns: 1fr 1.15fr;
  gap: 22px;
}
.wizard-card {
  border: 1px solid var(--line);
  border-radius: 8px;
  background: var(--paper);
  padding: 25px;
  min-width: 0;
}
.step {
  display: inline-grid;
  place-items: center;
  width: 28px;
  height: 28px;
  border-radius: 50%;
  border: 1px solid #9bad8b;
  margin-right: 8px;
  font-size: 0.83rem;
  vertical-align: 2px;
}
label {
  display: block;
  font-size: 0.82rem;
  font-weight: 600;
  line-height: 1.5;
  margin-bottom: 16px;
  min-width: 0;
}
label input,
label textarea,
label select {
  display: block;
  margin-top: 7px;
  width: 100%;
  border: 1px solid #a4b09a;
  border-radius: 5px;
  padding: 10px 12px;
  min-height: 44px;
  background: #fff;
  color: var(--ink);
  font-size: 0.9rem;
  line-height: 1.5;
}
input[type="file"] {
  font-size: 0.8rem;
  padding: 13px 10px;
  background: #f2f5e8;
  max-width: 100%;
}
input::file-selector-button {
  border: 1px solid #809273;
  background: #fff;
  border-radius: 4px;
  padding: 7px;
  font: inherit;
  margin-right: 10px;
}
input:disabled {
  background: #ecefe8;
}
textarea {
  resize: vertical;
  font-family: ui-monospace, monospace;
  font-size: 0.8rem !important;
}
.input-pair {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 15px;
}
.help {
  font-size: 0.77rem;
  color: var(--muted);
  line-height: 1.65;
}
.file-label {
  margin-top: 25px;
}
#file-summary {
  font-size: 0.85rem;
  font-weight: 600;
  overflow-wrap: anywhere;
}
fieldset {
  border: 1px solid var(--line);
  border-radius: 4px;
  padding: 15px;
  margin: 18px 0;
  min-width: 0;
}
legend {
  font-size: 0.85rem;
  font-weight: 600;
  padding: 0 5px;
}
.runbar {
  display: flex;
  align-items: center;
  gap: 20px;
  margin-top: 28px;
  padding: 25px;
  background: #dae3ce;
  border-radius: 8px;
}
.runbar h3 {
  margin: 0 0 9px;
}
.runbar p {
  font-size: 0.85rem;
  margin: 0;
}
.runbar > div {
  margin-right: auto;
}
#live {
  font-size: 0.88rem;
  margin-top: 18px;
}
progress {
  width: 100%;
  accent-color: #334f2e;
}
#progress-area {
  margin-block: 18px;
}
.error,
.notice {
  background: #fff0e9;
  border: 1px solid #b4785b;
  padding: 17px;
  color: #7a2b21;
  font-size: 0.88rem;
  border-radius: 6px;
  overflow-wrap: anywhere;
}
.preview-result {
  margin-top: 25px;
  background: var(--panel);
  padding: 22px;
  border-radius: 8px;
  border: 1px solid var(--line);
}
.preview-item {
  border-top: 1px solid var(--line);
  padding: 12px 0;
}
.preview-item p {
  font-size: 0.85rem;
}
#report {
  margin-top: 38px;
  padding-top: 28px;
  border-top: 2px solid var(--ink);
}
.report-heading {
  display: flex;
  justify-content: space-between;
  gap: 20px;
  align-items: center;
}
.report-heading h3 {
  font-size: 1.6rem;
  margin: 0;
}
.report-heading + p {
  font-size: 1.04rem;
  margin-top: 20px;
}
.report-tools {
  display: flex;
  gap: 15px;
  flex-wrap: wrap;
  align-items: end;
}
.report-tools > label {
  min-width: 195px;
  flex: 1;
  margin: 0;
}
.exports {
  display: flex;
  align-items: end;
  gap: 10px;
  flex-wrap: wrap;
}
.exports label {
  margin: 0;
  font-size: 0.75rem;
}
.exports select {
  min-width: 115px;
}
.exports .button {
  font-size: 0.78rem;
  padding: 11px;
  gap: 5px;
  white-space: nowrap;
}
.table-scroll {
  overflow: auto;
  max-width: 100%;
  border: 1px solid var(--line);
  border-radius: 7px;
  background: #fff;
  margin-bottom: 18px;
}
table {
  border-collapse: collapse;
  width: 100%;
  font-size: 0.8rem;
  min-width: 660px;
  text-align: left;
  line-height: 1.55;
}
caption {
  text-align: left;
  padding: 15px;
  font-weight: 600;
  background: #f5f6f1;
}
th,
td {
  padding: 14px 15px;
  vertical-align: top;
  border-bottom: 1px solid #d9dfd0;
}
th {
  font-size: 0.77rem;
  background: #edf2e6;
}
th button {
  border: 0;
  padding: 0;
  background: none;
  text-align: left;
  font-weight: 600;
  color: inherit;
}
td:nth-child(1) {
  width: 17%;
}
td:nth-child(2) {
  width: 29%;
  overflow-wrap: anywhere;
}
td:nth-child(3) {
  width: 39%;
}
td small {
  display: block;
  color: var(--muted);
  font-size: 0.75rem;
  margin-top: 5px;
}
.status {
  display: inline-block;
  font-weight: 650;
  color: #754020;
}
.status.concordant {
  color: #285235;
}
.status.invalide {
  color: #922b1e;
}
#proof {
  margin-top: 24px;
  background: var(--paper);
  border: 1px solid #a9b69e;
  border-radius: 8px;
  padding: 24px;
}
.proof-heading {
  display: flex;
  align-items: start;
  gap: 15px;
  justify-content: space-between;
}
.proof-heading h4 {
  overflow-wrap: anywhere;
}
.proof-grid {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 20px;
}
.proof-grid > div {
  min-width: 0;
}
.proof-grid h5 {
  margin-bottom: 10px;
}
#proof p {
  font-size: 0.84rem;
}
.method {
  padding-block: 80px;
}
.method-grid {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  gap: 25px;
  margin-block: 45px;
}
.method-grid article {
  border-top: 1px solid var(--ink);
  padding-top: 18px;
}
.method-grid h3 {
  font-size: 1.15rem;
  margin-top: 22px;
}
.method-grid p {
  font-size: 0.87rem;
  color: var(--muted);
}
.method-number {
  font-size: 0.75rem;
  color: var(--muted);
}
.method-notes {
  max-width: 900px;
}
.method-notes details {
  border-top: 1px solid var(--line);
  padding: 17px 0;
  font-size: 0.88rem;
}
.method-notes p {
  margin-top: 14px;
  color: var(--muted);
}
.resources {
  border: 1px solid var(--line);
  border-radius: 8px;
  margin-top: 40px;
  padding: 28px;
  background: #edf1e4;
}
.resources > div {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 12px;
  font-size: 0.86rem;
}
.resources a {
  width: fit-content;
}
footer {
  padding-block: 30px 45px;
  border-top: 1px solid var(--line);
  display: flex;
  align-items: start;
  justify-content: space-between;
  gap: 30px;
}
footer p {
  font-size: 0.9rem;
  color: var(--muted);
}
footer > div {
  display: flex;
  flex-direction: column;
  align-items: start;
  gap: 8px;
  font-size: 0.78rem;
}
footer span:not(.brand span) {
  color: var(--muted);
}
.skip {
  position: absolute;
  left: 20px;
  top: -100px;
  padding: 12px;
  background: #fff;
  z-index: 10;
}
.skip:focus {
  top: 15px;
}
@media (min-width: 1500px) {
  .hero {
    padding-top: 100px;
  }
}
@media (max-width: 1050px) {
  .wrap {
    width: calc(100% - 48px);
  }
  .lab-label {
    display: none;
  }
  .masthead nav {
    gap: 18px;
  }
  .section-heading {
    align-items: start;
  }
  .tag {
    max-width: 230px;
    text-align: center;
    white-space: normal;
  }
  .scenario-toolbar {
    flex-wrap: wrap;
  }
  .scenario-story {
    flex-wrap: wrap;
  }
  .small-link {
    margin-left: 60px;
  }
  .wizard-grid {
    grid-template-columns: 1fr 1fr;
  }
  .card-body {
    padding: 22px;
  }
  .card-top {
    padding: 20px;
  }
  .value-pair {
    grid-template-columns: 1fr;
  }
  .value-pair .marked {
    border-left: 0;
    border-top: 1px solid var(--line);
    padding: 15px 0 0;
  }
  .method-grid {
    grid-template-columns: 1fr 1fr;
  }
  .report-tools > .exports {
    width: 100%;
  }
}
@media (max-width: 720px) {
  .wrap {
    width: calc(100% - 36px);
  }
  .masthead {
    padding-block: 22px;
    flex-wrap: wrap;
    gap: 18px;
  }
  .brand {
    font-size: 1.85rem;
  }
  .masthead nav {
    font-size: 0.76rem;
    gap: 14px;
    margin: 0;
    flex-wrap: wrap;
    line-height: 1.5;
  }
  .hero {
    padding-block: 48px;
  }
  .hero h1 {
    font-size: clamp(2.4rem, 8.5vw, 3.5rem);
  }
  .lead {
    font-size: 1.02rem;
  }
  .hero-bottom {
    align-items: start;
    flex-direction: column;
    gap: 24px;
  }
  .section-heading {
    flex-direction: column;
    gap: 18px;
  }
  .section-heading h2 {
    font-size: 2.15rem;
  }
  .tag {
    text-align: left;
    max-width: none;
  }
  .section-intro {
    font-size: 0.91rem;
  }
  .scenario-toolbar {
    padding: 18px;
    gap: 10px;
  }
  .scenario-toolbar label {
    max-width: none;
    width: 100%;
    flex: auto;
  }
  .scenario-toolbar .button {
    width: 100%;
    text-align: center;
  }
  .scenario-toolbar .text-button {
    margin: auto;
  }
  .scenario-story {
    gap: 12px;
  }
  .scenario-story > div {
    flex: 1;
    min-width: 0;
  }
  .scenario-story h3 {
    font-size: 1.15rem;
  }
  .scenario-story p {
    font-size: 0.88rem;
  }
  .scenario-story .small-link {
    margin-left: 54px;
  }
  .comparison,
  .reference-grid,
  .wizard-grid,
  .flow-grid,
  .proof-grid {
    grid-template-columns: 1fr;
  }
  .value-pair {
    grid-template-columns: 1fr 1fr;
  }
  .value-pair dd {
    font-size: 1rem;
  }
  .value-pair .marked {
    border-top: 0;
    border-left: 1px solid var(--line);
    padding: 0 0 0 15px;
  }
  .lesson {
    font-size: 0.96rem;
    padding-left: 16px;
  }
  .experiment {
    padding-bottom: 50px;
  }
  .workspace {
    padding-block: 48px;
  }
  .workspace-actions {
    gap: 10px;
    align-items: stretch;
  }
  .workspace-actions .button {
    flex: 1;
    min-width: 100%;
  }
  .workspace-actions .text-button {
    margin-left: 0;
  }
  .wizard-card {
    padding: 19px;
  }
  .wizard-card h3 {
    font-size: 1.17rem;
  }
  .input-pair {
    grid-template-columns: 1fr;
    gap: 0;
  }
  .runbar {
    flex-wrap: wrap;
    padding: 20px;
  }
  .runbar > div {
    width: 100%;
  }
  .runbar .button {
    width: 100%;
  }
  .report-heading {
    flex-wrap: wrap;
  }
  .report-tools {
    align-items: start;
  }
  .report-tools > label {
    width: 100%;
    flex: auto;
  }
  .exports {
    width: 100%;
    justify-content: start;
  }
  .exports .button {
    flex: 1;
  }
  .method {
    padding-block: 50px;
  }
  .method h2 {
    font-size: 2.15rem;
  }
  .method-grid {
    gap: 18px;
  }
  .method-grid h3 {
    font-size: 1.06rem;
  }
  .method-grid p {
    font-size: 0.84rem;
  }
  .resources {
    padding: 20px;
  }
  .resources > div {
    grid-template-columns: 1fr;
  }
  footer {
    flex-direction: column;
    gap: 20px;
  }
  footer p {
    margin: 0;
  }
  pre {
    font-size: 0.75rem;
  }
  #proof {
    padding: 17px;
  }
  .proof-heading {
    flex-wrap: wrap;
  }
  .card-foot {
    flex-wrap: wrap;
  }
}
@media (max-width: 380px) {
  .value-pair {
    grid-template-columns: 1fr;
  }
  .value-pair .marked {
    border-left: 0;
    border-top: 1px solid var(--line);
    padding: 15px 0 0;
  }
  .method-grid {
    grid-template-columns: 1fr;
  }
  .masthead nav {
    gap: 10px;
  }
}
@media (prefers-reduced-motion: reduce) {
  :root {
    scroll-behavior: auto;
  }
  *,
  *::before,
  *::after {
    animation: none !important;
    transition: none !important;
  }
}