:root {
  color-scheme: dark;
  --bg: #231f20;
  --text: #ded9d7;
  --muted: #a59b9e;
  --font: 'JetBrains Mono', monospace;
  --controls-height: 76px;
}
* { box-sizing: border-box; }
html { scrollbar-gutter: stable; }
body {
  margin: 0;
  padding-bottom: var(--controls-height);
  background: var(--bg);
  color: var(--text);
  font: 400 16px/1.85 var(--font);
  -webkit-font-smoothing: antialiased;
}
::selection { background: #ded9d7; color: var(--bg); }
a { color: inherit; text-decoration: none; text-underline-offset: 5px; }
a:hover { text-decoration: underline; }
a:focus-visible, summary:focus-visible { outline: 1px solid var(--muted); outline-offset: 6px; }
.site-shell { width: min(940px, calc(100% - 64px)); margin: 0 auto; }
.site-header { display: flex; justify-content: space-between; align-items: baseline; gap: 32px; padding-top: 28px; line-height: 1.5; color: #fff; }
.wordmark { font-size: 20px; white-space: nowrap; }
nav { display: flex; gap: 28px; }
nav a { color: var(--muted); font-size: 18px; padding: 8px 0; }
nav a[aria-current='page'] { color: var(--text); }
main { margin: 76px 0 96px; outline: none; }
.page { max-width: 760px; }
p { margin: 0 0 24px; }
.bio { max-width: 660px; color: var(--muted); }
.about-page { max-width: none; }
.about-page .bio { max-width: 900px; margin: 0 auto; color: #fff; font-size: 15px; line-height: 1.65; text-align: left; }
body.view-about main { margin: 26px 0 32px; }
.about-page .bio > p { margin-bottom: 14px; }
.about-page .bio > p:last-child { margin-bottom: 0; }
.bio-greeting { color: inherit; }
.bio-greeting strong { font-weight: 600; }
.bio-lists { margin: 20px 0; }
.bio-section { margin: 22px 0; }
.bio-section h2 { margin-bottom: 8px; color: inherit; font: inherit; }
.bio-section ul { max-width: 100%; margin: 0; padding-left: 23px; text-align: left; }
.bio-section li { padding-left: 5px; margin-bottom: 4px; }
.bio-section li:last-child { margin-bottom: 0; }
.bio-contact a { color: inherit; text-decoration: underline; text-decoration-color: #fff8; overflow-wrap: anywhere; }
.bio-background-note { display: block; margin-top: 8px; }
@media (min-width: 960px) {
  .about-page .bio { max-width: 940px; }
  .about-page .bio { line-height: 1.55; }
  .bio-lists { display: grid; grid-template-columns: minmax(0, 1.65fr) minmax(0, 1fr); gap: 22px 44px; }
  .bio-lists .bio-section { margin: 0; }
  .bio-lists .bio-section:first-child { grid-column: 1 / -1; }
}
@media (min-width: 960px) and (max-height: 800px) {
  .site-header { padding-top: 20px; }
  body.view-about main { margin: 16px 0 20px; }
  .about-page .bio { line-height: 1.5; }
  .about-page .bio > p { margin-bottom: 10px; }
  .bio-lists { margin: 12px 0; row-gap: 18px; }
  .bio-section h2 { margin-bottom: 7px; }
  .bio-section li { margin-bottom: 3px; }
}
h1, h2 { font: inherit; color: var(--text); }
h1 { font-size: 19px; line-height: 1.6; margin: 0 0 36px; }
h2 { margin: 0; font-size: 16px; }
.entry-list { list-style: none; margin: 0; padding: 0; }
body.view-empty-blogs .site-shell:not([hidden]), body.view-about .site-shell:not([hidden]) { min-height: calc(100vh - var(--controls-height)); min-height: calc(100dvh - var(--controls-height)); display: flex; flex-direction: column; }
body.view-empty-blogs main { margin: 0; flex: 1; display: grid; place-items: center; }
.view-about .site-shell main { margin: 0; padding: 16px 0; flex: 1; display: grid; align-items: center; }
.blogs-empty { width: 100%; max-width: none; text-align: center; color: #fff; }
.blogs-empty p { margin: 0; }
.entry { margin-bottom: 24px; }
.entry-link { display: grid; grid-template-columns: 130px minmax(0,1fr); gap: 24px; align-items: baseline; }
.entry-date { font-size: 14px; color: var(--muted); }
.entry-link:hover { text-decoration: none; }
.entry-link:hover h2 { text-decoration: underline; text-underline-offset: 5px; }
.back-link { display: inline-block; font-size: 14px; color: var(--muted); margin-bottom: 32px; }
.article-meta { font-size: 14px; color: var(--muted); margin: -22px 0 38px; }
.article-body { max-width: 690px; }
.article-body h2 { margin: 34px 0 18px; }
.article-body blockquote { margin: 28px 0; padding-left: 22px; border-left: 1px solid #61575a; color: var(--muted); }
.notebook-article { max-width: 940px; margin-inline: auto; }
.notebook-article > :not(.article-body) { width: min(100%, 740px); margin-inline: auto; }
.notebook-article > .back-link { display: block; }
.notebook-article > h1 { max-width: 800px; font-size: clamp(23px, 3.5vw, 34px); line-height: 1.45; letter-spacing: -.04em; }
.notebook-article .article-body { max-width: none; }
.notebook-article .article-body > :is(p, h2, details, pre, blockquote, ul, ol) { max-width: 740px; margin-inline: auto; }
.article-body h2 { margin-top: 56px; font-size: 21px; line-height: 1.5; letter-spacing: -.025em; }
.article-body p { color: #c6bec0; }
.article-body > ul { padding-left: 1.4em; color: #c6bec0; }
.article-body > ul li { padding-left: .25em; margin-block: .6em; }
.article-body strong { color: #eee8e6; font-weight: 600; }
.article-body p a { text-decoration: underline; text-decoration-color: #a59b9e70; overflow-wrap: anywhere; }
.article-body p a:hover { text-decoration-color: currentColor; }
.article-body code { font-family: inherit; font-size: .9em; }
.article-body pre { padding: 20px; background: #191617; border: 1px solid #a59b9e35; border-radius: 4px; overflow-x: auto; line-height: 1.7; }
.article-figure { margin: 30px 0 36px; }
.article-figure a { display: block; border-radius: 4px; overflow: hidden; }
.article-figure img { display: block; width: 100%; height: auto; background: #faf9f6; }
.article-disclosure { border-top: 1px solid #a59b9e40; border-bottom: 1px solid #a59b9e40; margin: 28px 0 38px; padding: 13px 0; }
.article-disclosure > summary { display: block; font-size: 15px; color: #ded9d7; }
.disclosure-preview { display: block; margin-top: 22px; max-height: 5.55em; overflow: hidden; color: #c6bec0; font-size: 16px; line-height: 1.85; -webkit-mask-image: linear-gradient(to bottom, #000 35%, #000a 70%, transparent 100%); mask-image: linear-gradient(to bottom, #000 35%, #000a 70%, transparent 100%); }
.disclosure-preview .preview-link { text-decoration: underline; text-decoration-color: #a59b9e70; }
.article-disclosure[open] .disclosure-preview { display: none; }
.article-disclosure[open] > summary { margin-bottom: 22px; }
.article-disclosure > p:last-child { margin-bottom: 10px; }
@media (max-width: 620px) {
  .article-body h2 { font-size: 19px; margin-top: 42px; }
  .notebook-article .article-body { font-size: 14px; }
  .disclosure-preview { font-size: 14px; }
  .article-body pre { padding: 12px; font-size: 11px; }
  .article-figure { margin: 24px -12px 30px; }
}
.papers-page { display: grid; gap: 24px; max-width: none; }
.paper-entry { margin: 0; padding: 24px; border: 1px solid #a59b9e40; border-radius: 4px; background: rgba(35, 31, 32, .76); }
.paper-entry.has-preview { display: grid; grid-template-columns: 148px minmax(0, 1fr); gap: 28px; align-items: start; }
.paper-preview { display: block; }
.paper-preview img { display: block; width: 100%; height: auto; background: #fff; }
.paper-info { min-width: 0; }
.paper-authors { color: var(--muted); font-size: 14px; margin: 7px 0 12px; }
summary { display: inline-block; font-size: 14px; color: var(--muted); cursor: pointer; list-style: none; }
summary::-webkit-details-marker { display: none; }
summary:hover { color: var(--text); }
summary::before { content: '+ '; }
details[open] summary::before { content: '− '; }
.abstract { color: var(--muted); font-size: 15px; margin: 18px 0 0; max-width: 660px; }
.paper-links { display: flex; flex-wrap: wrap; gap: 8px 22px; margin-top: 14px; }
.paper-link { display: inline-block; font-size: 14px; color: var(--muted); text-decoration: underline; text-decoration-color: #61575a; }
.paper-link:hover { color: var(--text); text-decoration-color: currentColor; }
.paper-explanation { margin-top: 19px; text-align: center; }
.explanation-button { display: inline-block; padding: 8px 12px; border: 1px solid #61575a; border-radius: 3px; font-size: 12px; line-height: 1.6; }
.explanation-button:hover { border-color: var(--accent, #cb8883); color: var(--accent, #cb8883); text-decoration: none; }
.paper-explanation > span { display: block; margin-top: 6px; font-size: 11px; color: var(--muted); }
.explanation-page { max-width: 760px; }
.explanation-kicker { margin: 0 0 12px; color: var(--accent, #cb8883); font-size: 12px; }
.explanation-header h1 { font-size: clamp(20px, 3vw, 26px); line-height: 1.55; margin-bottom: 18px; }
.explanation-credit { font-size: 13px; margin: 0 0 4px; }
.explanation-source { color: var(--muted); font-size: 12px; margin-bottom: 30px; }
.explanation-source a, .explanation-body a { text-decoration: underline; text-decoration-color: #61575a; }
.explanation-lead { font-size: 16px; line-height: 1.9; }
.explanation-contents { padding: 17px 0; margin: 32px 0 44px; border-top: 1px solid #61575a80; border-bottom: 1px solid #61575a80; }
.explanation-contents ol { padding-left: 28px; margin-bottom: 8px; font-size: 13px; }
.explanation-contents li { padding: 4px 0; }
.explanation-body { font-size: 14px; line-height: 1.95; }
.explanation-section { margin: 0 0 48px; scroll-margin-top: 32px; outline: none; }
.explanation-section h2 { margin-bottom: 22px; font-size: 18px; line-height: 1.6; }
.explanation-section h3 { font: 500 15px/1.75 var(--font); margin: 28px 0 14px; }
.explanation-section p { margin-bottom: 20px; }
.explanation-section ul, .explanation-section ol { padding-left: 24px; margin: 20px 0; }
.explanation-section li { margin-bottom: 10px; }
.explanation-section strong { font-weight: 600; color: #eae4e1; }
.explanation-section code { font-family: var(--font); font-size: .92em; }
.explanation-section p code, .explanation-section li code { color: #d9b8b5; overflow-wrap: anywhere; }
.explanation-section pre { overflow-x: auto; max-width: 100%; padding: 22px; margin: 26px 0; border: 1px solid #61575a70; border-radius: 3px; background: #171415d9; color: #d9d2cf; font-size: 13px; line-height: 1.8; text-shadow: none; tab-size: 4; }
/* PyCharm / Darcula palette, retaining the site's JetBrains Mono font. */
.explanation-section pre.language-python { background: #2b2b2b; color: #a9b7c6; border-color: #454545; }
.explanation-section pre code { font-size: inherit; }
.language-python .token.comment { color: #808080; }
.language-python .token.keyword, .language-python .token.boolean { color: #cc7832; }
.language-python .token.function { color: #ffc66d; }
.language-python .token.builtin { color: #8888c6; }
.language-python .token.string, .language-python .token.string-interpolation { color: #6a8759; }
.language-python .token.number { color: #6897bb; }
.language-python .token.decorator, .language-python .token.annotation { color: #bbb529; }
.language-python .token.operator, .language-python .token.punctuation, .language-python .token.class-name, .language-python .token.interpolation { color: #a9b7c6; }
.explanation-section pre.language-python ::selection { background: #214283; color: inherit; }
.explanation-table { overflow-x: auto; margin: 24px 0; }
.explanation-table table { border-collapse: collapse; width: 100%; font-size: 12px; line-height: 1.7; text-align: left; }
.explanation-table th, .explanation-table td { padding: 12px 14px 12px 0; border-bottom: 1px solid #61575a70; vertical-align: top; }
.explanation-table th { font-weight: 500; color: var(--text); }
.explanation-table td { color: var(--muted); }
.explanation-section .katex { font-size: 1.13em; }
.explanation-section .katex-display { overflow-x: auto; overflow-y: hidden; padding: 12px 2px; margin: 22px 0; }
.explanation-section .katex-display > .katex { text-align: left; }
.explanation-footer { border-top: 1px solid #61575a80; padding-top: 24px; }
.explanation-footer > p { font-size: 13px; color: var(--muted); margin: 0; }
.explanation-footer .back-link { margin: 36px 0 0; }
.explanation-body a:focus-visible, .explanation-section pre:focus-visible, .explanation-table:focus-visible { outline: 1px solid var(--accent, #cb8883); outline-offset: 4px; }
.skip-link { position: fixed; top: 12px; left: 12px; padding: 8px 16px; background: var(--text); color: var(--bg); transform: translateY(-200%); }
.skip-link:focus { transform: translateY(0); }
.background-controls { position: fixed; left: 0; right: 0; bottom: 0; width: auto; min-height: 76px; margin: 0; padding: 12px max(20px, env(safe-area-inset-left)) max(16px, env(safe-area-inset-bottom)); z-index: 2; display: flex; justify-content: flex-start; align-items: center; flex-wrap: wrap; gap: 8px; pointer-events: none; }
.background-controls[hidden], .reading-article .background-controls { display: none; }
body.reading-article { padding-bottom: 0; }
.background-controls button { min-height: 36px; padding: 7px 11px; border: 1px solid #ffffff40; border-radius: 3px; background: #231f20c9; color: #fff; font: 400 11px/1.5 var(--font); cursor: pointer; pointer-events: auto; }
.background-controls button:hover { border-color: #ffffffa0; background: #231f20; }
.background-controls button:focus-visible { outline: 1px solid #fff; outline-offset: 4px; }
@media (max-width: 620px) {
  .site-shell { width: calc(100% - 40px); }
  .site-header { padding-top: 28px; gap: 12px 24px; flex-wrap: wrap; }
  .wordmark { font-size: 18px; }
  nav { gap: 20px; }
  nav a { font-size: 16px; }
  main { margin-top: 55px; }
  body.view-about main { margin-top: 28px; margin-bottom: 72px; }
  .about-page .bio { font-size: 15px; line-height: 1.65; }
  .bio-lists { margin: 22px 0; }
  .entry-link { grid-template-columns: 1fr; gap: 2px; }
  .entry { margin-bottom: 28px; }
  .papers-page { gap: 20px; }
  .paper-entry { padding: 20px; }
  .paper-entry.has-preview { grid-template-columns: minmax(0, 1fr); gap: 20px; }
  .paper-preview { width: 132px; max-width: 100%; }
  .explanation-button { padding: 7px 9px; font-size: 11px; }
  .explanation-section pre { padding: 16px; font-size: 12px; }
  h1 { font-size: 18px; }
}
@media (max-width: 370px) { nav { gap: 14px; } }