@charset "UTF-8";
/* === Theme tokens ===================================================== */
:root { --bg: #f7f8f3; --bg-elev: #eef1e6; --fg: #1a1f1a; --fg-muted: #5b665b; --rule: #d9e0cf; --accent: #2f7d3a; /* terminal/forest green */ --accent-soft: #dceedc; --link: #1f5a28; --code-bg: #e9ede0; --selection: #b9e6bd; --shadow: 0 1px 0 rgba(0,0,0,0.04), 0 8px 24px -16px rgba(0,0,0,0.18); }

@media (prefers-color-scheme: dark) { :root { --bg: #0d100d; --bg-elev: #141914; --fg: #e4e9e1; --fg-muted: #93a193; --rule: #232a23; --accent: #7ed87a; --accent-soft: #1a261a; --link: #8fe48b; --code-bg: #161c16; --selection: #2c4a2e; --shadow: 0 1px 0 rgba(0,0,0,0.3), 0 8px 24px -16px rgba(0,0,0,0.6); } }

[data-theme="light"] { --bg: #f7f8f3; --bg-elev: #eef1e6; --fg: #1a1f1a; --fg-muted: #5b665b; --rule: #d9e0cf; --accent: #2f7d3a; --accent-soft: #dceedc; --link: #1f5a28; --code-bg: #e9ede0; --selection: #b9e6bd; --shadow: 0 1px 0 rgba(0,0,0,0.04), 0 8px 24px -16px rgba(0,0,0,0.18); }

[data-theme="dark"] { --bg: #0d100d; --bg-elev: #141914; --fg: #e4e9e1; --fg-muted: #93a193; --rule: #232a23; --accent: #7ed87a; --accent-soft: #1a261a; --link: #8fe48b; --code-bg: #161c16; --selection: #2c4a2e; --shadow: 0 1px 0 rgba(0,0,0,0.3), 0 8px 24px -16px rgba(0,0,0,0.6); }

/* === Reset-ish ======================================================== */
*, *::before, *::after { box-sizing: border-box; }

html { -webkit-text-size-adjust: 100%; scroll-behavior: smooth; }

body { margin: 0; background: var(--bg); color: var(--fg); font-family: "Inter", "Helvetica Neue", -apple-system, BlinkMacSystemFont, "Segoe UI", system-ui, sans-serif; font-size: 17px; line-height: 1.65; font-feature-settings: "ss01", "cv11"; -webkit-font-smoothing: antialiased; -moz-osx-font-smoothing: grayscale; }

::selection { background: var(--selection); color: var(--fg); }

img { max-width: 100%; height: auto; display: block; }

a { color: var(--link); text-decoration: none; border-bottom: 1px solid color-mix(in srgb, var(--link) 35%, transparent); transition: color .15s ease, border-color .15s ease; }

a:hover { color: var(--accent); border-bottom-color: var(--accent); }

hr { border: 0; border-top: 1px dashed var(--rule); margin: 2.5rem 0; }

code, pre, kbd, samp, .mono { font-family: "JetBrains Mono", "Fira Code", "SF Mono", ui-monospace, "Menlo", "Consolas", monospace; }

code { background: var(--code-bg); padding: 1px 6px; border-radius: 4px; font-size: 0.9em; }

pre { background: var(--code-bg); padding: 1rem 1.1rem; border-radius: 8px; overflow-x: auto; border: 1px solid var(--rule); font-size: 0.9em; line-height: 1.55; }

pre code { background: transparent; padding: 0; }

blockquote { margin: 1.4rem 0; padding: 0.4rem 1.1rem; border-left: 3px solid var(--accent); color: var(--fg-muted); background: var(--accent-soft); border-radius: 0 6px 6px 0; }

table { border-collapse: collapse; width: 100%; margin: 1.2rem 0; font-size: 0.95em; }

th, td { padding: 0.5rem 0.75rem; border-bottom: 1px solid var(--rule); text-align: left; }

th { font-weight: 600; }

/* === Layout =========================================================== */
.content { max-width: 760px; margin: 0 auto; padding: 2rem 1.25rem 5rem; }

/* === Header / nav ===================================================== */
.site-header { position: sticky; top: 0; z-index: 10; backdrop-filter: saturate(180%) blur(8px); -webkit-backdrop-filter: saturate(180%) blur(8px); background: color-mix(in srgb, var(--bg) 88%, transparent); border-bottom: 1px solid var(--rule); }

.site-header__inner { max-width: 760px; margin: 0 auto; padding: 0.85rem 1.25rem; display: flex; align-items: center; gap: 1rem; }

.site-header__brand { font-family: "JetBrains Mono", ui-monospace, monospace; font-weight: 600; font-size: 0.95rem; color: var(--fg); border-bottom: 0; letter-spacing: -0.01em; white-space: nowrap; }

.site-header__sigil { color: var(--accent); margin-right: 2px; }

.site-header__brand:hover { color: var(--accent); }

.site-nav { margin-left: auto; }

.site-nav ul { display: flex; gap: 1.1rem; list-style: none; margin: 0; padding: 0; font-family: "JetBrains Mono", ui-monospace, monospace; font-size: 0.88rem; }

.site-nav a { color: var(--fg-muted); border-bottom: 0; padding: 0.2rem 0; position: relative; }

.site-nav a:hover { color: var(--fg); }

.site-nav a[aria-current="page"] { color: var(--accent); }

.site-nav a[aria-current="page"]::before { content: "·"; position: absolute; left: -0.6rem; color: var(--accent); }

.theme-toggle { background: transparent; border: 1px solid var(--rule); color: var(--fg-muted); width: 32px; height: 32px; border-radius: 50%; cursor: pointer; display: inline-flex; align-items: center; justify-content: center; transition: color .15s, border-color .15s, transform .25s; }

.theme-toggle:hover { color: var(--accent); border-color: var(--accent); transform: rotate(20deg); }

.theme-toggle__icon { font-size: 1rem; line-height: 1; }

@media (max-width: 560px) { .site-header__inner { flex-wrap: wrap; row-gap: 0.5rem; padding: 0.75rem 1rem; } .site-nav { order: 3; margin-left: 0; width: 100%; } .site-nav ul { gap: 0.9rem; flex-wrap: wrap; font-size: 0.82rem; } .theme-toggle { margin-left: auto; } }

/* === Footer =========================================================== */
.site-footer { border-top: 1px solid var(--rule); margin-top: 4rem; }

.site-footer__inner { max-width: 760px; margin: 0 auto; padding: 1.5rem 1.25rem 2.2rem; font-family: "JetBrains Mono", ui-monospace, monospace; font-size: 0.82rem; color: var(--fg-muted); }

.site-footer__line { margin: 0 0 .35rem; }

.site-footer__meta { margin: 0; }

.footer__heart { color: var(--accent); font-style: italic; border-bottom: 1px dotted var(--accent); }

/* === Prompt motif ===================================================== */
.prompt { color: var(--accent); font-family: "JetBrains Mono", ui-monospace, monospace; font-weight: 600; margin-right: 0.35rem; user-select: none; }

/* === Home ============================================================= */
.home__intro { display: grid; grid-template-columns: 1fr; gap: 1.5rem; align-items: start; }

@media (min-width: 640px) { .home__intro { grid-template-columns: 1fr 180px; gap: 2.2rem; } }

.home__hello { font-family: "JetBrains Mono", ui-monospace, monospace; font-size: 0.85rem; color: var(--fg-muted); margin: 0 0 0.4rem; letter-spacing: 0.02em; }

.home__name { font-size: 2.2rem; line-height: 1.15; margin: 0 0 0.3rem; letter-spacing: -0.02em; font-weight: 700; }

.home__tagline { color: var(--fg-muted); margin: 0 0 1.3rem; font-size: 0.98rem; }

.home__bio { margin-bottom: 1.4rem; }

.home__profile img { border-radius: 14px; box-shadow: var(--shadow); border: 1px solid var(--rule); aspect-ratio: 1 / 1; object-fit: cover; }

/* Social links */
.social { display: flex; flex-wrap: wrap; gap: 0.6rem 1rem; list-style: none; padding: 0; margin: 1.2rem 0 0; font-family: "JetBrains Mono", ui-monospace, monospace; font-size: 0.86rem; }

.social a { display: inline-flex; align-items: center; gap: 0.4rem; color: var(--fg-muted); border-bottom: 0; padding: 0.25rem 0.55rem; border-radius: 999px; border: 1px solid var(--rule); background: var(--bg-elev); transition: color .15s, border-color .15s, transform .15s; }

.social a:hover { color: var(--accent); border-color: var(--accent); transform: translateY(-1px); }

.social svg { flex: 0 0 auto; }

/* Section blocks (now / recent) */
.section__title { font-family: "JetBrains Mono", ui-monospace, monospace; font-size: 1rem; letter-spacing: 0.01em; margin: 2.5rem 0 1rem; color: var(--fg); }

.now__list { list-style: none; padding: 0; margin: 0 0 0.8rem; }

.now__list li { padding: 0.45rem 0; border-bottom: 1px dashed var(--rule); }

.now__list li:last-child { border-bottom: 0; }

.now__verb { display: inline-block; min-width: 85px; font-family: "JetBrains Mono", ui-monospace, monospace; font-size: 0.8rem; text-transform: uppercase; letter-spacing: 0.06em; color: var(--accent); margin-right: 0.6rem; }

.now__note { font-family: "JetBrains Mono", ui-monospace, monospace; font-size: 0.78rem; color: var(--fg-muted); margin: 0.4rem 0 0; }

/* === Post lists ======================================================= */
.post-list { list-style: none; padding: 0; margin: 0; }

.post-list li { display: grid; grid-template-columns: auto 1fr; gap: 0.9rem; align-items: baseline; padding: 0.65rem 0; border-bottom: 1px dashed var(--rule); }

.post-list li:last-child { border-bottom: 0; }

.post-list time { font-family: "JetBrains Mono", ui-monospace, monospace; font-size: 0.82rem; color: var(--fg-muted); white-space: nowrap; }

.post-list a { font-weight: 500; }

.more { font-family: "JetBrains Mono", ui-monospace, monospace; font-size: 0.85rem; }

/* === Page ============================================================= */
.page__header { margin-bottom: 1.5rem; }

.page__title { font-size: 1.8rem; margin: 0 0 0.3rem; letter-spacing: -0.01em; }

.page__subtitle { color: var(--fg-muted); margin: 0; }

/* === Post ============================================================= */
.post__header { margin-bottom: 1.8rem; }

.post__meta { font-family: "JetBrains Mono", ui-monospace, monospace; font-size: 0.82rem; color: var(--fg-muted); margin: 0 0 .6rem; }

.post__meta .dot { margin: 0 0.4rem; }

.post__title { font-size: 2rem; line-height: 1.2; margin: 0; letter-spacing: -0.02em; }

.post__lede { margin: 0.6rem 0 0; color: var(--fg-muted); font-size: 1.05rem; }

.tag { color: var(--accent); }

.post__nav { display: flex; gap: 1rem; justify-content: space-between; margin-top: 3rem; padding-top: 1.2rem; border-top: 1px dashed var(--rule); font-family: "JetBrains Mono", ui-monospace, monospace; font-size: 0.85rem; }

.post__nav a { color: var(--fg-muted); border-bottom: 0; }

.post__nav a:hover { color: var(--accent); }

.post__nav-next { margin-left: auto; text-align: right; }

/* === Prose typography ================================================= */
.prose h2 { font-size: 1.4rem; margin: 2.2rem 0 0.8rem; letter-spacing: -0.01em; }

.prose h3 { font-size: 1.15rem; margin: 1.8rem 0 0.6rem; }

.prose p, .prose ul, .prose ol { margin: 0 0 1rem; }

.prose ul, .prose ol { padding-left: 1.4rem; }

.prose li { margin: 0.25rem 0; }

/* === Publications ===================================================== */
.pub-year { font-family: "JetBrains Mono", ui-monospace, monospace; font-size: 0.85rem; color: var(--fg-muted); margin: 2rem 0 0.6rem; letter-spacing: 0.04em; text-transform: uppercase; }

.pubs { list-style: none; padding: 0; margin: 0; }

.pub { padding: 0.9rem 0; border-bottom: 1px dashed var(--rule); }

.pub:last-child { border-bottom: 0; }

.pub__title { font-weight: 600; margin: 0 0 0.2rem; }

.pub__authors { margin: 0 0 0.2rem; font-size: 0.95rem; color: var(--fg-muted); }

.pub__authors strong { color: var(--fg); font-weight: 600; }

.pub__venue { font-family: "JetBrains Mono", ui-monospace, monospace; font-size: 0.82rem; color: var(--accent); }

.pub__links { margin-top: 0.35rem; font-family: "JetBrains Mono", ui-monospace, monospace; font-size: 0.82rem; }

.pub__links a { margin-right: 0.6rem; color: var(--fg-muted); border-bottom: 1px solid var(--rule); }

.pub__links a:hover { color: var(--accent); border-color: var(--accent); }

.pub__status { display: inline-block; font-family: "JetBrains Mono", ui-monospace, monospace; font-size: 0.72rem; padding: 0.1rem 0.5rem; border-radius: 999px; background: var(--accent-soft); color: var(--accent); margin-left: 0.4rem; vertical-align: middle; }

/* === CV =============================================================== */
.cv-section { margin-bottom: 2.2rem; }

.cv-section h2 { font-family: "JetBrains Mono", ui-monospace, monospace; font-size: 1rem; margin: 0 0 0.9rem; letter-spacing: 0.02em; }

.cv-row { display: grid; grid-template-columns: 130px 1fr; gap: 0.9rem; padding: 0.55rem 0; border-bottom: 1px dashed var(--rule); }

.cv-row:last-child { border-bottom: 0; }

.cv-row__year { font-family: "JetBrains Mono", ui-monospace, monospace; font-size: 0.85rem; color: var(--fg-muted); }

.cv-row__title { font-weight: 600; margin: 0; }

.cv-row__sub { color: var(--fg-muted); margin: 0; font-size: 0.95rem; }

.cv-row__notes { margin: 0.3rem 0 0; padding-left: 1.1rem; color: var(--fg-muted); font-size: 0.93rem; }

@media (max-width: 520px) { .cv-row { grid-template-columns: 1fr; } }

/* === Pagination ======================================================= */
.pagination { display: flex; gap: 1rem; justify-content: space-between; align-items: center; margin: 2.5rem 0 0; font-family: "JetBrains Mono", ui-monospace, monospace; font-size: 0.88rem; }

.pagination span.disabled { color: var(--fg-muted); opacity: 0.5; }

.pagination .page-info { color: var(--fg-muted); }

/* === Misc ============================================================= */
.kbd { font-family: "JetBrains Mono", ui-monospace, monospace; background: var(--bg-elev); border: 1px solid var(--rule); border-bottom-width: 2px; border-radius: 4px; padding: 0 0.4rem; font-size: 0.85em; }

/* === Misc / gallery =================================================== */
.filters { display: flex; flex-wrap: wrap; gap: 0.4rem; margin: 0 0 1.5rem; font-family: "JetBrains Mono", ui-monospace, monospace; font-size: 0.82rem; }

.filter { appearance: none; background: transparent; border: 1px solid var(--rule); color: var(--fg-muted); padding: 0.25rem 0.7rem; border-radius: 999px; cursor: pointer; transition: color .15s, border-color .15s, background .15s; font: inherit; }

.filter:hover { color: var(--fg); border-color: var(--accent); }

.filter.is-active { color: var(--accent); border-color: var(--accent); background: var(--accent-soft); }

.gallery { display: grid; gap: 1rem; grid-template-columns: repeat(auto-fill, minmax(220px, 1fr)); margin: 0 0 1.5rem; }

.gallery__item { margin: 0; display: flex; flex-direction: column; background: var(--bg-elev); border: 1px solid var(--rule); border-radius: 10px; overflow: hidden; transition: transform .2s ease, box-shadow .2s ease, border-color .2s ease; }

.gallery__item:hover { transform: translateY(-2px); box-shadow: var(--shadow); border-color: var(--accent); }

.gallery__item.is-hidden { display: none; }

.gallery__link { display: block; border-bottom: 0; background: var(--code-bg); aspect-ratio: 4 / 3; overflow: hidden; }

.gallery__link img { width: 100%; height: 100%; object-fit: cover; display: block; transition: transform .35s ease; }

.gallery__item:hover .gallery__link img { transform: scale(1.04); }

.gallery__item figcaption { padding: 0.7rem 0.85rem 0.85rem; font-size: 0.92rem; }

.gallery__caption { margin: 0 0 0.2rem; }

.gallery__meta { margin: 0; font-family: "JetBrains Mono", ui-monospace, monospace; font-size: 0.78rem; color: var(--fg-muted); }

.misc__legend { margin: 1.6rem 0 0; padding: 0.8rem 1rem; border-top: 1px dashed var(--rule); font-size: 0.88rem; color: var(--fg-muted); line-height: 1.7; }

.misc__legend strong { color: var(--accent); font-weight: 600; }

.empty { border: 1px dashed var(--rule); border-radius: 10px; padding: 2.2rem 1.4rem; text-align: center; color: var(--fg-muted); background: var(--bg-elev); }

.empty__hint { margin: 0.6rem 0 0; font-family: "JetBrains Mono", ui-monospace, monospace; font-size: 0.85rem; }

.empty__cursor { color: var(--accent); animation: blink 1.05s steps(2, jump-none) infinite; }

@keyframes blink { 50% { opacity: 0; } }

.gallery__more { margin: 1.6rem 0 0; padding: 0.85rem 1rem; border: 1px dashed var(--border); border-radius: 6px; background: var(--bg-elev); color: var(--fg-muted); font-family: "JetBrains Mono", ui-monospace, monospace; font-size: 0.85rem; text-align: center; }

.gallery__more-note { display: block; margin-top: 0.35rem; font-size: 0.8rem; color: var(--fg-muted); font-style: italic; }

/* Lightbox */
.lightbox { border: 0; padding: 0; background: transparent; color: var(--fg); max-width: 92vw; max-height: 92vh; overflow: visible; }

.lightbox::backdrop { background: rgba(0, 0, 0, 0.78); backdrop-filter: blur(4px); }

.lightbox__img { display: block; max-width: 92vw; max-height: 80vh; border-radius: 10px; box-shadow: 0 30px 80px -20px rgba(0, 0, 0, 0.6); }

.lightbox__caption { margin: 0.8rem 0 0; text-align: center; color: #ddd; font-family: "JetBrains Mono", ui-monospace, monospace; font-size: 0.85rem; }

.lightbox__close { position: absolute; top: -2.4rem; right: -0.2rem; background: transparent; border: 0; color: #fff; font-size: 2rem; line-height: 1; cursor: pointer; padding: 0; }

.lightbox__close:hover { color: var(--accent); }

/* === Last-visit map ==================================================== */
.visit { margin: 3rem 0 2rem; padding: 1.1rem 1.2rem 1.3rem; border: 1px solid var(--border); border-radius: 8px; background: var(--bg-elev); font-family: "JetBrains Mono", ui-monospace, monospace; }

.visit__header { margin-bottom: 0.75rem; }

.visit__title { margin: 0; font-size: 1rem; font-weight: 600; letter-spacing: 0.01em; color: var(--fg); }

.visit__sub { margin: 0.2rem 0 0; font-size: 0.78rem; color: var(--fg-muted); }

.visit__cmd { color: var(--accent); }

.visit__panel { position: relative; border: 1px solid var(--border); border-radius: 6px; background: var(--bg); overflow: hidden; }

.visit__log { margin: 0; padding: 0.7rem 0.9rem; font-size: 0.8rem; line-height: 1.55; color: var(--fg-muted); white-space: pre-wrap; border-bottom: 1px dashed var(--border); min-height: 1.6em; }

.visit__line { display: inline; }

.visit__map { height: 280px; width: 100%; background: repeating-linear-gradient(0deg, transparent 0 23px, color-mix(in srgb, var(--border) 70%, transparent) 23px 24px), repeating-linear-gradient(90deg, transparent 0 23px, color-mix(in srgb, var(--border) 70%, transparent) 23px 24px), var(--bg); }

.visit__foot { margin: 0; padding: 0.55rem 0.9rem; font-size: 0.75rem; color: var(--fg-muted); border-top: 1px dashed var(--border); background: var(--bg-elev); }

.visit__cursor { color: var(--accent); }

/* Leaflet overrides to fit the terminal vibe */
.visit__map .leaflet-control-attribution { font-family: "JetBrains Mono", ui-monospace, monospace; font-size: 0.65rem; background: color-mix(in srgb, var(--bg) 80%, transparent); color: var(--fg-muted); }

.visit__map .leaflet-control-attribution a { color: var(--link); }

/* === Post prose: long-form reading ===================================== */
.post .prose { font-family: "Source Serif 4", "Source Serif Pro", "Iowan Old Style", "Charter", "Georgia", "Cambria", "Times New Roman", serif; font-size: 1.075rem; line-height: 1.75; color: var(--fg); text-wrap: pretty; hyphens: auto; }

.post .prose p { margin: 0 0 1.1rem; }

.post .prose h2, .post .prose h3, .post .prose h4 { font-family: "JetBrains Mono", ui-monospace, monospace; letter-spacing: -0.01em; line-height: 1.25; font-weight: 700; }

.post .prose h2 { font-size: 1.45rem; margin: 2.6rem 0 1rem; padding-top: 0.4rem; border-top: 1px dashed var(--rule); color: var(--fg); }

.post .prose h3 { font-size: 1.15rem; margin: 2rem 0 0.6rem; color: var(--fg); }

.post .prose h4 { font-size: 1.0rem; margin: 1.5rem 0 0.5rem; color: var(--fg-muted); }

.post .prose a { color: var(--link); text-decoration: underline; text-underline-offset: 2.5px; text-decoration-thickness: 1px; }

.post .prose a:hover { color: var(--accent); }

.post .prose strong { font-weight: 700; }

.post .prose em { font-style: italic; }

.post .prose blockquote { margin: 1.4rem 0; padding: 0.6rem 1rem; border-left: 3px solid var(--accent); background: var(--bg-elev); color: var(--fg-muted); font-style: italic; }

.post .prose blockquote p:last-child { margin-bottom: 0; }

.post .prose hr { border: 0; border-top: 1px dashed var(--rule); margin: 2.4rem 0; }

.post .prose code { font-family: "JetBrains Mono", ui-monospace, monospace; font-size: 0.88em; padding: 0.1em 0.35em; border-radius: 4px; background: var(--bg-elev); border: 1px solid var(--rule); }

.post .prose pre { font-family: "JetBrains Mono", ui-monospace, monospace; font-size: 0.85rem; line-height: 1.55; padding: 0.9rem 1rem; background: var(--bg-elev); border: 1px solid var(--rule); border-radius: 6px; overflow-x: auto; }

.post .prose pre code { padding: 0; background: transparent; border: 0; font-size: inherit; }

.post .prose ul, .post .prose ol { padding-left: 1.4rem; }

.post .prose li { margin: 0.35rem 0; }

/* footnote refs / small print */
.post .prose sup, .post .prose .footnote { font-size: 0.78em; }

.post .prose .footnotes { margin-top: 3rem; padding-top: 1rem; border-top: 1px dashed var(--rule); font-size: 0.92rem; color: var(--fg-muted); }

/* === MathJax: display equations get their own line ===================== */
.post .prose mjx-container[display="true"] { display: block; margin: 1.4rem auto; padding: 0.4rem 0.2rem; overflow-x: auto; overflow-y: hidden; max-width: 100%; text-align: center; }

/* let inline math wrap rather than blow out the column */
.post .prose mjx-container:not([display="true"]) { max-width: 100%; white-space: normal; }

/* tighter post header */
.post__lede { font-family: "Source Serif 4", "Iowan Old Style", "Charter", "Georgia", serif; font-size: 1.1rem; font-style: italic; color: var(--fg-muted); margin: 0.5rem 0 0; line-height: 1.55; }

.post__title { font-family: "JetBrains Mono", ui-monospace, monospace; letter-spacing: -0.015em; line-height: 1.2; }

/*# sourceMappingURL=style.css.map */