:root {
  --bg:        #0d1117;
  --surface:   #161b22;
  --border:    #30363d;
  --text:      #e6edf3;
  --dim:       #8b949e;
  --primary:   #1a5c4c;
  --accent:    var(--primary);
  --mono: 'SFMono-Regular', Consolas, 'Liberation Mono', monospace;
  --body: -apple-system, Segoe UI, Helvetica, Arial, sans-serif;
}
* { box-sizing: border-box; margin: 0; padding: 0; }
html, body {
  background: var(--bg); color: var(--text); font-family: var(--body);
  min-height: 100vh;
}
a { color: var(--accent); text-decoration: none; }
header {
  background: var(--surface);
  border-bottom: 1px solid var(--border);
  padding: 18px 22px;
  display: flex; flex-wrap: wrap; align-items: baseline; gap: 16px;
}
header h1 { font-size: 22px; font-weight: 700; }
header .sub { color: var(--dim); font-size: 12px; flex: 1 1 100%; margin-top: 4px; }
header nav { display: flex; gap: 14px; margin-left: auto; }
header nav a { font-family: var(--mono); font-size: 12px; }
footer {
  position: fixed; bottom: 0; left: 0; right: 0;
  background: var(--surface); border-top: 1px solid var(--border);
  padding: 8px 14px; font-family: var(--mono); font-size: 10px; color: var(--dim);
}

/* ── landing grid ─────────────────────────────────────────── */

main#grid {
  padding: 22px; padding-bottom: 56px;
  display: grid;
  grid-template-columns: repeat(auto-fill, minmax(280px, 1fr));
  gap: 14px;
  max-width: 1400px; margin: 0 auto;
}
.card {
  background: var(--surface);
  border: 1px solid var(--border);
  border-radius: 8px;
  padding: 16px;
  cursor: pointer;
  transition: border-color .12s, transform .12s;
  display: flex; flex-direction: column; gap: 6px;
  position: relative; overflow: hidden;
}
.card:hover { border-color: var(--accent); transform: translateY(-1px); }
.card .stripe {
  position: absolute; inset: 0 auto 0 0; width: 4px;
  background: var(--accent);
}
.card .doc {
  font-family: var(--mono); font-size: 10px; letter-spacing: 1.6px;
  color: var(--accent); text-transform: uppercase; font-weight: 700;
  padding-left: 10px;
}
.card .title {
  font-size: 16px; font-weight: 700; line-height: 20px;
  padding-left: 10px;
}
.card .byline {
  font-size: 11px; color: var(--dim); padding-left: 10px;
}
.card .abs {
  font-size: 12px; color: var(--text); opacity: 0.72;
  line-height: 16px; padding-left: 10px;
  display: -webkit-box; -webkit-line-clamp: 2; -webkit-box-orient: vertical;
  overflow: hidden;
}
.card .mini {
  font-family: var(--mono); font-size: 10px; color: var(--dim);
  padding-left: 10px; margin-top: 4px;
}
.card .mini b { color: var(--accent); }

/* ── detail page ─────────────────────────────────────────── */

body.detail { padding-bottom: 64px; }
header#hdr {
  padding: 14px 20px; gap: 12px;
  border-bottom: 1px solid var(--border);
  border-top: 4px solid var(--accent);
}
header#hdr .back {
  font-family: var(--mono); font-size: 12px;
}
header#hdr .slug {
  font-family: var(--mono); font-size: 10px;
  letter-spacing: 1.6px; color: var(--dim);
  text-transform: uppercase;
}
main#app { padding: 24px; max-width: 760px; margin: 0 auto; }

main#app.paper .doc {
  font-family: var(--mono); color: var(--accent);
  font-size: 11px; letter-spacing: 2px; font-weight: 700;
}
main#app.paper h2 {
  font-size: 28px; line-height: 34px; margin: 10px 0;
}
main#app.paper .byline {
  font-size: 13px; color: var(--dim); margin-bottom: 12px;
}
main#app.paper .divider {
  height: 1px; background: var(--border); margin: 8px 0 16px;
}
main#app.paper .abstract {
  font-size: 15px; line-height: 22px; opacity: 0.9;
}
main#app.paper .btn {
  display: inline-block; margin-top: 16px;
  padding: 10px 16px;
  background: var(--accent); color: #fff;
  border-radius: 8px; font-weight: 700;
}
main#app .foot {
  font-family: var(--mono); font-size: 10px; color: var(--dim);
  margin-top: 24px;
}
main#app iframe.reader {
  width: 100%; height: calc(100vh - 220px);
  border: 1px solid var(--border); border-radius: 8px;
  background: var(--bg);
}
main#app.try .mini-box {
  background: var(--surface); border: 1px solid var(--border);
  border-radius: 8px; padding: 24px; min-height: 280px;
}
main#app.try code {
  display: block; font-family: var(--mono); font-size: 11px;
  color: var(--dim); background: var(--bg); padding: 12px;
  border-radius: 6px; margin-top: 12px; overflow-x: auto;
  white-space: pre;
}

/* ── bottom tab bar (per-paper) ───────────────────────────── */

nav.tabs {
  position: fixed; bottom: 0; left: 0; right: 0;
  background: var(--surface); border-top: 1px solid var(--border);
  display: flex; height: 56px;
}
nav.tabs button {
  flex: 1; background: none; border: 0; color: var(--dim);
  font-family: var(--body); font-size: 12px; cursor: pointer;
  border-top: 2px solid transparent;
}
nav.tabs button.on {
  color: var(--accent); border-top-color: var(--accent); font-weight: 700;
}

.hint { color: var(--dim); padding: 40px 0; text-align: center; }
.err  { color: #f85149; padding: 24px; }