/* Per-tool pages on §V The Bench. Used by /cli/*.html. */

.credit-line {
  font-family: ui-monospace, monospace;
  font-size: 12px;
  letter-spacing: 0.16em;
  text-transform: uppercase;
  color: var(--ink-3);
  margin: 6px 0 28px;
}
.credit-line .accent { color: var(--vermillion); }

.bench-page .lede {
  font-size: 17px; line-height: 1.65; color: var(--ink-2);
  max-width: 720px; margin: 0 0 28px;
}
.bench-page .lede em { font-style: italic; color: var(--ink); }
.bench-page .lede code,
.bench-page .lede-prose code {
  font-family: ui-monospace, monospace;
  font-size: 14px;
  background: var(--paper-2);
  padding: 1px 6px;
  border: 1px dotted var(--rule-2);
}

.bench-page .lede-prose {
  font-size: 16px; line-height: 1.65; color: var(--ink-2);
  max-width: 720px; margin: 0 0 12px;
}

.bench-h {
  font-family: ui-monospace, monospace;
  font-size: 11px;
  letter-spacing: 0.20em;
  text-transform: uppercase;
  color: var(--ink-3);
  margin: 36px 0 12px;
  font-weight: 400;
  padding-bottom: 6px;
  border-bottom: 1px solid var(--rule);
}
.bench-h .accent { color: var(--vermillion); }

.section-num {
  font-style: italic;
  font-family: Georgia, serif;
  letter-spacing: 0;
  text-transform: none;
  color: var(--vermillion);
}

pre.shell, pre.sample, pre.scope, pre.source {
  font-family: ui-monospace, "SFMono-Regular", monospace;
  font-size: 13px;
  line-height: 1.55;
  background: var(--paper-2);
  border: 1px solid var(--rule);
  padding: 14px 18px;
  margin: 0 0 18px;
  overflow-x: auto;
  white-space: pre;
  color: var(--ink);
}
pre.shell { background: var(--ink-deep); color: #E5DBC4; border-color: var(--ink-deep); }
pre.shell .prompt { color: #B23A3A; user-select: none; }
pre.shell .comment { color: #8E8470; font-style: italic; }
pre.sample { background: var(--paper-3); }
pre.scope {
  font-size: 12.5px;
  background: var(--paper);
  border-style: dotted;
  color: var(--ink-2);
  line-height: 1.7;
}

.ref-list { padding: 0; list-style: none; margin: 0 0 12px; }
.ref-list li {
  padding: 8px 0;
  border-top: 1px dotted var(--rule);
  font-size: 14.5px;
  color: var(--ink-2);
  line-height: 1.55;
}
.ref-list li:first-child { border-top: none; }
.ref-list em { font-style: italic; color: var(--ink); }

.source-frame {
  border: 1px solid var(--rule);
  background: var(--paper-3);
  margin-bottom: 22px;
}
.source-frame .frame-head {
  display: flex;
  justify-content: space-between;
  align-items: baseline;
  padding: 10px 16px;
  border-bottom: 1px solid var(--rule);
  background: var(--paper-2);
  font-family: ui-monospace, monospace;
  font-size: 11px;
  letter-spacing: 0.14em;
  text-transform: uppercase;
  color: var(--ink-3);
}
.source-frame .frame-head .path {
  color: var(--ink);
  font-style: italic;
  letter-spacing: 0;
  text-transform: none;
  font-size: 13px;
}
.source-frame .frame-head a { color: var(--vermillion); text-decoration: none; }

pre.source {
  background: var(--paper-3);
  border: none;
  margin: 0;
  padding: 16px 18px;
  font-size: 12.5px;
  color: var(--ink-2);
  max-height: 70vh;
  overflow: auto;
}
pre.source .ln {
  display: inline-block;
  width: 2.4em;
  margin-right: 1em;
  text-align: right;
  color: var(--rule-2);
  user-select: none;
}
pre.source .ln::after { content: "│"; color: var(--rule); margin-left: 0.6em; }
pre.source .kw { color: var(--vermillion); }
pre.source .str { color: var(--moss); }
pre.source .com { color: var(--ink-3); font-style: italic; }
pre.source .num { color: var(--teal); }

.back-link {
  display: inline-block;
  margin-top: 18px;
  font-family: ui-monospace, monospace;
  font-size: 11px;
  letter-spacing: 0.18em;
  text-transform: uppercase;
  color: var(--vermillion);
  text-decoration: none;
  border-bottom: 1px solid var(--vermillion);
  padding-bottom: 1px;
}