:root { --fg: #222; --muted: #666; --accent: #b44e2d; --bg: #fff; --code-bg: #f5f3f0; --border: #e0e0e0; }
@media (prefers-color-scheme: dark) { :root { --fg: #e6e6e6; --muted: #aaa; --accent: #e07a55; --bg: #16161d; --code-bg: #22222c; --border: #333; } }
html { font: 17px/1.6 -apple-system, "Segoe UI", Helvetica, Arial, sans-serif; color: var(--fg); background: var(--bg); }
body { margin: 0; }
main, .site-header, .site-footer { max-width: 44rem; margin: 0 auto; padding: 0 1.25rem; }
.site-header { display: flex; align-items: baseline; gap: 1.5rem; padding-top: 1.5rem; padding-bottom: 1.5rem; }
.site-name { font-weight: 600; color: var(--fg); text-decoration: none; }
.site-header nav a { margin-right: 1rem; color: var(--muted); text-decoration: none; }
.site-header nav a:hover, a:hover { color: var(--accent); }
a { color: var(--accent); }
h1, h2, h3 { line-height: 1.25; }
.post-meta { color: var(--muted); font-size: 0.9rem; margin-top: -0.75rem; }
.tag { text-decoration: none; }
.draft { color: var(--accent); font-variant: small-caps; }
.post-list { list-style: none; padding: 0; }
.post-list li { display: flex; gap: 1rem; padding: 0.3rem 0; border-bottom: 1px solid var(--border); }
.post-list time { color: var(--muted); font-variant-numeric: tabular-nums; white-space: nowrap; }
.tag-list { list-style: none; padding: 0; display: flex; flex-wrap: wrap; gap: 0.5rem 1rem; }
.count { color: var(--muted); }
.recent h2 .all { font-size: 0.8rem; font-weight: normal; margin-left: 1rem; }
pre, code { font-family: ui-monospace, "SF Mono", Menlo, Consolas, monospace; font-size: 0.9em; }
pre { background: var(--code-bg); padding: 0.75rem 1rem; overflow-x: auto; border-radius: 6px; }
img, video { max-width: 100%; }
figure { margin: 1.5rem 0; } figcaption { color: var(--muted); font-size: 0.9rem; }
blockquote { border-left: 3px solid var(--border); margin-left: 0; padding-left: 1rem; color: var(--muted); }
x-ocaml { display: block; margin: 1rem 0; }
.hero-intro { display: flex; gap: 1.5rem; align-items: center; } .hero-photo { width: 8rem; border-radius: 50%; }
.site-footer { color: var(--muted); font-size: 0.9rem; padding: 2rem 1.25rem; }
