@charset "UTF-8";
@font-face {
  font-family: "Muli";
  font-style: normal;
  font-weight: 200;
  font-display: swap;
  src: url("/_assets/69c81ad18a74a155cd49f3b324a84864d858ff732ef068a4e7e1c866b67ec537/fonts/muli-latin-normal.woff2") format("woff2");
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0300-036F, U+2000-206F, U+2074, U+20AC, U+2122, U+2190-2199, U+2212, U+2215, U+2264-2265, U+FEFF, U+FFFD;
}
@font-face {
  font-family: "Muli";
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("/_assets/69c81ad18a74a155cd49f3b324a84864d858ff732ef068a4e7e1c866b67ec537/fonts/muli-latin-normal.woff2") format("woff2");
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0300-036F, U+2000-206F, U+2074, U+20AC, U+2122, U+2190-2199, U+2212, U+2215, U+2264-2265, U+FEFF, U+FFFD;
}
@font-face {
  font-family: "Muli";
  font-style: normal;
  font-weight: 700;
  font-display: swap;
  src: url("/_assets/69c81ad18a74a155cd49f3b324a84864d858ff732ef068a4e7e1c866b67ec537/fonts/muli-latin-normal.woff2") format("woff2");
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0300-036F, U+2000-206F, U+2074, U+20AC, U+2122, U+2190-2199, U+2212, U+2215, U+2264-2265, U+FEFF, U+FFFD;
}
@font-face {
  font-family: "Muli";
  font-style: italic;
  font-weight: 200;
  font-display: swap;
  src: url("/_assets/40e7d269ed108fedd25ff0f857f421b19552b72e145abaabaf52a56f525f8cdd/fonts/muli-latin-italic.woff2") format("woff2");
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0300-036F, U+2000-206F, U+2074, U+20AC, U+2122, U+2190-2199, U+2212, U+2215, U+2264-2265, U+FEFF, U+FFFD;
}
@font-face {
  font-family: "Muli";
  font-style: italic;
  font-weight: 400;
  font-display: swap;
  src: url("/_assets/40e7d269ed108fedd25ff0f857f421b19552b72e145abaabaf52a56f525f8cdd/fonts/muli-latin-italic.woff2") format("woff2");
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0300-036F, U+2000-206F, U+2074, U+20AC, U+2122, U+2190-2199, U+2212, U+2215, U+2264-2265, U+FEFF, U+FFFD;
}
@font-face {
  font-family: "Muli";
  font-style: italic;
  font-weight: 700;
  font-display: swap;
  src: url("/_assets/40e7d269ed108fedd25ff0f857f421b19552b72e145abaabaf52a56f525f8cdd/fonts/muli-latin-italic.woff2") format("woff2");
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0300-036F, U+2000-206F, U+2074, U+20AC, U+2122, U+2190-2199, U+2212, U+2215, U+2264-2265, U+FEFF, U+FFFD;
}
body {
  font-size: 1.2rem;
  line-height: 1.7rem;
  font-family: "Muli", sans-serif;
  -webkit-font-smoothing: antialiased;
  color: var(--mh-color-text);
  margin: 0px;
}

h1,
h2 {
  color: var(--mh-color-text);
}

h1 {
  font-weight: 700;
  font-style: normal;
  font-size: 2.3em;
  margin-left: -3px;
  line-height: 1;
  letter-spacing: -0.04em;
  margin-top: 40px;
  padding-top: 0;
  margin-bottom: 8px;
  text-align: center;
}

h2 {
  letter-spacing: -0.02em;
  font-weight: 300;
  font-style: normal;
  font-size: 2em;
  margin-left: -1.5px;
  line-height: 1.2;
  margin-top: 40px;
  margin-bottom: 2px;
}

a {
  color: var(--link-color);
  transition: color 0.1s linear;
}

em {
  font-style: italic;
  text-align: center;
}

hr {
  border-color: var(--background);
  width: 25%;
  margin-top: 3rem;
  margin-bottom: 3rem;
  border-style: solid;
}

table {
  width: 100%;
  font-size: 16px;
}

#text-table-of-contents a {
  font-size: 18px;
}

blockquote {
  background: var(--color-panel);
  border-left: 10px solid var(--color-panel-border);
  margin: 1.5em 0px;
  padding: 1em 20px;
  quotes: "“" "”" "‘" "’";
}
blockquote:before {
  color: var(--background);
  content: open-quote;
  font-size: 4em;
  line-height: 0.1em;
  vertical-align: -0.4em;
}
blockquote:after {
  visibility: hidden;
  content: close-quote;
  font-size: 0em;
  line-height: 0;
}
blockquote p {
  font-size: 0.9em;
  line-height: 1.3em;
  display: inline;
}

/**
 * Syntax highlighting styles
 */
.highlight {
  background: var(--color-code);
}
.highlight .c {
  color: #998;
  font-style: italic;
}
.highlight .err {
  color: #a61717;
  background-color: #e3d2d2;
}
.highlight .k {
  font-weight: bold;
}
.highlight .o {
  font-weight: bold;
}
.highlight .cm {
  color: #998;
  font-style: italic;
}
.highlight .cp {
  color: #999;
  font-weight: bold;
}
.highlight .c1 {
  color: #998;
  font-style: italic;
}
.highlight .cs {
  color: #999;
  font-weight: bold;
  font-style: italic;
}
.highlight .gd {
  color: #000;
  background-color: #fdd;
}
.highlight .gd .x {
  color: #000;
  background-color: #faa;
}
.highlight .ge {
  font-style: italic;
}
.highlight .gr {
  color: #a00;
}
.highlight .gh {
  color: #999;
}
.highlight .gi {
  color: #000;
  background-color: #dfd;
}
.highlight .gi .x {
  color: #000;
  background-color: #afa;
}
.highlight .go {
  color: #888;
}
.highlight .gp {
  color: #555;
}
.highlight .gs {
  font-weight: bold;
}
.highlight .gu {
  color: #aaa;
}
.highlight .gt {
  color: #a00;
}
.highlight .kc {
  font-weight: bold;
}
.highlight .kd {
  font-weight: bold;
}
.highlight .kp {
  font-weight: bold;
}
.highlight .kr {
  font-weight: bold;
}
.highlight .kt {
  color: #458;
  font-weight: bold;
}
.highlight .m {
  color: #099;
}
.highlight .s {
  color: #d14;
}
.highlight .na {
  color: #008080;
}
.highlight .nb {
  color: #0086B3;
}
.highlight .nc {
  color: #458;
  font-weight: bold;
}
.highlight .no {
  color: #008080;
}
.highlight .ni {
  color: #800080;
}
.highlight .ne {
  color: #900;
  font-weight: bold;
}
.highlight .nf {
  color: #900;
  font-weight: bold;
}
.highlight .nn {
  color: #555;
}
.highlight .nt {
  color: #000080;
}
.highlight .nv {
  color: #008080;
}
.highlight .ow {
  font-weight: bold;
}
.highlight .w {
  color: #bbb;
}
.highlight .mf {
  color: #099;
}
.highlight .mh {
  color: #099;
}
.highlight .mi {
  color: #099;
}
.highlight .mo {
  color: #099;
}
.highlight .sb {
  color: #d14;
}
.highlight .sc {
  color: #d14;
}
.highlight .sd {
  color: #d14;
}
.highlight .s2 {
  color: #d14;
}
.highlight .se {
  color: #d14;
}
.highlight .sh {
  color: #d14;
}
.highlight .si {
  color: #d14;
}
.highlight .sx {
  color: #d14;
}
.highlight .sr {
  color: #009926;
}
.highlight .s1 {
  color: #d14;
}
.highlight .ss {
  color: #990073;
}
.highlight .bp {
  color: #999;
}
.highlight .vc {
  color: #008080;
}
.highlight .vg {
  color: #008080;
}
.highlight .vi {
  color: #008080;
}
.highlight .il {
  color: #099;
}

:root {
  color-scheme: light;
  --mh-color-surface: #fff;
  --mh-color-text: rgba(46, 48, 58, 0.96);
  --mh-color-border: #e0dedd;
  --mh-color-accent: #ad141e;
  --mh-color-accent-subtle: #f8e5e7;
  --mh-color-on-accent-subtle: #ad141e;
  --color-muted: rgba(46, 48, 58, 0.6);
  --color-panel: #f9f9f9;
  --color-panel-border: #ccc;
  --color-code: rgba(0, 0, 0, 0.05);
  --color-code-output: rgba(191, 239, 206, 0.5);
}

body {
  background-color: var(--mh-color-surface);
  --background: #edeceb;
  --foreground: #000;
  --link-color: var(--mh-color-accent);
}

.container.purple {
  --background: #54226d;
  --foreground: #eac0e7;
  --link-color: #54226d;
}

.container.brownish {
  --background: #d57b4c;
  --foreground: #5f0303;
  --link-color: #d57b4c;
}

.container.blueish {
  --background: #151d84;
  --foreground: #d671ec;
  --link-color: #151d84;
}

.container.yellowgreen {
  --background: #266922;
  --foreground: #fde32b;
  --link-color: #266922;
}

.container.pinkred {
  --background: #d45252;
  --foreground: #f7d2e2;
  --link-color: #d45252;
}

.container.orangepink {
  --background: #ffa801;
  --foreground: #d83fd2;
  --link-color: #ffa801;
}

.container.yellowblue {
  --background: #fde32b;
  --foreground: #000;
  --link-color: #000;
}

.appetizer {
  font-style: italic;
  font-size: 1.2em;
  line-height: 1.3em;
  font-weight: 200;
  color: var(--color-muted);
}

/*****************************/
/* Scroll progress indicator */
/*****************************/
.scroll-indicator-container {
  color: var(--background);
  height: 10px;
  position: fixed;
  width: 100%;
  top: 0px;
  left: 0px;
}
.scroll-indicator-container .scroll-indicator-progress {
  height: 100%;
}

/*************/
/* container */
/*************/
.container {
  width: 45%;
  max-width: 768px;
  margin: 10px auto 0px auto;
}

.site-footer {
  --mh-footer-width: 100%;
  --mh-footer-gutter: 0px;
}

.back-to-blog {
  display: inline-flex;
  align-items: center;
  min-height: 44px;
  margin: 12px 0 8px;
  color: var(--mh-color-text);
  font: 14px/1.5 system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  text-underline-offset: 4px;
}

.back-to-blog:focus-visible {
  outline: 2px solid var(--mh-color-accent);
  outline-offset: 4px;
}

.post {
  overflow-wrap: anywhere;
}

.responsive-image {
  width: 100%;
  max-width: 100%;
  height: auto;
}

@media (max-width: 1440px) {
  .container {
    width: 60%;
  }
}
@media (max-width: 1024px) {
  .container {
    width: 80%;
  }
}
/* Landing page */
.featured {
  background: var(--color-panel);
  border: 2px solid var(--color-panel-border);
  margin: 1.5em 0;
  padding: 1em 20px;
  font-size: 0.9em;
  line-height: 1.3em;
}

.featured h2 {
  font-size: 1em;
  margin-top: 0;
}

/***********/
/* Content */
/***********/
.title {
  margin: 1em 0 2em 0;
  padding: 2em;
  background-color: var(--background);
  color: var(--foreground);
}
.title h1 {
  color: var(--foreground);
  text-align: center;
  margin: 0px;
  font-size: 5rem;
  padding-bottom: 0.2em;
  line-height: 5.5rem;
}
.title h2 {
  color: var(--foreground);
}
.title a {
  color: var(--foreground);
}
.title section {
  text-align: center;
}
@media (max-width: 1024px) {
  .title h1 {
    font-size: 2rem;
    line-height: 2.5rem;
  }
}

.sidenote {
  background: var(--color-panel);
  border-left: 10px solid var(--color-panel-border);
  margin: 1.5em 0px;
  padding: 1em 20px;
  font-size: 0.9em;
  line-height: 1.3em;
}
.sidenote:before {
  display: block;
  margin: 0 0 1em 0;
  color: var(--color-muted);
  font-weight: 700;
  content: "sidenote   ";
}
.sidenote .highlight {
  background: none;
  padding: 0;
}

.emphasis_block {
  background: var(--color-panel);
  border-left: 10px solid var(--color-panel-border);
  margin: 1.5em 0px;
  padding: 1em 20px;
  font-size: 0.9em;
  line-height: 1.3em;
}

.notice {
  background: var(--background);
  color: var(--foreground);
  padding: 5px 10px;
}

.note-box {
  background: var(--color-panel);
  border: 2px solid var(--color-panel-border);
  margin: 1.5em 0px;
  padding: 1em 20px;
  font-size: 0.9em;
  line-height: 1.3em;
}

/***************************/
/* Front page / Collections*/
/***************************/
#home {
  margin-top: 40px;
}

.blog-title {
  margin: 0 0 32px;
  font: 700 32px/1.2 system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  letter-spacing: -0.04em;
  text-align: left;
}

@media (max-width: 480px) {
  #home {
    margin-top: 32px;
  }
}
.posts h2 {
  font-weight: bold;
  margin-bottom: 10px;
}

.posts ul {
  list-style: none;
  margin: 0px;
  padding: 0px;
}

.posts li {
  display: flex;
  justify-content: space-between;
  margin: 5px 0px;
}

.posts .date {
  font-style: italic;
  font-size: 14px;
}

pre.highlight {
  text-align: left;
  overflow: auto;
  margin-bottom: 0.7em;
  font-family: Monaco, "Courier New", "Courier", monospace;
  font-size: 1em;
  line-height: 1.1em;
  padding: 1em;
  white-space: pre-wrap;
  margin-left: 0px;
  margin-right: 0px;
  box-shadow: none;
}

.highlighter-rouge + .highlighter-rouge pre {
  margin-top: -0.5em;
  background: var(--color-code-output);
  margin-bottom: 20px;
}

.footnotes {
  border-color: var(--background);
  font-size: 0.9rem;
  border-top: 2px dotted;
  padding-top: 1rem;
}
.footnotes ol {
  margin: 0 0 0 20px;
  padding: 0;
}
.footnotes ol p {
  margin: 0;
}

/****************/
/* Book reviews */
/****************/
.book_review .title h2 {
  text-align: center;
  margin-top: 0px;
}
.book_review .review_of {
  display: block;
  font-style: italic;
  font-weight: normal;
  font-size: 3rem;
  line-height: 3rem;
}

@media screen and (prefers-color-scheme: dark) {
  :root {
    color-scheme: dark;
    --mh-color-surface: #191b20;
    --mh-color-text: #e4e4e7;
    --mh-color-muted: #b1b3bd;
    --mh-color-border: #42454f;
    --mh-color-accent: #ff929c;
    --mh-color-accent-subtle: #45252d;
    --mh-color-on-accent-subtle: #ffadb4;
    --color-muted: #b1b3bd;
    --color-panel: #24272e;
    --color-panel-border: #555966;
    --color-code: #24272e;
    --color-code-output: #243b30;
  }
  body {
    --background: #30333c;
    --foreground: #e4e4e7;
  }
  .container[class] {
    --link-color: var(--mh-color-accent);
  }
  .highlight .c, .highlight .cm, .highlight .cp, .highlight .c1, .highlight .cs, .highlight .gh, .highlight .go, .highlight .gp, .highlight .gu, .highlight .nn, .highlight .bp, .highlight .w {
    color: #b1b3bd;
  }
  .highlight .err, .highlight .gr, .highlight .gt, .highlight .ne, .highlight .nf {
    color: #ff929c;
  }
  .highlight .err, .highlight .gd, .highlight .gd .x {
    color: #ffb4bb;
    background-color: #522b34;
  }
  .highlight .gi, .highlight .gi .x {
    color: #b0e4bf;
    background-color: #284333;
  }
  .highlight .kt, .highlight .nc, .highlight .nb, .highlight .nt {
    color: #9fcfff;
  }
  .highlight .m, .highlight .mf, .highlight .mh, .highlight .mi, .highlight .mo, .highlight .il, .highlight .na, .highlight .no, .highlight .nv, .highlight .vc, .highlight .vg, .highlight .vi {
    color: #83d9d0;
  }
  .highlight .s, .highlight .sb, .highlight .sc, .highlight .sd, .highlight .s2, .highlight .se, .highlight .sh, .highlight .si, .highlight .sx, .highlight .s1 {
    color: #ffadb4;
  }
  .highlight .ni, .highlight .ss {
    color: #dfb1f4;
  }
  .highlight .sr {
    color: #b0e4bf;
  }
}
@media print {
  body {
    font-size: 0.7rem;
    line-height: 1rem;
  }
  h2 {
    font-size: 1rem;
    margin-top: 1em;
  }
  .container {
    width: 90%;
  }
  .site-footer, .back-to-blog {
    display: none;
  }
}