:root {
  color-scheme: light;
  --paper: #f4f2ea;
  --ink: #1b2926;
  --muted: #65706a;
  --line: #d1d5cb;
  --red: #ae422b;
  --green: #25624b;
  --light: #fbfaf5;
  --mono: ui-monospace, SFMono-Regular, Consolas, monospace;
}
* {
  box-sizing: border-box;
}
body {
  margin: 0;
  background: var(--paper);
  color: var(--ink);
  font:
    15px/1.55 system-ui,
    -apple-system,
    BlinkMacSystemFont,
    "Segoe UI",
    sans-serif;
}
a {
  color: inherit;
  text-underline-offset: 4px;
}
button,
input,
textarea {
  font: inherit;
}
button,
a,
label {
  touch-action: manipulation;
}
button {
  cursor: pointer;
}
button:disabled {
  cursor: default;
  opacity: 0.45;
}
button:focus-visible,
a:focus-visible,
summary:focus-visible,
textarea:focus-visible,
label:focus-within,
[tabindex]:focus-visible {
  outline: 3px solid var(--red);
  outline-offset: 4px;
}
[hidden] {
  display: none !important;
}
.masthead,
main,
footer {
  max-width: 1420px;
  margin: auto;
}
.masthead {
  height: 96px;
  display: flex;
  align-items: center;
  justify-content: space-between;
  border-bottom: 1px solid var(--line);
  gap: 20px;
  padding: 0 48px;
}
.wordmark {
  font-size: 25px;
  font-weight: 750;
  letter-spacing: -1px;
  text-decoration: none;
}
.mark {
  color: var(--red);
  padding-left: 7px;
  font-size: 32px;
}
.edition,
.eyebrow,
.local-tag,
.step {
  font: 11px/1.45 var(--mono);
  letter-spacing: 1.7px;
}
.edition {
  color: var(--muted);
}
main {
  padding: 0 48px;
}
.intro {
  display: grid;
  grid-template-columns: 1.6fr 1fr;
  gap: 10%;
  padding: 64px 0 58px;
}
.eyebrow {
  color: var(--red);
  text-transform: uppercase;
  margin: 0 0 17px;
}
h1 {
  font-size: clamp(46px, 5vw, 74px);
  line-height: 1.05;
  letter-spacing: -3.8px;
  font-weight: 550;
  margin: 0 0 23px;
}
h1 em {
  font-family: Georgia, serif;
  font-weight: 400;
  color: var(--red);
}
.lede {
  font-size: 18px;
  max-width: 620px;
  line-height: 1.6;
  color: #4c5853;
  margin: 0;
}
.principle {
  align-self: center;
  border-left: 1px solid var(--line);
  padding: 5px 0 5px 32px;
}
.principle p:not(.eyebrow) {
  font-size: 13px;
  color: var(--muted);
  max-width: 360px;
}
.principle a {
  font-size: 12px;
}
.equation {
  font-family: Georgia, serif;
  font-size: 49px;
  line-height: 1.4;
}
.equation.small {
  font-size: 25px;
}
.star {
  font-size: 0.58em;
  vertical-align: super;
}
.workbench {
  border: 1px solid var(--line);
  background: var(--light);
}
.input-panel {
  padding: 28px 32px 30px;
  border-bottom: 1px solid var(--line);
}
.section-head {
  display: flex;
  align-items: center;
  gap: 13px;
}
.section-head h2 {
  font-weight: 600;
  font-size: 19px;
  letter-spacing: -0.4px;
  margin: 0;
}
.step {
  color: var(--red);
  border: 1px solid #d8b9ab;
  padding: 3px 6px;
  display: inline-block;
}
.local-tag {
  margin-left: auto;
  color: var(--green);
  font-size: 10px;
  letter-spacing: 1px;
}
.muted {
  color: var(--muted);
  font-size: 13px;
  margin: 13px 0 20px;
}
.examples {
  display: grid;
  grid-template-columns: repeat(5, minmax(0, 1fr));
  gap: 10px;
}
.example {
  background: transparent;
  text-align: left;
  border: 1px solid var(--line);
  padding: 14px;
  min-height: 110px;
  color: var(--ink);
  transition: border-color 0.15s;
}
.example:hover {
  border-color: var(--ink);
}
.example[aria-pressed="true"] {
  border-color: var(--red);
  box-shadow: inset 0 0 0 1px var(--red);
  background: #f7eee6;
}
.example strong {
  display: block;
  font-size: 13px;
  margin-bottom: 7px;
}
.example span {
  display: block;
  font-size: 11px;
  color: var(--muted);
  line-height: 1.45;
}
.input-actions {
  display: flex;
  align-items: center;
  gap: 15px;
  margin-top: 18px;
}
.button {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  gap: 20px;
  min-height: 44px;
  padding: 11px 17px;
  border: 1px solid var(--ink);
  border-radius: 0;
  text-decoration: none;
  font-size: 12px;
  font-weight: 600;
  line-height: 1.4;
}
.primary {
  background: var(--ink);
  color: white;
}
.primary:hover:not(:disabled) {
  background: #344a41;
}
.secondary {
  background: transparent;
  color: var(--ink);
  border-color: var(--line);
}
.secondary:hover:not(:disabled) {
  border-color: var(--ink);
}
.upload {
  position: relative;
  overflow: hidden;
  cursor: pointer;
}
.upload input {
  position: absolute;
  inset: 0;
  opacity: 0;
  cursor: pointer;
  max-width: 100%;
}
.filename {
  font: 11px var(--mono);
  color: var(--muted);
  overflow-wrap: anywhere;
}
.source-input {
  margin-top: 18px;
}
.source-input summary,
.exact-evidence summary,
.source-identity summary {
  font-size: 12px;
  cursor: pointer;
  max-width: 100%;
}
textarea {
  display: block;
  width: 100%;
  height: 230px;
  background: #f1f1e9;
  border: 1px solid var(--line);
  padding: 12px;
  font: 11px/1.7 var(--mono);
  resize: vertical;
  margin-top: 12px;
}
.micro {
  font-size: 11px;
  line-height: 1.6;
  color: var(--muted);
  margin: 10px 0;
}
.run-actions {
  display: flex;
  gap: 10px;
  align-items: center;
  margin-top: 20px;
}
.activity {
  font: 11px/1.6 var(--mono);
  color: var(--muted);
  margin: 14px 0 0;
  overflow-wrap: anywhere;
}
.error {
  border-left: 3px solid var(--red);
  padding: 10px 14px;
  background: #f7e9e1;
  font-size: 13px;
  color: #82351f;
  overflow-wrap: anywhere;
}
.result-panel {
  padding: 28px 32px 32px;
}
.empty {
  padding: 48px 18px 44px;
  text-align: center;
  max-width: 600px;
  margin: auto;
  color: var(--muted);
}
.empty-symbol {
  font:
    34px Georgia,
    serif;
  color: #97a196;
}
.empty h3 {
  font-size: 23px;
  font-weight: 500;
  color: var(--ink);
  margin: 22px 0 8px;
}
.empty p {
  font-size: 13px;
  max-width: 440px;
  margin: auto;
}
.legend {
  display: flex;
  justify-content: center;
  gap: 17px;
  margin-top: 25px;
  font: 10px var(--mono);
}
.legend span + span {
  border-left: 1px solid var(--line);
  padding-left: 17px;
}
.verdict {
  border-left: 4px solid var(--green);
  background: #edf2e9;
  padding: 21px 25px;
  margin-top: 24px;
}
.verdict.refused {
  border-color: var(--red);
  background: #f8ece4;
}
.verdict .eyebrow {
  margin: 0 0 6px;
  color: var(--green);
}
.verdict.refused .eyebrow {
  color: var(--red);
}
.verdict h3 {
  font:
    34px/1.2 Georgia,
    serif;
  margin: 0 0 9px;
  letter-spacing: -0.5px;
}
.verdict p:last-child {
  font-size: 13px;
  max-width: 720px;
  margin: 0;
  color: #526157;
}
.metrics {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  border: 1px solid var(--line);
  margin: 18px 0 25px;
}
.metrics > div {
  padding: 18px 20px;
  min-width: 0;
}
.metrics > div + div {
  border-left: 1px solid var(--line);
}
.metrics span {
  font: 10px var(--mono);
  color: var(--muted);
  display: block;
}
.metrics strong {
  display: block;
  font: 15px/1.6 var(--mono);
  margin-top: 10px;
  overflow-wrap: anywhere;
}
.metrics small {
  font-size: 10px;
  color: var(--muted);
  display: block;
  margin-top: 6px;
}
progress {
  display: block;
  appearance: none;
  -webkit-appearance: none;
  height: 3px;
  width: 100%;
  margin-top: 9px;
  border: 0;
  background: var(--line);
  accent-color: var(--green);
}
progress::-webkit-progress-bar {
  background: var(--line);
}
progress::-webkit-progress-value {
  background: var(--green);
}
.decision {
  border: 1px solid var(--line);
  padding: 22px 25px;
  margin-bottom: 25px;
}
.decision h4 {
  font-size: 23px;
  font-weight: 550;
  letter-spacing: -0.4px;
  margin: 0;
}
.decision > .eyebrow {
  margin-bottom: 6px;
}
.decision > p:not(.eyebrow) {
  font-size: 13px;
  color: var(--muted);
  margin: 8px 0 18px;
}
.threshold-details {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 15px;
  margin: 0;
}
.threshold-details dt {
  font-size: 10px;
  color: var(--muted);
}
.threshold-details dd {
  margin: 5px 0 0;
  font: 12px/1.5 var(--mono);
  overflow-wrap: anywhere;
}
.vector-head {
  display: flex;
  align-items: baseline;
  justify-content: space-between;
  gap: 10px;
}
.vector-head h4,
.export-area h4 {
  font-size: 15px;
  font-weight: 600;
  margin: 0;
}
.mono {
  font-family: var(--mono);
  font-size: 11px;
}
.table-scroll {
  max-height: 410px;
  overflow: auto;
  border: 1px solid var(--line);
}
table {
  border-collapse: collapse;
  width: 100%;
  font: 11px/1.6 var(--mono);
  text-align: left;
}
th {
  position: sticky;
  top: 0;
  background: #e9ece2;
  color: #586359;
  font-size: 10px;
  font-weight: 400;
  padding: 10px 13px;
  border-bottom: 1px solid var(--line);
  z-index: 1;
}
td {
  padding: 9px 13px;
  border-bottom: 1px solid #e3e5db;
  vertical-align: top;
  overflow-wrap: anywhere;
}
td:first-child {
  color: var(--muted);
  width: 65px;
}
tr.exact-row td {
  padding: 0;
  border-bottom: 1px solid var(--line);
}
.component-details {
  padding: 0 13px;
}
.component-details summary {
  font: 10px/1.5 var(--mono);
  color: var(--muted);
  padding: 5px 0;
  cursor: pointer;
}
.component-details pre {
  max-height: 190px;
  overflow: auto;
  font: 10px/1.6 var(--mono);
  padding: 9px;
  background: #f0f1e8;
  white-space: pre-wrap;
  overflow-wrap: anywhere;
}
.exact-evidence {
  margin: 20px 0;
}
.exact-evidence pre {
  font: 11px/1.7 var(--mono);
  max-height: 330px;
  overflow: auto;
  background: #eff0e7;
  padding: 16px;
  white-space: pre-wrap;
  overflow-wrap: anywhere;
}
.export-area {
  border-top: 1px solid var(--line);
  padding-top: 23px;
  display: flex;
  justify-content: space-between;
  gap: 28px;
}
.export-area > div:first-child {
  max-width: 530px;
}
.export-area .step {
  float: left;
  margin-right: 12px;
}
.export-buttons {
  display: flex;
  flex-direction: column;
  gap: 8px;
  flex-shrink: 0;
}
.source-identity {
  margin-top: 22px;
}
.source-identity dl {
  font-size: 12px;
}
.source-identity dt {
  font-weight: 600;
  margin-top: 13px;
}
.source-identity dd {
  margin: 5px 0;
  color: var(--muted);
  overflow-wrap: anywhere;
}
.scope {
  display: grid;
  grid-template-columns: 1fr 1.2fr;
  gap: 9%;
  padding: 52px 0 45px;
}
.scope h2 {
  font:
    25px/1.3 Georgia,
    serif;
  font-weight: 400;
  margin: 6px 0;
}
.scope p {
  font-size: 12px;
  color: var(--muted);
  margin: 0 0 14px;
}
.scope a {
  font-size: 12px;
}
footer {
  border-top: 1px solid var(--line);
  padding: 25px 48px;
  display: flex;
  justify-content: space-between;
  gap: 16px;
  font: 10px/1.5 var(--mono);
  color: var(--muted);
}
.skip {
  position: absolute;
  left: 12px;
  top: -60px;
  background: white;
  padding: 10px;
  z-index: 10;
}
.skip:focus {
  top: 12px;
}
.sr-only {
  position: absolute;
  width: 1px;
  height: 1px;
  padding: 0;
  margin: -1px;
  overflow: hidden;
  clip: rect(0, 0, 0, 0);
  white-space: nowrap;
  border: 0;
}
@media (max-width: 1050px) {
  .examples {
    grid-template-columns: repeat(3, minmax(0, 1fr));
  }
  .intro {
    gap: 6%;
  }
  h1 {
    letter-spacing: -2.5px;
  }
  .export-area {
    display: block;
  }
  .export-buttons {
    flex-direction: row;
    flex-wrap: wrap;
    margin-top: 15px;
  }
}
@media (max-width: 700px) {
  .masthead {
    padding: 0 20px;
    height: 76px;
  }
  .edition {
    display: none;
  }
  main {
    padding: 0 20px;
  }
  .intro {
    grid-template-columns: 1fr;
    padding: 38px 0 32px;
    gap: 30px;
  }
  h1 {
    font-size: 49px;
    letter-spacing: -2.8px;
  }
  .lede {
    font-size: 15px;
  }
  .principle {
    border-left: 0;
    border-top: 1px solid var(--line);
    padding: 22px 0 0;
  }
  .principle .equation {
    display: inline-block;
    margin-right: 15px;
    font-size: 32px;
  }
  .principle .equation.small {
    font-size: 19px;
  }
  .principle p:not(.eyebrow) {
    max-width: none;
  }
  .input-panel,
  .result-panel {
    padding: 22px 18px;
  }
  .local-tag {
    font-size: 8px;
    max-width: 105px;
    text-align: right;
    letter-spacing: 0.5px;
  }
  .examples {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }
  .example {
    min-height: 104px;
    padding: 11px;
  }
  .input-actions {
    align-items: flex-start;
    flex-direction: column;
    gap: 8px;
  }
  .run-actions {
    align-items: stretch;
  }
  .run-actions .primary {
    flex: 1;
    gap: 8px;
    font-size: 11px;
  }
  .run-actions .secondary {
    padding: 10px;
  }
  .metrics {
    grid-template-columns: 1fr;
  }
  .metrics > div + div {
    border-left: 0;
    border-top: 1px solid var(--line);
  }
  .metrics > div {
    padding: 14px 17px;
  }
  .metrics strong {
    margin-top: 5px;
  }
  .verdict {
    padding: 18px;
  }
  .verdict h3 {
    font-size: 27px;
  }
  .decision {
    padding: 18px;
  }
  .threshold-details {
    grid-template-columns: 1fr;
    gap: 10px;
  }
  .vector-head {
    display: block;
  }
  .table-scroll {
    max-height: 360px;
  }
  table {
    min-width: 610px;
  }
  .scope {
    grid-template-columns: 1fr;
    gap: 18px;
    padding: 34px 0;
  }
  .scope h2 {
    font-size: 25px;
  }
  footer {
    padding: 20px;
    flex-wrap: wrap;
  }
  .legend {
    gap: 10px;
    font-size: 8px;
  }
  .legend span + span {
    padding-left: 10px;
  }
  .export-buttons .button {
    width: 100%;
  }
}