/* Research portal — sparse, readable, Bellard-adjacent */
:root {
  --fg: #111;
  --muted: #555;
  --line: #c8c8c8;
  --link: #06c;
  --link-vis: #551a8b;
  --bg: #fff;
  --code-bg: #f5f5f5;
  --max: 46em;
}
* { box-sizing: border-box; }
html { font-size: 17px; -webkit-text-size-adjust: 100%; }
body {
  font-family: "Iowan Old Style", "Palatino Linotype", Palatino, "Book Antiqua",
    "Times New Roman", Times, serif;
  margin: 0;
  color: var(--fg);
  line-height: 1.45;
  background: var(--bg);
}
.wrap { max-width: var(--max); margin: 0 auto; padding: 1.5em 1.25em 3em; }
h1 {
  font-size: 1.45em;
  font-weight: normal;
  margin: 0 0 0.25em 0;
  letter-spacing: -0.01em;
}
h2 {
  font-size: 1.08em;
  font-weight: normal;
  margin: 1.45em 0 0.45em 0;
  border-bottom: 1px solid var(--line);
  padding-bottom: 0.18em;
}
h3 {
  font-size: 1em;
  font-weight: normal;
  margin: 0.9em 0 0.3em 0;
  font-style: italic;
}
p { margin: 0.5em 0; }
a { color: var(--link); text-decoration-thickness: 1px; text-underline-offset: 2px; }
a:visited { color: var(--link-vis); }
hr { border: none; border-top: 1px solid var(--line); margin: 1.15em 0; }
.meta { color: var(--muted); font-size: 0.94em; }
.nav {
  margin: 0.45em 0 0.15em 0;
  font-size: 0.94em;
  line-height: 1.7;
}
.nav a { margin-right: 0.9em; white-space: nowrap; }
.nav a.active { color: var(--fg); text-decoration: none; font-weight: normal; border-bottom: 1px solid var(--fg); }
code, .mono {
  font-family: ui-monospace, "SF Mono", Menlo, Consolas, monospace;
  font-size: 0.86em;
}
table {
  border-collapse: collapse;
  width: 100%;
  font-size: 0.92em;
  margin: 0.55em 0 0.95em;
}
th, td {
  text-align: left;
  padding: 0.32em 0.55em 0.32em 0;
  border-bottom: 1px solid #e0e0e0;
  vertical-align: top;
}
th { font-weight: normal; color: var(--muted); }
tr:last-child td { border-bottom: 1px solid var(--line); }
ul, ol { margin: 0.35em 0 0.75em 1.25em; padding: 0; }
li { margin: 0.28em 0; }
pre {
  font-family: ui-monospace, "SF Mono", Menlo, Consolas, monospace;
  font-size: 0.8em;
  background: var(--code-bg);
  border: 1px solid #e4e4e4;
  padding: 0.75em 0.85em;
  overflow-x: auto;
  line-height: 1.4;
  border-radius: 2px;
}
.card {
  border: 1px solid #ddd;
  padding: 0.75em 0.9em;
  margin: 0;
  background: #fafafa;
}
.grid2 {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 0.85em;
  margin: 0.75em 0;
}
.badge {
  display: inline-block;
  font-size: 0.78em;
  border: 1px solid var(--line);
  padding: 0.05em 0.4em;
  color: var(--muted);
  margin-left: 0.25em;
  vertical-align: middle;
}
.foot {
  margin-top: 1.8em;
  padding-top: 0.75em;
  border-top: 1px solid var(--line);
  color: var(--muted);
  font-size: 0.9em;
}
@media (max-width: 640px) {
  .grid2 { grid-template-columns: 1fr; }
  html { font-size: 16px; }
  .wrap { padding: 1.15em 1em 2.5em; }
}