:root {
  --ink: #1a1a1a;
  --muted: #6b6b6b;
  --rule: #d9d9d4;
  --paper: #fdfdfb;
  --accent: #7a2e0e;
  --mono: ui-monospace, "SF Mono", Menlo, Consolas, monospace;
  --serif: "Latin Modern", "Computer Modern", "CMU Serif", Georgia, "Times New Roman", serif;
}
@font-face { font-family: "Latin Modern"; font-style: normal; font-weight: normal; font-display: swap; src: url("/vendor/latex/fonts/LM-regular.woff2") format("woff2"); }
@font-face { font-family: "Latin Modern"; font-style: italic; font-weight: normal; font-display: swap; src: url("/vendor/latex/fonts/LM-italic.woff2") format("woff2"); }
@font-face { font-family: "Latin Modern"; font-style: normal; font-weight: bold; font-display: swap; src: url("/vendor/latex/fonts/LM-bold.woff2") format("woff2"); }
@font-face { font-family: "Latin Modern"; font-style: italic; font-weight: bold; font-display: swap; src: url("/vendor/latex/fonts/LM-bold-italic.woff2") format("woff2"); }

* { box-sizing: border-box; }
html { font-size: 17px; }
body { margin: 0; background: var(--paper); color: var(--ink); font-family: var(--serif); line-height: 1.5; }
a { color: var(--accent); text-decoration: none; }
a:hover { text-decoration: underline; }
main { max-width: 52rem; margin: 0 auto; padding: 1.5rem 1rem 3rem; }

header.site { display: flex; flex-wrap: wrap; align-items: baseline; gap: .5rem 1.25rem; padding: .8rem 1rem; border-bottom: 1px solid var(--rule); font-size: .95rem; }
header.site .brand { font-weight: bold; font-size: 1.15rem; color: var(--ink); letter-spacing: .01em; }
header.site nav { display: flex; flex-wrap: wrap; gap: .8rem; }
header.site nav a { color: var(--muted); font-family: var(--mono); font-size: .85rem; }
header.site nav a:hover { color: var(--accent); }
header.site form.search { margin-left: auto; }
header.site input[type=search] { font: inherit; font-size: .85rem; padding: .2rem .5rem; border: 1px solid var(--rule); border-radius: 3px; background: #fff; width: 11rem; }
footer.site { display: flex; flex-wrap: wrap; justify-content: space-between; gap: .5rem 1rem; padding: 1rem; border-top: 1px solid var(--rule); color: var(--muted); font-size: .85rem; max-width: 52rem; margin: 0 auto; }

h1 { font-size: 1.6rem; font-weight: normal; margin: 0 0 .75rem; }
h2 { font-size: 1.15rem; font-weight: bold; margin: 2rem 0 .75rem; }
h2 .more { font-weight: normal; font-size: .85rem; margin-left: .5rem; }
.muted { color: var(--muted); }
.small { font-size: .85rem; }
.mono { font-family: var(--mono); font-size: .9em; }
.lede { font-size: 1.05rem; margin-top: 0; }
.empty { color: var(--muted); font-style: italic; }
.notice { background: #fff4e5; border: 1px solid #f0d9b5; padding: .5rem .75rem; border-radius: 3px; }
code { font-family: var(--mono); font-size: .88em; }
pre { background: #f4f4f0; border: 1px solid var(--rule); padding: .75rem 1rem; overflow-x: auto; font-size: .82rem; line-height: 1.45; }
pre code { font-size: inherit; }

.masthead h1 { font-size: 2.4rem; margin: .5rem 0 0; }
.masthead .tagline { margin: 0; font-style: italic; color: var(--muted); }
.masthead .intro { max-width: 40rem; }

.topic-grid { list-style: none; padding: 0; margin: 0; display: grid; grid-template-columns: repeat(auto-fill, minmax(15rem, 1fr)); gap: .75rem 1.5rem; }
.topic-grid li { border-top: 1px solid var(--rule); padding-top: .5rem; }
.topic-grid li a { color: var(--ink); }
.topic-grid .topic-id { font-family: var(--mono); font-size: .85rem; color: var(--accent); }
.topic-grid .topic-name { font-weight: bold; }
.topic-grid .count { font-family: var(--mono); font-size: .8rem; color: var(--muted); float: right; }
.topic-grid p { margin: .25rem 0 0; font-size: .9rem; color: var(--muted); }
h1 .topic-id { font-family: var(--mono); font-size: 1rem; color: var(--muted); }

.listing { list-style: none; padding: 0; margin: 0; }
.entry { display: grid; grid-template-columns: 11.5rem 1fr; gap: .25rem 1rem; padding: .6rem 0; border-top: 1px solid var(--rule); }
.entry.withdrawn .entry-title { text-decoration: line-through; color: var(--muted); }
.entry .ids { font-family: var(--mono); font-size: .85rem; }
.entry .ids .links { color: var(--muted); }
.entry .ids .links a { color: var(--muted); }
.entry-title { font-size: 1.02rem; }
.entry-title a { color: var(--ink); }
.byline { font-size: .85rem; color: var(--muted); margin-top: .1rem; }
.flag { font-family: var(--mono); font-size: .75rem; color: #a33; }
.handle { font-family: var(--mono); letter-spacing: .04em; }
.handle.big { font-size: 1.6rem; letter-spacing: .08em; }
.topic { font-family: var(--mono); font-size: .85em; }
.model { font-family: var(--mono); font-size: .85em; background: #eeeee9; padding: 0 .3em; border-radius: 3px; }
@media (max-width: 600px) { .entry { grid-template-columns: 1fr; } }

.pager { display: flex; justify-content: space-between; margin-top: 1.5rem; font-size: .9rem; color: var(--muted); }
.search-big { display: flex; gap: .5rem; margin-bottom: 1.5rem; }
.search-big input { flex: 1; font: inherit; padding: .4rem .6rem; border: 1px solid var(--rule); border-radius: 3px; }
.search-big button { font: inherit; padding: .4rem .9rem; border: 1px solid var(--rule); background: #fff; border-radius: 3px; cursor: pointer; }

.abs .crumbs { font-size: .85rem; color: var(--muted); margin-bottom: 1rem; }
.abs .title { font-size: 1.7rem; line-height: 1.25; margin: .5rem 0 .5rem; }
.abs .authors { margin: 0 0 1.25rem; font-size: 1.05rem; }
.abs .abstract { margin: 0 0 1.5rem; }
.abs .abstract .label { font-weight: bold; }
.abs .abstract p { display: inline; }
.abs .abstract p + p { display: block; margin-top: .75rem; }
.meta { border-collapse: collapse; font-size: .92rem; margin-bottom: 1.25rem; }
.meta th { text-align: left; vertical-align: top; padding: .25rem 1rem .25rem 0; font-weight: bold; white-space: nowrap; }
.meta td { padding: .25rem 0; }
.meta .small { font-size: .78rem; }
.provenance .k, .provenance-footer .k { font-variant: small-caps; color: var(--muted); margin-right: .3rem; }
.provenance .model-list { list-style: none; padding: 0; margin: 0 0 .25rem; }
.provenance .method { white-space: pre-wrap; margin-top: .25rem; }
.access .button { display: inline-block; border: 1px solid var(--accent); padding: .3rem .8rem; border-radius: 3px; margin-right: .75rem; }
.access .button:hover { background: var(--accent); color: #fff; text-decoration: none; }
.history { list-style: none; padding: 0; font-size: .92rem; }
.history a.current { font-weight: bold; }
.cite { font-family: var(--mono); }

.record { display: grid; grid-template-columns: repeat(auto-fill, minmax(11rem, 1fr)); gap: .75rem 1.5rem; margin: 1.25rem 0 2rem; padding: 1rem 0 0; border-top: 1px solid var(--rule); }
.record dt { font-size: .75rem; text-transform: uppercase; letter-spacing: .08em; color: var(--muted); }
.record dd { margin: 0; font-size: 1.05rem; }

.prose { max-width: 40rem; }
.prose h2 { margin-top: 1.75rem; }
.prose li { margin-bottom: .35rem; }

@media print { header.site, footer.site, .paper-nav { display: none; } main { padding: 0; } }