/* log-pages.css — skin for the raw terminal-log pages */
body {
  background: #0f172a;
  color: #e2e8f0;
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, 'Courier New', monospace;
  margin: 0;
  padding-left: 16px;
  padding-right: 16px;
  padding-bottom: 48px;
}
.log-wrap { max-width: 1000px; margin: 0 auto; padding-top: 24px; }
.log-title { color: #fff; font-size: 1.6rem; margin: 0 0 8px; font-family: Inter, system-ui, sans-serif; }
.log-sub   { color: #94a3b8; font-size: .95rem; margin: 0 0 20px; font-family: Inter, system-ui, sans-serif; }
pre {
  background: #020617;
  border: 1px solid #334155;
  border-radius: 10px;
  padding: 18px;
  overflow-x: auto;
  font-size: .85rem;
  line-height: 1.6;
  white-space: pre-wrap;
  word-break: break-word;
}
/* brighten the dark-blue prompt paths so they're readable on dark bg */
pre font[color="#12488B"] { color: #60a5fa; }
.log-footer {
  margin-top: 28px; padding-top: 16px; border-top: 1px solid #334155;
  color: #64748b; font-size: .85rem; font-family: Inter, system-ui, sans-serif;
}
.log-footer a { color: #38bdf8; text-decoration: none; }