/* Buena Mono — reports theme (mirrors the specimen site design tokens) */
@font-face {
  font-family: "Buena Mono VF";
  src: url("/fonts/BuenaMono-VF.subset.woff2") format("woff2");
  font-weight: 100 800;
  font-display: swap;
}

:root {
  color-scheme: dark;
  --c-bg-primary: #000000;
  --c-bg-surface: #0B0B0B;
  --c-bg-elevated: #161616;
  --c-text-primary: #EDEDED;
  --c-text-secondary: #A0A0A0;
  --c-text-tertiary: #6E6E6E;
  --c-border: #262626;
  --c-grid: rgba(255, 255, 255, 0.04);
  --radius: 10px;
  /* Type scale — one system across all reports */
  --fs-base: 14px;   /* body */
  --fs-data: 13px;   /* tables, code, card body */
  --fs-label: 11px;  /* nav, table headers, section labels */
  --lh: 1.7;
}
@media (prefers-color-scheme: light) {
  :root {
    color-scheme: light;
    --c-bg-primary: #FFFFFF;
    --c-bg-surface: #FAFAFA;
    --c-bg-elevated: #F2F2F2;
    --c-text-primary: #0A0A0A;
    --c-text-secondary: #525252;
    --c-text-tertiary: #8A8A8A;
    --c-border: #E4E4E4;
    --c-grid: rgba(0, 0, 0, 0.05);
  }
}

* { box-sizing: border-box; }
html { -webkit-text-size-adjust: 100%; }
body {
  margin: 0;
  background-color: var(--c-bg-primary);
  background-image:
    linear-gradient(var(--c-grid) 1px, transparent 1px),
    linear-gradient(90deg, var(--c-grid) 1px, transparent 1px);
  background-size: 32px 32px;
  color: var(--c-text-primary);
  font-family: "Buena Mono VF", ui-monospace, "SF Mono", Menlo, monospace;
  font-size: var(--fs-base);
  line-height: var(--lh);
  -webkit-font-smoothing: antialiased;
  text-rendering: optimizeLegibility;
}

a { color: var(--c-text-primary); text-decoration: underline; text-underline-offset: 2px; text-decoration-color: var(--c-border); transition: text-decoration-color .15s, color .15s; }
a:hover { text-decoration-color: var(--c-text-primary); }

/* Sticky report nav — consistent across every page */
.rpt-nav {
  position: sticky; top: 0; z-index: 20;
  display: flex; align-items: center; gap: 10px;
  padding: 13px 24px;
  background: var(--c-bg-primary);
  border-bottom: 1px solid var(--c-border);
  font-size: 11px; letter-spacing: 0.08em; text-transform: uppercase;
}
.rpt-nav a { color: var(--c-text-secondary); text-decoration: none; }
.rpt-nav a:hover { color: var(--c-text-primary); }
.rpt-nav .rpt-sep { color: var(--c-border); }
.rpt-nav .rpt-here { color: var(--c-text-primary); }

.wrap { max-width: 900px; margin: 0 auto; padding: 48px 24px 96px; }
/* Headings — technical-manual hierarchy */
h1 { font-size: 22px; font-weight: 700; letter-spacing: -0.01em; margin: 0 0 6px; color: var(--c-text-primary); }
h2 {
  font-size: var(--fs-label); font-weight: 600; text-transform: uppercase;
  letter-spacing: 0.1em; color: var(--c-text-secondary);
  margin: 44px 0 18px; padding-bottom: 8px;
  border-bottom: 3px double var(--c-border);   /* double-rule section separator */
}
h3 { font-size: 15px; font-weight: 600; margin: 28px 0 8px; color: var(--c-text-primary); }
.sub { color: var(--c-text-secondary); margin: 0 0 32px; font-size: var(--fs-data); }
.sub a { color: var(--c-text-primary); }

pre {
  white-space: pre-wrap; word-break: break-word;
  background: var(--c-bg-surface); border: 1px solid var(--c-border);
  border-radius: var(--radius);
  padding: 20px 24px; overflow-x: auto; font-size: var(--fs-data); line-height: 1.65;
  font-family: "Buena Mono VF", ui-monospace, monospace;
}
code { font-family: "Buena Mono VF", ui-monospace, monospace; font-size: var(--fs-data); }
hr { border: none; border-top: 1px dashed var(--c-border); margin: 32px 0; }

/* Tables — hairline rules, uppercase header, subtle row hover */
table { border-collapse: separate; border-spacing: 0; width: 100%; font-size: var(--fs-data); border: 1px solid var(--c-border); border-radius: var(--radius); overflow: hidden; }
th, td { border-bottom: 1px solid var(--c-border); padding: 9px 14px; text-align: left; }
tr:last-child td { border-bottom: none; }
th { color: var(--c-text-tertiary); text-transform: uppercase; font-size: var(--fs-label); letter-spacing: 0.06em; font-weight: 500; background: var(--c-bg-surface); }
tbody tr:hover td { background: rgba(127, 127, 127, 0.05); }

/* Report index cards — hairline, square, hover tint (mirrors .dl-card) */
.grid { display: grid; grid-template-columns: 1fr 1fr; gap: 12px; }
.card {
  display: flex; flex-direction: column; gap: 6px;
  border: 1px solid var(--c-border); border-radius: var(--radius); padding: 20px;
  text-decoration: none; color: inherit;
  transition: background-color .15s, border-color .15s;
}
.card:hover { background: rgba(127,127,127,0.06); border-color: var(--c-text-tertiary); }
.card b { font-size: 15px; font-weight: 600; }
.card span { color: var(--c-text-secondary); font-size: var(--fs-data); line-height: 1.5; }

/* Simple key/value rows (gftools proof index) */
.row { display: flex; gap: 16px; align-items: baseline; border-top: 1px dashed var(--c-border); padding: 14px 0; }
.row b { width: 90px; font-weight: 600; }
.row span { color: var(--c-text-secondary); }
.row a { color: var(--c-text-primary); text-decoration: none; }
.row a:hover { text-decoration: underline; }

@media (max-width: 640px) { .grid { grid-template-columns: 1fr; } }

/* report stamp (font version + generation date) */
.rpt-stamp { font-size: 12px; color: var(--c-text-tertiary); margin: -14px 0 26px; }
.rpt-stamp b { color: var(--c-text-secondary); font-weight: 600; }