/* GambleBench lab log — ruled ledger pages, rubber stamps, ink corrections */

:root {
  --paper: #f7f4ee;
  --ink: #1e1e1e;
  --red: #b03a2e;
  --green: #2f5d50;
  --line: rgba(30, 30, 30, 0.14);
  --margin: #b03a2e;
}

* { box-sizing: border-box; }

html { background: #e9e5db; }

body {
  margin: 0;
  color: var(--ink);
  font-family: "IBM Plex Serif", Georgia, serif;
  font-size: 16px;
  line-height: 1.55;
  background: #e9e5db;
}

.mono, .num, pre, .stamp, .spine, .page-id {
  font-family: "IBM Plex Mono", ui-monospace, Menlo, monospace;
}

/* spine navigation — like the binder tape along the edge */
.spine {
  position: sticky;
  top: 0;
  z-index: 10;
  display: flex;
  gap: 4px;
  padding: 8px 16px;
  background: #d9d4c8;
  border-bottom: 1px solid var(--ink);
  font-size: 12px;
  letter-spacing: 0.04em;
  text-transform: uppercase;
}
.spine a {
  color: var(--ink);
  text-decoration: none;
  padding: 3px 9px;
  border: 1px solid transparent;
}
.spine a:hover { border-color: var(--ink); }
.spine a.on { background: var(--ink); color: var(--paper); }

/* the ruled page */
.paper {
  max-width: 1080px;
  margin: 0 auto;
  padding: 34px 44px 60px;
  background:
    repeating-linear-gradient(
      to bottom,
      transparent 0px,
      transparent 27px,
      var(--line) 27px,
      var(--line) 28px
    ),
    var(--paper);
  background-size: 100% 28px;
  position: relative;
  border-left: 2px solid var(--margin);
  box-shadow: 0 0 0 1px rgba(30,30,30,0.25);
  margin-top: 28px;
  margin-bottom: 40px;
}

.paper h1 {
  font-family: "IBM Plex Mono", monospace;
  font-size: clamp(24px, 3.4vw, 34px);
  font-weight: 600;
  letter-spacing: -0.01em;
  line-height: 1.15;
  margin: 26px 0 18px;
  max-width: 24ch;
}

.paper h2 {
  font-family: "IBM Plex Mono", monospace;
  font-size: 16px;
  text-transform: uppercase;
  letter-spacing: 0.09em;
  margin-top: 46px;
  margin-bottom: 14px;
  border-bottom: 1px solid var(--ink);
  padding-bottom: 6px;
}

.lede {
  font-size: 17px;
  max-width: 68ch;
  margin: 0 0 30px;
}

.page-id {
  font-size: 12px;
  letter-spacing: 0.12em;
  text-transform: uppercase;
  color: var(--ink);
  border: 1px solid var(--ink);
  display: inline-block;
  padding: 3px 8px;
}

.stamp-row { display: flex; gap: 14px; flex-wrap: wrap; margin-top: 14px; }

.stamp {
  display: inline-block;
  font-size: 11px;
  letter-spacing: 0.14em;
  text-transform: uppercase;
  padding: 3px 9px;
  font-weight: 600;
  border-radius: 2px;
  background: rgba(47, 93, 80, 0.05);
}

/* ledger tables */
.ledger {
  width: 100%;
  border-collapse: collapse;
  font-family: "IBM Plex Mono", monospace;
  font-size: 13px;
  margin: 18px 0 10px;
  background: rgba(255, 255, 255, 0.4);
}
.ledger th {
  text-align: left;
  font-size: 11px;
  text-transform: uppercase;
  letter-spacing: 0.08em;
  border-bottom: 2px solid var(--ink);
  padding: 8px 10px;
  vertical-align: bottom;
}
.ledger td {
  border-bottom: 1px solid var(--line);
  padding: 8px 10px;
  vertical-align: top;
}
.ledger tr:hover td { background: rgba(176, 58, 46, 0.05); }
.ledger .num { text-align: right; font-variant-numeric: tabular-nums; }
.ledger a { color: var(--ink); text-decoration: none; }
.ledger a:hover { text-decoration: underline; text-decoration-thickness: 1px; }

.best {
  border-bottom: 2px solid var(--ink);
  font-weight: 600;
}
.corr {
  color: var(--red);
  text-decoration: line-through;
  text-decoration-thickness: 1.5px;
}
.flag {
  font-size: 10px;
  text-transform: uppercase;
  letter-spacing: 0.08em;
  border: 1px solid var(--red);
  color: var(--red);
  padding: 1px 5px;
  margin-left: 4px;
  white-space: nowrap;
}

.note {
  font-family: "IBM Plex Mono", monospace;
  font-size: 12px;
  color: var(--ink);
  max-width: 78ch;
  border: 1px solid var(--line);
  padding: 8px 12px;
  background: rgba(255, 255, 255, 0.35);
}

/* plot */
.plot {
  background: rgba(255, 255, 255, 0.45);
  border: 1px solid var(--ink);
  padding: 14px;
  margin: 14px 0;
}
.plot svg { width: 100%; height: auto; display: block; }

/* pre blocks */
pre {
  background: rgba(255, 255, 255, 0.6);
  border: 1px solid var(--ink);
  padding: 12px 14px;
  font-size: 12.5px;
  line-height: 1.5;
  overflow-x: auto;
  white-space: pre-wrap;
  max-height: 340px;
  overflow-y: auto;
}

/* footer */
.foot {
  margin-top: 60px;
  padding-top: 14px;
  border-top: 1px solid var(--ink);
  font-family: "IBM Plex Mono", monospace;
  font-size: 11px;
  display: flex;
  flex-wrap: wrap;
  gap: 10px 30px;
  justify-content: space-between;
  align-items: center;
}

@media (max-width: 720px) {
  .paper { padding: 22px 18px 44px; margin-top: 12px; }
  .spine { overflow-x: auto; }
  .ledger { font-size: 12px; }
  .ledger th, .ledger td { padding: 6px 6px; }
}