/* Request Log page-only components. Loaded alongside styles.css; shares its
   tokens (--bg, --panel-*, --text*, --hairline) rather than redefining them,
   so this page reads as the same terminal as the other two. */

.request-toc {
  padding: 20px 40px 0;
  display: flex;
  gap: 10px;
  flex-wrap: wrap;
}

.request-toc a {
  font-family: "Space Mono", monospace;
  font-size: 0.7rem;
  letter-spacing: 0.04em;
  color: var(--panel-orange);
  text-decoration: none;
  border: 1px solid var(--panel-orange);
  border-radius: 14px;
  padding: 5px 12px;
  white-space: nowrap;
  transition: filter 0.15s ease;
}

.request-toc a:hover,
.request-toc a:focus-visible {
  filter: brightness(1.25);
}