/***************/
/* MEYER RESET */
/***************/
html, body, div, span, applet, object, iframe,
h1, h2, h3, h4, h5, h6, p, blockquote, pre,
a, abbr, acronym, address, big, cite, code,
del, dfn, em, img, ins, kbd, q, s, samp,
small, strike, strong, sub, sup, tt, var,
b, u, i, center,
dl, dt, dd, ol, ul, li,
fieldset, form, label, legend,
table, caption, tbody, tfoot, thead, tr, th, td,
article, aside, canvas, details, embed,
figure, figcaption, footer, header, hgroup,
menu, nav, output, ruby, section, summary,
time, mark, audio, video {
  margin: 0;
  padding: 0;
  border: 0;
  font-size: 100%;
  font: inherit;
  vertical-align: baseline;
}

article, aside, details, figcaption, figure,
footer, header, hgroup, menu, nav, section {
  display: block;
}

body {
  line-height: 1;
}

ol, ul {
  list-style: none;
}

blockquote, q {
  quotes: none;
}

blockquote:before, blockquote:after,
q:before, q:after {
  content: '';
  content: none;
}

table {
  border-collapse: collapse;
  border-spacing: 0;
}

*, *:before, *:after {
  -moz-box-sizing: border-box;
  -webkit-box-sizing: border-box;
  box-sizing: border-box;
}

:root {
  color-scheme: light;
  --background: #ffffff;
  --text: #242424;
  --muted: #6b7280;
  --border: #e5e7eb;
  --accent: #2457a7;
  --code-background: #f6f8fa;
}

html {
  font-size: 100%;
  scroll-behavior: smooth;
}

body {
  min-height: 100vh;
  display: flex;
  flex-direction: column;
  background: var(--background);
  color: var(--text);
  font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji";
  font-size: 18px;
  font-weight: 400;
  line-height: 1.7;
}

main {
  flex: 1;
  padding: 3.5rem 0 5rem;
}

.container {
  width: min(100% - 2.5rem, 920px);
  margin: 0 auto;
}

.skip-link {
  position: absolute;
  top: -4rem;
  left: 1rem;
  z-index: 10;
  padding: .5rem .75rem;
  background: var(--text);
  color: var(--background);
}

.skip-link:focus {
  top: 1rem;
}

a {
  color: var(--accent);
  text-decoration-thickness: .08em;
  text-underline-offset: .15em;
}

a:hover,
a:focus {
  color: #173d78;
}

:focus-visible {
  outline: 3px solid #f59e0b;
  outline-offset: 3px;
}

h1,
h2,
h3,
h4,
h5,
h6 {
  color: var(--text);
  font-weight: 700;
  line-height: 1.25;
  margin: 2.5rem 0 1rem;
  text-align: left;
}

h1 {
  font-size: clamp(2rem, 5vw, 3.25rem);
  letter-spacing: -.03em;
}

h2 {
  font-size: clamp(1.5rem, 3vw, 2rem);
}

h3 {
  font-size: 1.2rem;
}

p {
  margin: 1rem 0;
}

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

blockquote {
  margin: 2rem 0;
  padding: .25rem 1.25rem;
  border-left: 3px solid var(--accent);
  color: var(--muted);
  font-style: italic;
}

code {
  padding: .15em .3em;
  border-radius: 3px;
  background: var(--code-background);
  font-size: .9em;
}

pre {
  overflow-x: auto;
  margin: 1.5rem 0;
  padding: 1rem;
  border-radius: 4px;
  background: var(--code-background);
  line-height: 1.5;
}

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

table {
  display: block;
  max-width: 100%;
  overflow-x: auto;
  margin: 1.5rem 0;
  border-collapse: collapse;
  white-space: nowrap;
}

th,
td {
  padding: .6rem .75rem;
  border: 1px solid var(--border);
  text-align: left;
}

th {
  background: var(--code-background);
  font-weight: 700;
}

figure {
  margin: 2rem 0;
}

figcaption {
  margin-top: .5rem;
  color: var(--muted);
  font-size: .9rem;
  text-align: center;
}

ul,
ol {
  margin: 1rem 0;
  padding-left: 1.5rem;
}

.entry ul {
  list-style: disc;
}

.entry ol,
.toc ol {
  list-style: decimal;
}

li + li {
  margin-top: .35rem;
}

.site-header {
  border-bottom: 1px solid var(--border);
}

.site-header-inner {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 2rem;
  min-height: 5rem;
}

.site-brand {
  display: flex;
  flex-direction: column;
  color: var(--text);
  text-decoration: none;
}

.site-name {
  font-size: 1.25rem;
  font-weight: 700;
  letter-spacing: -.02em;
}

.site-description {
  max-width: 33rem;
  color: var(--muted);
  font-size: .8rem;
  line-height: 1.35;
}

.site-nav,
.footer-links,
.category-filter {
  display: flex;
  flex-wrap: wrap;
  gap: .75rem 1.25rem;
}

.site-nav {
  justify-content: flex-end;
  font-size: .9rem;
}

.site-nav a {
  color: var(--muted);
  text-decoration: none;
}

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

.site-nav a[aria-current="page"] {
  font-weight: 700;
}

.site-footer {
  border-top: 1px solid var(--border);
  color: var(--muted);
  font-size: .85rem;
}

.site-footer-inner {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
  padding: 1.5rem 0;
}

.site-footer p {
  margin: 0;
}

.home {
  max-width: 920px;
}

.home-intro {
  max-width: 740px;
  padding: 2rem 0 4rem;
}

.home-intro h1 {
  margin-top: .5rem;
  margin-bottom: 1rem;
}

.home-lede {
  color: var(--muted);
  font-size: clamp(1.1rem, 2.5vw, 1.35rem);
  line-height: 1.6;
}

.eyebrow {
  display: inline-block;
  color: var(--accent);
  font-size: .8rem;
  font-weight: 700;
  letter-spacing: .08em;
  text-transform: uppercase;
}

.home-links {
  font-size: .95rem;
  font-weight: 700;
}

.home-section,
.page-section {
  margin-top: 4rem;
}

.section-heading {
  display: flex;
  align-items: baseline;
  justify-content: space-between;
  gap: 1rem;
  border-bottom: 1px solid var(--border);
}

.section-heading h2 {
  margin: 0 0 .75rem;
}

.section-heading a {
  font-size: .9rem;
}

.post-list {
  display: grid;
  gap: 1.75rem;
}

.post-card {
  padding: 1.5rem 0;
  border-bottom: 1px solid var(--border);
}

.post-card h3 {
  margin: .35rem 0 .5rem;
}

.post-card h3 a {
  color: var(--text);
  text-decoration: none;
}

.post-card h3 a:hover,
.post-card h3 a:focus {
  color: var(--accent);
}

.post-card p {
  margin: 0;
  color: var(--muted);
}

.post-card-meta,
.post-meta,
.publication-venue,
.archive-meta {
  color: var(--muted);
  font-size: .85rem;
}

.post-card-meta {
  display: flex;
  flex-wrap: wrap;
  gap: .25rem .6rem;
  align-items: baseline;
}

.post-card-meta a {
  font-weight: 700;
  text-transform: capitalize;
}

.post-card-compact {
  padding: 1rem 0;
}

.empty-state {
  padding: 1.25rem 0;
  color: var(--muted);
}

.muted {
  color: var(--muted);
}

.page {
  max-width: 760px;
}

.page > h1 {
  margin-top: 0;
}

.page-lede {
  color: var(--muted);
  font-size: 1.15rem;
}

.page-entry > h2:first-child,
.page-section > h2:first-child {
  margin-top: 0;
}

.category-filter {
  margin: 2rem 0;
}

.category-filter a {
  padding: .35rem .65rem;
  border: 1px solid var(--border);
  border-radius: 3px;
  font-size: .9rem;
  text-decoration: none;
}

.category-filter a:hover,
.category-filter a:focus {
  border-color: var(--accent);
}

.category-summary {
  color: var(--muted);
  font-size: .9rem;
}

.category-summary a {
  white-space: nowrap;
}

.category-list,
.archive-year,
.publication-year {
  margin-top: 3rem;
}

.category-group h2,
.archive-year h2,
.publication-year h2 {
  margin-top: 0;
  padding-bottom: .5rem;
  border-bottom: 1px solid var(--border);
}

.archive-list p {
  display: flex;
  justify-content: space-between;
  gap: 1rem;
  margin: .75rem 0;
}

.publication-list {
  display: grid;
  gap: 1.5rem;
}

.publication-item {
  padding-bottom: 1.25rem;
  border-bottom: 1px solid var(--border);
}

.publication-item h3 {
  margin: 0 0 .4rem;
}

.publication-item p {
  margin: .25rem 0;
}

.publication-authors {
  color: var(--muted);
}

.publication-links {
  display: flex;
  flex-wrap: wrap;
  gap: 1rem;
  font-size: .9rem;
}

.post {
  width: min(100% - 2.5rem, 760px);
  margin: 0 auto;
}

.post-header {
  margin-bottom: 3rem;
}

.post-header h1 {
  margin: .5rem 0 1rem;
}

.post-description {
  color: var(--muted);
  font-size: 1.2rem;
  line-height: 1.6;
}

.post-meta {
  display: flex;
  flex-wrap: wrap;
  gap: .25rem .6rem;
  align-items: baseline;
}

.taxonomy {
  display: flex;
  flex-wrap: wrap;
  gap: .5rem;
  margin: 1rem 0 0;
  padding: 0;
  list-style: none;
  font-size: .85rem;
}

.taxonomy li {
  margin: 0;
}

.taxonomy a,
.taxonomy span {
  color: var(--muted);
}

.entry {
  font-size: 1.05rem;
}

.entry > :first-child {
  margin-top: 0;
}

.entry h2,
.entry h3 {
  scroll-margin-top: 1.5rem;
}

.toc {
  margin: 2rem 0 3rem;
  padding: 1rem 1.25rem;
  border: 1px solid var(--border);
  background: var(--code-background);
}

.toc-title {
  margin: 0;
  font-weight: 700;
}

.toc ol {
  margin-bottom: 0;
}

.post-navigation {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 1rem;
  margin-top: 4rem;
  padding-top: 1.5rem;
  border-top: 1px solid var(--border);
}

.post-navigation a {
  display: flex;
  flex-direction: column;
  text-decoration: none;
}

.post-navigation a:last-child {
  text-align: right;
}

.post-navigation span {
  color: var(--muted);
  font-size: .8rem;
  text-transform: uppercase;
}

.related-posts {
  margin-top: 4rem;
}

.related-posts h2 {
  font-size: 1.4rem;
}

#search-container label {
  display: block;
  margin-bottom: .5rem;
  font-weight: 700;
}

#search-input {
  width: 100%;
  padding: .75rem 1rem;
  border: 1px solid var(--border);
  border-radius: 3px;
  background: var(--background);
  color: var(--text);
  font: inherit;
}

#search-status {
  font-size: .9rem;
}

#results-container {
  margin: 2rem 0 0;
  padding: 0;
  list-style: none;
}

.search-result {
  padding: 1rem 0;
  border-bottom: 1px solid var(--border);
}

.search-result a {
  display: block;
  text-decoration: none;
}

.search-result strong {
  display: block;
  color: var(--text);
  font-size: 1.1rem;
}

.search-result span,
.search-result p {
  display: block;
  margin: .25rem 0 0;
  color: var(--muted);
  font-size: .9rem;
}

@media screen and (max-width: 700px) {
  body {
    font-size: 17px;
  }

  main {
    padding-top: 2rem;
  }

  .container,
  .post {
    width: min(100% - 2rem, 760px);
  }

  .site-header-inner,
  .site-footer-inner {
    align-items: flex-start;
    flex-direction: column;
    gap: .75rem;
    padding: 1rem 0;
  }

  .site-nav {
    justify-content: flex-start;
    gap: .5rem 1rem;
  }

  .home-intro {
    padding-top: 1rem;
  }

  .archive-list p {
    display: block;
  }

  .archive-meta {
    display: block;
    margin-top: .15rem;
  }

  .post-navigation {
    grid-template-columns: 1fr;
  }

  .post-navigation a:last-child {
    text-align: left;
  }
}
@media (prefers-reduced-motion: reduce) {
  html {
    scroll-behavior: auto;
  }
}
.highlight {
  background-color: #1e1c3f;
  padding: 7px 7px 7px 10px;
  overflow: auto;
  font-size: 95%;
}

code {
  font-family: 'Bitstream Vera Sans Mono','Courier', monospace;
  color: #d8d8d8;
}

.highlighter-rouge {
  background-color: #FAFAFA;
  color: #FF554A;
  font-size: 16px;
}

.highlight .hll {
  background-color: #f1fa8c;
}

.highlight {
  background: #282a36;
  color: #f8f8f2;
}

.highlight .c {
  color: #6272a4;
}

/* Comment */
.highlight .err {
  color: #f8f8f2;
}

/* Error */
.highlight .g {
  color: #f8f8f2;
}

/* Generic */
.highlight .k {
  color: #ff79c6;
}

/* Keyword */
.highlight .l {
  color: #f8f8f2;
}

/* Literal */
.highlight .n {
  color: #f8f8f2;
}

/* Name */
.highlight .o {
  color: #ff79c6;
}

/* Operator */
.highlight .x {
  color: #f8f8f2;
}

/* Other */
.highlight .p {
  color: #f8f8f2;
}

/* Punctuation */
.highlight .ch {
  color: #6272a4;
}

/* Comment.Hashbang */
.highlight .cm {
  color: #6272a4;
}

/* Comment.Multiline */
.highlight .cp {
  color: #ff79c6;
}

/* Comment.Preproc */
.highlight .cpf {
  color: #6272a4;
}

/* Comment.PreprocFile */
.highlight .c1 {
  color: #6272a4;
}

/* Comment.Single */
.highlight .cs {
  color: #6272a4;
}

/* Comment.Special */
.highlight .gd {
  color: #8b080b;
}

/* Generic.Deleted */
.highlight .ge {
  color: #f8f8f2;
  text-decoration: underline;
}

/* Generic.Emph */
.highlight .gr {
  color: #f8f8f2;
}

/* Generic.Error */
.highlight .gh {
  color: #f8f8f2;
  font-weight: bold;
}

/* Generic.Heading */
.highlight .gi {
  color: #f8f8f2;
  font-weight: bold;
}

/* Generic.Inserted */
.highlight .go {
  color: #44475a;
}

/* Generic.Output */
.highlight .gp {
  color: #f8f8f2;
}

/* Generic.Prompt */
.highlight .gs {
  color: #f8f8f2;
}

/* Generic.Strong */
.highlight .gu {
  color: #f8f8f2;
  font-weight: bold;
}

/* Generic.Subheading */
.highlight .gt {
  color: #f8f8f2;
}

/* Generic.Traceback */
.highlight .kc {
  color: #ff79c6;
}

/* Keyword.Constant */
.highlight .kd {
  color: #8be9fd;
  font-style: italic;
}

/* Keyword.Declaration */
.highlight .kn {
  color: #ff79c6;
}

/* Keyword.Namespace */
.highlight .kp {
  color: #ff79c6;
}

/* Keyword.Pseudo */
.highlight .kr {
  color: #ff79c6;
}

/* Keyword.Reserved */
.highlight .kt {
  color: #8be9fd;
}

/* Keyword.Type */
.highlight .ld {
  color: #f8f8f2;
}

/* Literal.Date */
.highlight .m {
  color: #bd93f9;
}

/* Literal.Number */
.highlight .s {
  color: #f1fa8c;
}

/* Literal.String */
.highlight .na {
  color: #50fa7b;
}

/* Name.Attribute */
.highlight .nb {
  color: #8be9fd;
  font-style: italic;
}

/* Name.Builtin */
.highlight .nc {
  color: #50fa7b;
}

/* Name.Class */
.highlight .no {
  color: #f8f8f2;
}

/* Name.Constant */
.highlight .nd {
  color: #f8f8f2;
}

/* Name.Decorator */
.highlight .ni {
  color: #f8f8f2;
}

/* Name.Entity */
.highlight .ne {
  color: #f8f8f2;
}

/* Name.Exception */
.highlight .nf {
  color: #50fa7b;
}

/* Name.Function */
.highlight .nl {
  color: #8be9fd;
  font-style: italic;
}

/* Name.Label */
.highlight .nn {
  color: #f8f8f2;
}

/* Name.Namespace */
.highlight .nx {
  color: #f8f8f2;
}

/* Name.Other */
.highlight .py {
  color: #f8f8f2;
}

/* Name.Property */
.highlight .nt {
  color: #ff79c6;
}

/* Name.Tag */
.highlight .nv {
  color: #8be9fd;
  font-style: italic;
}

/* Name.Variable */
.highlight .ow {
  color: #ff79c6;
}

/* Operator.Word */
.highlight .w {
  color: #f8f8f2;
}

/* Text.Whitespace */
.highlight .mb {
  color: #bd93f9;
}

/* Literal.Number.Bin */
.highlight .mf {
  color: #bd93f9;
}

/* Literal.Number.Float */
.highlight .mh {
  color: #bd93f9;
}

/* Literal.Number.Hex */
.highlight .mi {
  color: #bd93f9;
}

/* Literal.Number.Integer */
.highlight .mo {
  color: #bd93f9;
}

/* Literal.Number.Oct */
.highlight .sa {
  color: #f1fa8c;
}

/* Literal.String.Affix */
.highlight .sb {
  color: #f1fa8c;
}

/* Literal.String.Backtick */
.highlight .sc {
  color: #f1fa8c;
}

/* Literal.String.Char */
.highlight .dl {
  color: #f1fa8c;
}

/* Literal.String.Delimiter */
.highlight .sd {
  color: #f1fa8c;
}

/* Literal.String.Doc */
.highlight .s2 {
  color: #f1fa8c;
}

/* Literal.String.Double */
.highlight .se {
  color: #f1fa8c;
}

/* Literal.String.Escape */
.highlight .sh {
  color: #f1fa8c;
}

/* Literal.String.Heredoc */
.highlight .si {
  color: #f1fa8c;
}

/* Literal.String.Interpol */
.highlight .sx {
  color: #f1fa8c;
}

/* Literal.String.Other */
.highlight .sr {
  color: #f1fa8c;
}

/* Literal.String.Regex */
.highlight .s1 {
  color: #f1fa8c;
}

/* Literal.String.Single */
.highlight .ss {
  color: #f1fa8c;
}

/* Literal.String.Symbol */
.highlight .bp {
  color: #f8f8f2;
  font-style: italic;
}

/* Name.Builtin.Pseudo */
.highlight .fm {
  color: #50fa7b;
}

/* Name.Function.Magic */
.highlight .vc {
  color: #8be9fd;
  font-style: italic;
}

/* Name.Variable.Class */
.highlight .vg {
  color: #8be9fd;
  font-style: italic;
}

/* Name.Variable.Global */
.highlight .vi {
  color: #8be9fd;
  font-style: italic;
}

/* Name.Variable.Instance */
.highlight .vm {
  color: #8be9fd;
  font-style: italic;
}

/* Name.Variable.Magic */
.highlight .il {
  color: #bd93f9;
}

/* Literal.Number.Integer.Long */