:root {
  --bg: #ffffff; --fg: #1d1d1f; --muted: #5f6368; --line: #e3e3e6;
  --link: #1f5fbf; --tag: #eef3fb; --notice: #fff6e0; --notice-line: #e8c46a; --code: #f6f7f9;
  color-scheme: light;
}
@media (prefers-color-scheme: dark) {
  :root {
    --bg: #16171a; --fg: #e8e8ea; --muted: #a0a3a8; --line: #2e3035;
    --link: #8ab4f8; --tag: #1f2a3a; --notice: #2d2614; --notice-line: #8a6d1f; --code: #1f2024;
    color-scheme: dark;
  }
}
* { box-sizing: border-box; }
body { margin: 0; background: var(--bg); color: var(--fg);
  font: 16px/1.55 system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", Arial, "Noto Sans", "DejaVu Sans", sans-serif; }
code, pre { font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, "DejaVu Sans Mono", monospace; }
a { color: var(--link); text-decoration: none; }
a:hover { text-decoration: underline; }
main, .top, footer { max-width: 980px; margin: 0 auto; padding: 0 16px; }
.top { display: flex; flex-wrap: wrap; gap: 8px 24px; align-items: baseline; justify-content: space-between;
  padding-top: 18px; padding-bottom: 14px; border-bottom: 1px solid var(--line); }
.brand { font-weight: 600; color: var(--fg); }
.beta { font-size: 12px; font-weight: normal; color: var(--muted); border: 1px solid var(--line); border-radius: 4px; padding: 0 5px; margin-left: 4px; vertical-align: 2px; }
.top nav a { margin-left: 16px; }
.top nav a:first-child { margin-left: 0; }
footer { color: var(--muted); font-size: 14px; padding-top: 32px; padding-bottom: 32px; }
h1 { font-size: 1.6rem; line-height: 1.3; margin: 8px 0 4px; }
h2 { font-size: 1.15rem; margin: 0; }
section { margin-top: 28px; }
section > h2 { margin-bottom: 8px; }
.intro { margin: 20px 0; }
.meta, .crumbs, .small, .count, .num, .summary, .files { color: var(--muted); }
.crumbs { margin: 20px 0 0; font-size: 14px; }
.small { font-size: 14px; }

[hidden] { display: none !important; }
:focus-visible { outline: 2px solid var(--link); outline-offset: 2px; }
.disc, .fam, section[id] { scroll-margin-top: 12px; }
a.mk:hover { text-decoration: none; border-color: var(--link); }
.tagline { margin: 22px 0 6px; font-weight: 600; }
.intro { margin: 0 0 18px; color: var(--muted); }
.search { margin: 12px 0 8px; }
.search input[type=search] { width: 100%; font: inherit; padding: 9px 12px;
  border: 1px solid var(--line); border-radius: 6px; background: var(--bg); color: var(--fg); }
.filters { margin-top: 10px; }
.filters > summary { font-size: 14px; color: var(--muted); display: none; }
.frow { display: flex; flex-wrap: wrap; gap: 8px 18px; align-items: center; font-size: 14px; color: var(--muted); }
.frow select { font: inherit; padding: 3px 6px; margin-left: 4px; background: var(--bg); color: var(--fg);
  border: 1px solid var(--line); border-radius: 6px; max-width: 100%; }
.frow label { white-space: nowrap; }
.tools { display: flex; flex-wrap: wrap; justify-content: space-between; gap: 4px 16px;
  font-size: 14px; color: var(--muted); margin: 12px 0 0; }
.empty { color: var(--muted); }
button { font: inherit; font-size: 14px; padding: 3px 10px; border: 1px solid var(--line);
  border-radius: 6px; background: var(--bg); color: var(--fg); cursor: pointer; }

details > summary { cursor: pointer; list-style: none; }
details > summary::-webkit-details-marker { display: none; }
details > summary::before { content: "▸"; display: inline-block; width: 1.1em; color: var(--muted); }
details[open] > summary::before { content: "▾"; }
.disc { border-top: 1px solid var(--line); padding: 10px 0; }
.disc > summary h2 { display: inline; }
.disc .count { font-size: 14px; }
.fam { margin: 14px 0 18px 1.1em; }
.fam h3 { font-size: 1rem; margin: 0; }
.num { font-variant-numeric: tabular-nums; color: var(--muted); font-weight: normal; }
.summary { font-size: 15px; margin: 4px 0; color: var(--muted); }
.plist { margin: 4px 0 8px; padding-left: 1.2em; }
.plist li { margin: 3px 0; }
.date { color: var(--muted); font-size: 14px; }
.mk { display: inline-block; font-size: 12px; line-height: 1.5; border: 1px solid var(--line); color: var(--muted);
  border-radius: 4px; padding: 0 6px; margin-left: 4px; white-space: nowrap; font-weight: normal; vertical-align: 1px; }
.mk-strong { border-color: var(--notice-line); background: var(--notice); color: var(--fg); }
.withdrawn { border-top: 1px solid var(--line); padding-top: 12px; margin-top: 0; }

.markers { margin: 4px 0 0; }
.preamble p { margin: 4px 0; color: var(--muted); }
.markers .mk:first-child { margin-left: 0; }
.notice { background: var(--notice); border-left: 3px solid var(--notice-line); padding: 8px 12px; border-radius: 4px; margin: 16px 0; }
.notice p { margin: 6px 0; }
.actions { display: flex; flex-wrap: wrap; gap: 8px; margin: 18px 0 6px; }
.btn { display: inline-block; padding: 6px 12px; border: 1px solid var(--link); border-radius: 6px; font-size: 15px; }
.btn:hover { background: var(--tag); text-decoration: none; }
.secondary { font-size: 14px; margin: 0 0 8px; }
.pdf iframe { width: 100%; height: 80vh; min-height: 420px; border: 1px solid var(--line); border-radius: 4px; }
.notes h2 { font-size: 1rem; margin-top: 14px; }
.readme h2 { font-size: 1.15rem; }
.agent > summary h2 { display: inline; }
.disclaimer { font-size: 14px; color: var(--muted); }
.cite { position: relative; }
.cite .copy { position: absolute; top: 8px; right: 8px; }
pre { background: var(--code); padding: 12px; padding-right: 120px; border-radius: 6px; overflow-x: auto; font-size: 13px; }
.prose { max-width: 680px; }
@media (max-width: 699px) {
  .frow label { white-space: normal; }
  .frow select { max-width: calc(100% - 6em); }
  .cite .copy { position: static; display: inline-block; margin: 0 0 6px; }
  pre { padding-right: 12px; }
  .pdf iframe, .pdf p { display: none; }
  .filters > summary { display: block; }
  .top nav a { margin-left: 12px; }
  .fam { margin-left: 0; }
}

.activity { margin: 4px 0 8px; padding-left: 1.2em; }
.activity li { margin: 6px 0; }
.recent { margin: 0 0 14px; }
.recent > summary h2 { display: inline; font-size: 1rem; }
.recent .small { margin: 4px 0 0; }
.recent .count { font-size: 14px; }
.nowrap { white-space: nowrap; }
.frow + .frow { margin-top: 8px; }