
:root{--bg:#fff;--fg:#1a1a1a;--muted:#555;--line:#ddd;--accent:#0b4f8a;--soft:#f4f6f8}
@media (prefers-color-scheme:dark){:root{--bg:#121416;--fg:#e8e8e8;--muted:#a9a9a9;--line:#333;--accent:#7fb3e6;--soft:#1c2024}}
*{box-sizing:border-box}html{-webkit-text-size-adjust:100%}
body{margin:0;background:var(--bg);color:var(--fg);font:17px/1.55 Georgia,"Times New Roman",serif}
header,main,footer{max-width:46rem;margin:0 auto;padding:0 16px}
header{padding-top:18px;padding-bottom:10px;border-bottom:1px solid var(--line);font-family:system-ui,-apple-system,"Segoe UI",Helvetica,Arial,sans-serif;font-size:15px}
header a{color:var(--fg);text-decoration:none;margin-right:16px}header a.site{font-weight:700}
h1{font-size:1.7rem;line-height:1.25;margin:1.2rem 0 .4rem}h2{font-size:1.2rem;margin:1.8rem 0 .5rem;font-family:system-ui,-apple-system,"Segoe UI",Helvetica,Arial,sans-serif}
h3{font-size:1.05rem;margin:1.3rem 0 .3rem}a{color:var(--accent)}p{margin:.6rem 0}ul,ol{padding-left:1.3rem}li{margin:.3rem 0}
.meta{color:var(--muted);font-family:system-ui,-apple-system,"Segoe UI",Helvetica,Arial,sans-serif;font-size:.95rem}
.lead{font-size:1.1rem;border-left:4px solid var(--accent);padding:.3rem 0 .3rem .9rem;margin:1rem 0;background:var(--soft)}
blockquote{margin:.8rem 0;padding:.2rem 0 .2rem 1rem;border-left:3px solid var(--line);color:var(--fg)}
dl{display:grid;grid-template-columns:9rem 1fr;gap:.35rem 1rem}dt{color:var(--muted);font-family:system-ui,sans-serif;font-size:.9rem}dd{margin:0}
@media (max-width:600px){dl{grid-template-columns:1fr}dt{margin-top:.5rem}}
pre{background:var(--soft);padding:.8rem;overflow:auto;font-size:.85rem;border:1px solid var(--line)}
.paperlist li{margin:.9rem 0}.paperlist .t{font-weight:700}.paperlist .one{display:block;color:var(--muted);font-size:.95rem}
footer{border-top:1px solid var(--line);margin-top:3rem;padding:1rem 16px 2rem;color:var(--muted);font-size:.9rem;font-family:system-ui,sans-serif}
.tag{display:inline-block;background:var(--soft);border:1px solid var(--line);border-radius:4px;padding:0 .4rem;margin:0 .25rem .25rem 0;font-size:.85rem;font-family:system-ui,sans-serif}
