:root {
  color-scheme: light;
  --paper: #fff;
  --ink: #172444;
  --muted: #5e6c84;
  --blue: #294ce8;
  --wash: #eef1ff;
  --warning: #9b3152;
  --line: #dbe1ee;
  font-family: 'Avenir Next', 'Trebuchet MS', sans-serif;
  color: var(--ink);
  background: var(--paper);
  font-synthesis: none;
}
* {
  box-sizing: border-box;
}
body {
  margin: 0;
}
a {
  color: var(--blue);
  text-underline-offset: 3px;
}
button,
input,
select {
  font: inherit;
}
button,
select {
  cursor: pointer;
}
button:focus-visible,
input:focus-visible,
select:focus-visible,
a:focus-visible,
[tabindex]:focus-visible {
  outline: 3px solid var(--blue);
  outline-offset: 3px;
}
.masthead {
  max-width: 1440px;
  margin: auto;
  display: flex;
  align-items: center;
  justify-content: space-between;
  padding: 28px 48px;
}
.brand {
  font-size: 32px;
  letter-spacing: -1.5px;
  font-weight: 700;
  color: var(--ink);
  text-decoration: none;
}
.brand span {
  font-weight: 400;
  letter-spacing: -1px;
  margin-left: 7px;
}
nav {
  display: flex;
  gap: 28px;
  font-size: 14px;
}
nav a {
  color: var(--ink);
  text-decoration: none;
}
nav a:hover {
  text-decoration: underline;
}
main {
  max-width: 1440px;
  margin: auto;
}
.introduction {
  display: grid;
  grid-template-columns: 1.2fr 1fr;
  gap: 100px;
  align-items: center;
  padding: 45px 48px 64px;
}
.introduction > * {
  min-width: 0;
}
h1 {
  font-size: clamp(38px, 4.6vw, 64px);
  font-weight: 600;
  letter-spacing: -2.8px;
  line-height: 1.08;
  margin: 0 0 22px;
}
.introduction p {
  max-width: 53ch;
  line-height: 1.65;
  color: var(--muted);
  font-size: 17px;
  margin: 0;
}
.decision-example {
  border: 1px solid var(--line);
  border-radius: 18px;
  padding: 30px 32px;
  background: #fff;
}
.decision-example .example-message {
  font-size: 23px;
  color: var(--ink);
  line-height: 1.45;
  max-width: 28ch;
}
.example-flow {
  display: flex;
  align-items: center;
  gap: 16px;
  margin: 25px 0;
  font-size: 16px;
}
.example-flow strong {
  background: var(--blue);
  color: white;
  font-weight: 500;
  padding: 8px 25px;
  border-radius: 5px;
}
.connector {
  width: 66px;
  border-top: 2px solid #b1bedb;
}
.decision-example .example-note {
  font-size: 13px;
  line-height: 1.5;
}
.workspace {
  display: grid;
  grid-template-columns: minmax(320px, 0.85fr) minmax(0, 1.25fr);
  border-top: 1px solid var(--line);
  margin: 0 48px;
}
.library {
  padding: 30px 32px 0 0;
}
.search-label {
  display: block;
  font-size: 15px;
  font-weight: 600;
  margin-bottom: 12px;
}
#search {
  border: 1px solid #a8b5d2;
  border-radius: 7px;
  width: 100%;
  padding: 14px 13px;
  color: var(--ink);
  background: #fff;
  font-size: 14px;
}
#search::placeholder {
  color: var(--muted);
}
.filters {
  display: flex;
  gap: 14px;
  margin-top: 18px;
}
.filters label {
  display: grid;
  gap: 7px;
  font-size: 12px;
  color: var(--muted);
  flex: 1;
}
select {
  min-width: 0;
  width: 100%;
  border: 1px solid var(--line);
  background: #fff;
  border-radius: 5px;
  padding: 9px;
  color: var(--ink);
  font-size: 13px;
}
.result-count {
  font-size: 12px;
  color: var(--muted);
  margin: 20px 0 10px;
}
.results {
  max-height: 850px;
  overflow: auto;
  padding-bottom: 24px;
}
.recipe-row {
  display: block;
  text-align: left;
  width: 100%;
  border: 0;
  border-bottom: 1px solid var(--line);
  background: white;
  padding: 18px 16px 18px 12px;
  border-left: 3px solid transparent;
  color: var(--ink);
}
.recipe-row[aria-pressed='true'] {
  border-left-color: var(--blue);
  background: var(--wash);
}
.recipe-row:hover {
  background: #f6f8ff;
}
.recipe-row strong {
  display: block;
  font-size: 16px;
  font-weight: 600;
  margin-bottom: 7px;
}
.recipe-row p {
  font-size: 13px;
  line-height: 1.5;
  margin: 0 0 10px;
  color: var(--muted);
}
.evidence-label {
  font-size: 11px;
  color: var(--muted);
}
.evidence-label.current {
  color: var(--blue);
}
.inspector {
  padding: 30px 0 36px 36px;
  border-left: 1px solid var(--line);
  min-width: 0;
}
.recipe-heading {
  display: flex;
  justify-content: space-between;
  gap: 12px;
  align-items: center;
}
h2 {
  font-size: 28px;
  line-height: 1.2;
  letter-spacing: -0.7px;
  margin: 0 0 12px;
  font-weight: 600;
}
h3 {
  font-size: 17px;
  margin: 28px 0 12px;
  font-weight: 600;
}
.purpose {
  font-size: 15px;
  line-height: 1.6;
  color: var(--muted);
  max-width: 65ch;
}
.import-line {
  font-family: ui-monospace, 'SFMono-Regular', Consolas, monospace;
  font-size: 12px;
  overflow: auto;
  border: 1px solid var(--line);
  border-radius: 6px;
  padding: 14px;
  margin: 20px 0;
  background: #f8faff;
  white-space: pre;
}
.evidence-panel {
  background: var(--wash);
  padding: 18px 20px;
  border-radius: 8px;
  margin: 22px 0;
}
.evidence-panel p {
  font-size: 13px;
  line-height: 1.6;
  margin: 6px 0;
}
.evidence-panel strong {
  font-size: 14px;
}
.metrics {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  gap: 16px;
  margin: 18px 0 10px;
}
.metric span {
  font-size: 24px;
  display: block;
  font-weight: 600;
  letter-spacing: -0.5px;
}
.metric small {
  font-size: 11px;
  color: var(--muted);
}
.warning {
  color: var(--warning);
}
.links {
  display: flex;
  gap: 16px;
  flex-wrap: wrap;
  font-size: 12px;
  margin-top: 12px;
}
.contract-table {
  width: 100%;
  border-collapse: collapse;
  font-size: 12px;
}
.contract-table th {
  text-align: left;
  font-weight: 600;
  color: var(--muted);
}
.contract-table th,
.contract-table td {
  vertical-align: top;
  padding: 10px 8px 10px 0;
  border-bottom: 1px solid var(--line);
  overflow-wrap: anywhere;
}
.contract-table td:first-child {
  font-family: ui-monospace, Consolas, monospace;
}
.fixture-toolbar {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 16px;
}
.fixture-toolbar label {
  font-size: 12px;
  display: flex;
  align-items: center;
  gap: 8px;
}
.fixture-toolbar select {
  width: auto;
  padding: 6px;
}
.quiet-button {
  border: 1px solid var(--line);
  background: white;
  color: var(--blue);
  border-radius: 5px;
  padding: 8px 12px;
  font-size: 12px;
}
.fixture-columns {
  display: grid;
  grid-template-columns: 1fr;
  gap: 10px;
}
.fixture-label {
  font-size: 12px;
  font-weight: 600;
  margin: 14px 0 6px;
}
pre {
  margin: 0;
  padding: 16px;
  background: #f7f8fc;
  border-radius: 7px;
  overflow: auto;
  max-height: 320px;
  white-space: pre-wrap;
  overflow-wrap: anywhere;
  font-size: 12px;
  line-height: 1.6;
  font-family: ui-monospace, 'SFMono-Regular', Consolas, monospace;
}
.note {
  font-size: 12px;
  line-height: 1.6;
  color: var(--muted);
  max-width: 70ch;
}
.limits {
  font-size: 13px;
  line-height: 1.65;
  padding-left: 20px;
  color: var(--muted);
}
.related {
  display: flex;
  flex-direction: column;
  gap: 10px;
}
.related-item {
  padding: 12px 0;
  border-bottom: 1px solid var(--line);
  font-size: 13px;
  line-height: 1.55;
}
.related-item p {
  margin: 6px 0 10px;
  color: var(--muted);
}
.comparison {
  margin-top: 18px;
  padding: 16px;
  border: 1px solid var(--line);
  border-radius: 7px;
  font-size: 13px;
  line-height: 1.6;
}
.comparison table {
  width: 100%;
  border-collapse: collapse;
  table-layout: fixed;
}
.comparison th,
.comparison td {
  vertical-align: top;
  text-align: left;
  padding: 8px;
  overflow-wrap: anywhere;
}
.comparison th {
  background: var(--wash);
}
details {
  margin-top: 14px;
  font-size: 12px;
}
summary {
  cursor: pointer;
  color: var(--blue);
  margin-bottom: 8px;
}
.empty {
  font-size: 14px;
  line-height: 1.6;
  color: var(--muted);
  padding: 25px 10px;
}
footer {
  max-width: 1440px;
  margin: 40px auto 0;
  padding: 28px 48px;
  border-top: 1px solid var(--line);
  font-size: 12px;
  color: var(--muted);
}
@media (max-width: 950px) {
  .masthead {
    padding: 24px;
  }
  .introduction {
    padding: 28px 24px 40px;
    gap: 35px;
  }
  .decision-example {
    padding: 24px;
  }
  .decision-example .example-message {
    font-size: 20px;
  }
  .workspace {
    margin: 0 24px;
    grid-template-columns: 1fr 1.15fr;
  }
  .library {
    padding-right: 22px;
  }
  .inspector {
    padding-left: 22px;
  }
  .filters {
    flex-direction: column;
  }
  h1 {
    letter-spacing: -1.8px;
  }
  .recipe-heading {
    display: block;
  }
}
@media (max-width: 680px) {
  .masthead {
    align-items: flex-start;
    gap: 20px;
  }
  .brand {
    font-size: 26px;
  }
  nav {
    flex-wrap: wrap;
    justify-content: flex-end;
    gap: 10px 18px;
    font-size: 12px;
    max-width: 210px;
  }
  .introduction {
    grid-template-columns: minmax(0, 1fr);
    gap: 28px;
  }
  .introduction p {
    font-size: 15px;
  }
  .decision-example {
    max-width: 480px;
  }
  .workspace {
    grid-template-columns: 1fr;
  }
  .library {
    padding-right: 0;
  }
  .filters {
    flex-direction: row;
  }
  .results {
    max-height: 360px;
  }
  .inspector {
    padding: 28px 0;
    border-left: 0;
    border-top: 1px solid var(--line);
  }
  .fixture-toolbar {
    align-items: flex-start;
    flex-direction: column;
  }
  .metrics {
    gap: 8px;
  }
  footer {
    padding: 24px;
  }
  .introduction h1 br {
    display: none;
  }
  h1 {
    max-width: 12ch;
  }
  .recipe-row {
    padding-top: 14px;
    padding-bottom: 14px;
  }
}
