* {
  box-sizing: border-box;
}

body {
  margin: 0;
  font: 16px/1.5 Georgia, serif;
  color: #111;
  background: #fff;
}

.site-title a,
a {
  color: inherit;
}

.home-intro,
.page-content,
.post-list {
  margin-bottom: 2rem;
}

h1,
h2,
h3,
p,
ul,
ol,
pre,
blockquote {
  margin: 0 0 1rem;
}

.meta,
.post-list span {
  color: #666;
}

.post-list ul {
  padding-left: 1.25rem;
}

pre,
code {
  font: 0.95em/1.4 "SFMono-Regular", Menlo, Consolas, monospace;
}

.layout-home {
  background: #fff;
}

.layout-home .site-main {
  min-height: 70vh;
  padding: 0;
}

.landing-empty {
  min-height: 70vh;
}

@media screen and (max-width: 640px) {
  .layout-home .site-main {
    min-height: 60vh;
  }
}
.site-header {
  margin-bottom: 0 !important;
}

.hero {
  position: relative;
  height: clamp(200px, 35vw, 350px);
  display: flex;
  flex-direction: column;
  align-items: flex-start;
  justify-content: flex-end;
}

.hero-content {
  z-index: 2;
  padding: 1rem;
}

.hero-content h1 {
  margin: 0;
  color: white;
  text-shadow: 0 0 3rem #000;
  font-size: 4rem;
  max-width: 80%;
  line-height: 0.9;
  margin-bottom: 1rem;
}

.hero-image {
  position: absolute;
  inset: 0;
  width: 100%;
  height: 100%;
  object-fit: cover;
  user-select: none;
  pointer-events: none;
}

.container {
  min-height: 80vh;
  border-left: 1.5px solid #eee;
  border-right: 1.5px solid #eee;
}

.section {
  padding: 0.5rem 1rem;
  border-top: 1.5px solid #eee;
}

.section p:nth-last-of-type(1) {
  margin: 0;
}

.section-publications {
  display: flex;
  padding: 0;
  align-items: stretch;
}

.section-label-vertical {
  writing-mode: vertical-lr;
  width: fit-content;
  padding: 1rem;
  border-left: 1.5px solid #eee;
  transform: rotate(180deg);
  flex-shrink: 0;
  font-size: 1rem;
  font-weight: 600;
}

.publications {
  display: flex;
  overflow-x: auto;
  min-width: 0;
  width: 100%;
  scrollbar-width: thin;
}

.pub {
  width: 300px;
  min-width: 300px;
  flex: 0 0 300px;
  padding: 1rem;
  display: flex;
  flex-direction: column;
  justify-content: flex-start;
  border-right: 1.5px solid #eee;
}

.pub:first-child {
  border-left: 0;
}

.pub__meta {
  display: flex;
  justify-content: space-between;
  align-items: flex-start;
  gap: 1rem;
  margin-bottom: 0.75rem;
  font-size: 0.8rem;
}

.pub__authors,
.pub__date,
.pub__title,
.pub__preview {
  margin: 0;
}

.pub__authors,
.pub__date {
  color: #666;
}

.pub__title {
  font-size: 1.25rem;
  line-height: 1;
  margin-bottom: 1rem;
}

.pub__title a {
  color: inherit;
  text-decoration: none;
}

.pub__title a:hover,
.pub__title a:focus-visible,
.pub__link:hover,
.pub__link:focus-visible {
  text-decoration: underline;
}

.pub__rule {
  width: calc(100% + 2rem);
  margin-bottom: 1rem;
  margin-left: -1rem;
  margin-right: -1rem;
  border: 0;
  border-top: 1.5px solid #eee;
}

.pub__preview {
  color: #333;
  line-height: 1.5;
  margin-bottom: 1rem;
}

.pub__link {
  margin-top: auto;
  color: inherit;
  width: fit-content;
}

.site-shell {
  width: min(44rem, 100% - 2rem);
  margin: 2rem auto;
  margin-top: 0px;
}

.site-header {
  position: relative;
  margin-bottom: 2rem;
}

.site-header::after {
  content: "";
  display: block;
  width: 100vw;
  margin-left: calc(50% - 50vw);
  border-bottom: 1.5px solid #eee;
}

.site-header .header-content {
  padding: 1rem 0;
  display: flex;
  flex-direction: row;
  align-items: center;
  justify-content: space-between;
}

.site-header .site-logo,
.site-header .site-logo-sm {
  max-width: 300px;
  max-height: 100%;
  display: block;
}

.site-header .site-logo-print,
.site-header .site-logo-sm-print {
  display: none;
}

.site-header .site-logo-sm {
  display: none;
  max-height: 50px;
}

.layout-post .site-header {
  margin-bottom: 0;
}

.site-nav {
  display: flex;
  flex-wrap: wrap;
  gap: 1rem;
}

@media print {
  .site-nav {
    display: none;
  }
}
.site-title {
  margin: 0;
  font-size: 1.5rem;
  flex: 0 0 auto;
}

.site-logo-sm {
  display: none;
  margin: 0;
  font-size: 1.5rem;
  flex: 0 0 auto;
}

@media screen and (max-width: 500px) {
  .site-logo {
    display: none !important;
  }
  .site-logo-sm:not(.site-logo-sm-print) {
    display: none !important;
  }
  .site-logo-sm-print {
    display: block !important;
  }
}
@media print {
  .site-logo,
  .site-logo-sm {
    display: none !important;
  }
  .site-logo-print {
    display: block !important;
    max-height: 20px !important;
  }
  .site-logo-sm-print {
    display: none !important;
  }
}
.site-main {
  display: block;
}

.site-main > :last-child {
  margin-bottom: 0;
}

.site-footer {
  position: relative;
  margin: 0;
  padding: 0;
  color: #666;
  font-size: 0.95rem;
}

.site-footer::before {
  content: "";
  display: block;
  width: 100vw;
  margin-left: calc(50% - 50vw);
  border-top: 1.5px solid #eee;
  margin-bottom: 1rem;
}

.site-footer p:last-child {
  margin-bottom: 0;
}

@media screen and (min-width: 900px) {
  .site-shell {
    width: min(50rem, 100% - 2rem);
  }
}
.post-title {
  position: relative;
  margin: 0;
}

.post-meta {
  display: inline-flex;
  flex-direction: column;
  flex-wrap: wrap;
  gap: 0.75rem 1rem;
  margin: 0 0 1.5rem;
  overflow: visible;
}

.post-meta__date {
  margin: 0;
}

.author-profile {
  position: relative;
  overflow: visible;
}

.author-profile__summary {
  display: flex;
  align-items: center;
  gap: 0.65rem;
  padding: 0;
  border: none;
  background-color: transparent;
  background: transparent;
  color: #111;
  font: inherit;
  cursor: pointer;
}

.author-profile__summary:focus-visible {
  outline: 2px solid #111;
  outline-offset: 2px;
}

.author-profile__image,
.author-profile__card-image {
  display: block;
  border-radius: 4px;
  object-fit: cover;
  background: #f3f3f3;
}

.author-profile__image {
  width: 1.5rem;
  height: 1.5rem;
}

.author-profile__name {
  font-size: 0.95rem;
  font-weight: 600;
}

.author-profile__card {
  position: absolute;
  top: calc(100% + 0.25rem);
  left: 0;
  z-index: 50;
  width: min(20rem, 100vw - 2rem);
  padding: 0.5rem;
  border: 1px solid #eee;
  border-radius: 0.5rem;
  background: #fff;
  box-shadow: 0 18px 48px rgba(17, 17, 17, 0.14);
  display: grid;
  grid-template-columns: auto 1fr;
  gap: 0.9rem;
  opacity: 0;
  visibility: hidden;
  transform: translateY(0.4rem);
  transition: opacity 160ms ease, transform 160ms ease, visibility 160ms ease;
}

.author-profile:hover .author-profile__card,
.author-profile:focus-within .author-profile__card {
  opacity: 1;
  visibility: visible;
  transform: translateY(0);
}

.author-profile__card-image {
  width: 4rem;
  height: 4rem;
}

.author-profile__card-copy > *:last-child {
  margin-bottom: 0;
}

.author-profile__card-name,
.author-profile__card-year {
  margin: 0;
}

.author-profile__card-name {
  font-size: 1rem;
  font-weight: 700;
}

.author-profile__card-year {
  color: #666;
  font-size: 0.95rem;
  margin-top: 0.1rem;
}

.author-profile__socials {
  display: flex;
  flex-wrap: wrap;
  gap: 0.6rem;
  margin-top: 0.8rem;
}

.author-profile__socials a {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  width: 1.25rem;
  height: 1.25rem;
  background: none;
}

.author-profile__socials img {
  width: 100%;
  height: 100%;
  display: block;
  opacity: 0.6;
  transition: opacity 200ms;
}

.author-profile__socials img:hover,
.author-profile__socials img:focus-visible {
  opacity: 1;
}

.post-content {
  position: relative;
  padding-top: 2rem;
  display: flow-root;
}

.post-content__toc {
  display: none;
}

.post-content__toc-title {
  color: #000;
  text-decoration: underline;
}

.post-content__toc .section-nav,
.post-content__toc .section-nav ul {
  list-style: none;
  margin: 0;
  padding-left: 0;
}

.post-content__toc .section-nav {
  font-size: 0.95rem;
  line-height: 1.5;
  color: #666;
}

.post-content__toc .section-nav li + li {
  margin-top: 0.35rem;
}

.post-content__toc .section-nav .toc-entry-h3,
.post-content__toc .section-nav .toc-h3 {
  padding-left: 1rem;
}

.post-content__toc .section-nav .toc-entry-h4,
.post-content__toc .section-nav .toc-h4 {
  padding-left: 2rem;
}

.post-content__toc a {
  color: inherit;
  text-decoration: none;
}

.post-content__toc a:hover {
  text-decoration: underline;
}

.post-content .katex-display {
  overflow-x: auto;
  overflow-y: hidden;
  padding: 0.25rem 0;
}

.post-content table:not(.rouge-table) {
  width: calc(100% + 2rem);
  margin-left: -1rem;
  margin-right: -1rem;
  margin-bottom: 1.5rem;
  border-collapse: collapse;
  overflow-x: auto;
  display: block;
}

.post-content table:not(.rouge-table) th,
.post-content table:not(.rouge-table) td {
  padding: 0.65rem 1rem;
  border: 1.5px solid #eee;
  text-align: left;
  vertical-align: top;
}

.post-content table:not(.rouge-table) th {
  background-color: #f1f5f9;
}

.post-content table:not(.rouge-table) tr:nth-child(2n) {
  background-color: #f8fafc;
}

.post-content table:not(.rouge-table) td:first-of-type,
.post-content table:not(.rouge-table) th:first-of-type {
  border-left: none;
}

.post-content table:not(.rouge-table) td:last-of-type,
.post-content table:not(.rouge-table) th:last-of-type {
  border-right: none;
}

.post-content table:not(.rouge-table) th {
  font-weight: 600;
}

.post-content .katex-display::-webkit-scrollbar {
  height: 0.4rem;
}

.post-content .mermaid-block {
  margin: 0 0 1.5rem;
  padding: 0.25rem 0;
  overflow-x: auto;
  background: transparent;
}

.post-content .mermaid {
  min-width: min-content;
}

.post-content .mermaid svg {
  display: block;
  max-width: 100%;
  height: auto;
  margin: 0 auto;
  background: transparent;
}

.post-content .mermaid .label,
.post-content .mermaid .edgeLabel,
.post-content .mermaid text {
  color: #111;
  fill: #111;
}

.post-content .mermaid .edgeLabel rect,
.post-content .mermaid .labelBkg {
  fill: #fff;
}

.post-content .mermaid .node rect,
.post-content .mermaid .node circle,
.post-content .mermaid .node ellipse,
.post-content .mermaid .node polygon,
.post-content .mermaid .node path,
.post-content .mermaid .cluster rect {
  stroke: #666;
  fill: #fff;
}

.post-content .mermaid .flowchart-link,
.post-content .mermaid .marker,
.post-content .mermaid .marker path,
.post-content .mermaid .path {
  stroke: #666;
}

.post-content .mermaid .marker path {
  fill: #666;
}

.post-content .plot-block {
  margin: 0 0 1.5rem;
}

.post-content .plot-block__mount {
  overflow-x: auto;
  overflow-y: hidden;
  padding: 0.25rem 0;
}

.post-content .plot-block__mount > * {
  display: block;
  max-width: 100%;
  height: auto;
}

.post-content .plot-block[data-plot-error=true] .plot-block__mount {
  padding: 1rem;
  border: 1px solid #eee;
  border-radius: 0.5rem;
  color: #666;
  font-size: 0.95rem;
}

@media screen and (min-width: 768px) {
  .post-content {
    box-sizing: border-box;
    border-left: 1.5px solid #eee;
    border-right: 1.5px solid #eee;
    padding: 0 1rem;
    margin-left: -1rem;
    margin-right: -1rem;
    padding-top: 2rem;
    min-height: calc(100vh - 8rem);
    width: 80%;
  }
  .post-content__toc {
    position: absolute;
    top: 2rem;
    left: calc(100% + 0.5rem);
    display: block;
    width: 31.25%;
  }
}
.post-content img:not(.highlight__icon) {
  max-width: calc(100% + 2rem);
  margin-left: -1rem;
  margin-right: -1rem;
}

.post-content > hr {
  margin-left: -1rem;
  margin-right: -1rem;
  width: calc(100% + 2rem);
  margin-bottom: 1.5rem;
  border: none;
  border-top: 1.5px solid #eee;
}

.post-hero--dither {
  position: relative;
  z-index: 2;
  width: 100vw;
  margin-left: calc(50% - 50vw);
  padding-top: clamp(4rem, 10vw, 7rem);
  padding-right: 0;
  padding-bottom: 0;
  padding-left: 0;
  border-bottom: 1.5px solid #eee;
  overflow: visible;
}

.post-hero__inner {
  position: relative;
  z-index: 3;
  width: min(44rem, 100% - 2rem);
  margin: 0 auto;
}

.post-title__canvas {
  position: absolute;
  inset: 0;
  width: 100%;
  height: 100%;
  display: block;
}

.post-title__label {
  position: relative;
  font-size: 4rem;
}

@media print {
  .post-title__label {
    font-size: 2.5rem;
  }
}
@media screen and (min-width: 900px) {
  .post-hero__inner {
    width: min(50rem, 100% - 2rem);
  }
}
div.highlight,
figure.highlight {
  position: relative;
  margin: 0 0 1.5rem;
  border-top: 1.5px solid #e5e7eb;
  border-bottom: 1.5px solid #e5e7eb;
  background: #f8fafc;
  overflow: hidden;
  margin-left: -1rem;
  margin-right: -1rem;
}

.highlight__body {
  overflow-x: auto;
  -webkit-overflow-scrolling: touch;
}

.highlight__meta {
  display: flex;
  align-items: center;
  gap: 0.55rem;
  padding: 0.65rem 0.9rem 0.6rem;
  border-bottom: 1.5px solid #e5e7eb;
  background: #f8fafc;
  color: #344054;
  font: 0.72rem/1.3 "SFMono-Regular", Menlo, Consolas, monospace;
}

.highlight__copy-button {
  margin-top: -10px;
  margin-bottom: -10px;
  display: inline-flex;
  align-items: center;
  justify-content: center;
  width: 1.65rem;
  height: 1.65rem;
  margin-left: auto;
  padding: 0;
  border: 1px solid #d0d5dd;
  border-radius: 0.35rem;
  background: rgba(255, 255, 255, 0.8509803922);
  color: #475467;
  line-height: 0;
  font-size: 0;
  vertical-align: top;
  flex: 0 0 auto;
  cursor: pointer;
  transition: background-color 120ms ease, border-color 120ms ease, color 120ms ease, opacity 120ms ease;
}

.highlight__copy-button:hover,
.highlight__copy-button:focus-visible {
  border-color: #98a2b3;
  background: #fff;
  color: #101828;
}

.highlight__copy-button:focus-visible {
  outline: 2px solid #175cd3;
  outline-offset: 2px;
}

.highlight__copy-button.is-copied {
  border-color: #d0d5dd;
  background: rgba(255, 255, 255, 0.8509803922);
  color: #475467;
}

.highlight__copy-button--floating {
  position: absolute;
  top: 0.65rem;
  right: 0.8rem;
  z-index: 2;
  margin-top: 0;
  margin-bottom: 0;
}

.highlight__copy-icon {
  width: 0.8rem;
  height: 0.8rem;
  display: block;
  flex: 0 0 auto;
  pointer-events: none;
}

.highlight__copy-icon--check {
  display: none;
}

.highlight__copy-button.is-copied .highlight__copy-icon--copy {
  display: none;
}

.highlight__copy-button.is-copied .highlight__copy-icon--check {
  display: block;
}

.highlight__icon {
  width: 0.95rem;
  height: 0.95rem;
  flex: 0 0 auto;
  opacity: 0.8;
}

.highlight__filename {
  min-width: 0;
  overflow-wrap: anywhere;
}

.highlight__filename-link,
.highlight__filename-link:visited {
  color: #344054;
  text-decoration: underline;
}

.highlighter-rouge > .highlight {
  margin-bottom: 0;
}

.highlighter-rouge {
  margin: 0 0 1.5rem;
}

.highlight .rouge-table {
  width: max-content;
  min-width: 100%;
  border-collapse: collapse;
}

.highlight .rouge-gutter {
  width: 1%;
  padding: 0;
  vertical-align: top;
  border-right: 1px solid #e5e7eb;
  background: #f1f5f9;
  color: #98a2b3;
  user-select: none;
}

.highlight .rouge-code {
  width: 99%;
  padding: 0;
  vertical-align: top;
}

.highlight .rouge-gutter pre,
.highlight .rouge-code pre {
  margin: 0;
  padding: 0;
}

.highlight .rouge-gutter .lineno {
  padding-right: 0.25rem;
  width: 40px;
  text-align: right;
}

.highlight .rouge-code {
  padding: 0;
}

.highlight pre {
  margin: 0;
  padding: 0.85rem 0.9rem;
  background: transparent;
  min-width: max-content;
}

.highlight code,
.highlight pre,
code.highlighter-rouge {
  font: 0.84rem/1.6 "SFMono-Regular", Menlo, Consolas, monospace;
}

code.highlighter-rouge {
  padding: 0.15rem 0.35rem;
  border-radius: 0.35rem;
  background: #f1f5f9;
  color: #b42318;
}

.highlight .hll {
  display: block;
  width: calc(100% + 0.5rem);
  margin: 0;
  padding: 0;
  background: hsl(210, 17%, 93%);
  margin-left: -0.5rem;
  padding-left: 0.5rem;
}

.highlight .rouge-code > pre {
  padding: 0.85rem 0 0.85rem 0.45rem;
}

.highlight .rouge-gutter > pre {
  padding: 0.85rem 0;
}

@media screen and (min-width: 768px) {
  .highlight__meta {
    font-size: 0.75rem;
  }
  .highlight code,
  .highlight pre,
  code.highlighter-rouge {
    font-size: 0.88rem;
  }
}
.highlight .rouge-code > pre > .hll {
  display: block;
}

.highlight .c,
.highlight .cm,
.highlight .c1,
.highlight .cs {
  color: #6b7280;
  font-style: italic;
}

.highlight .cp,
.highlight .nt,
.highlight .nn,
.highlight .nc {
  color: #175cd3;
}

.highlight .k,
.highlight .kc,
.highlight .kd,
.highlight .kn,
.highlight .kp,
.highlight .kr,
.highlight .kt {
  color: #7a2e98;
}

.highlight .o,
.highlight .ow {
  color: #344054;
}

.highlight .nb,
.highlight .nf,
.highlight .fm {
  color: #b54708;
}

.highlight .na,
.highlight .nv,
.highlight .vc,
.highlight .vg,
.highlight .vi {
  color: #087443;
}

.highlight .s,
.highlight .sa,
.highlight .sb,
.highlight .sc,
.highlight .dl,
.highlight .sd,
.highlight .s2,
.highlight .se,
.highlight .sh,
.highlight .si,
.highlight .sx,
.highlight .sr,
.highlight .s1,
.highlight .ss {
  color: #b42318;
}

.highlight .m,
.highlight .mb,
.highlight .mf,
.highlight .mh,
.highlight .mi,
.highlight .il,
.highlight .mo {
  color: #175cd3;
}

.highlight .bp {
  color: #667085;
}

.highlight .err,
.highlight .gd {
  color: #d92d20;
}

.highlight .gi {
  color: #087443;
}

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