@charset "UTF-8";
/*****************************************************************************/
/*
/* modern.css — the sticker-book layout.
/*
/* Loaded ONLY by _layouts/modern.html and _layouts/modern-home.html, i.e. by
/* the homepage, About, Work, Talks, Notes and Categories.
/*
/* The 26 dated posts at /:year/:month/:day/:title continue to load css/tufte.css
/* through the untouched _layouts/post.html. Their HTML is byte-identical to
/* before this stylesheet existed.
/*
/*****************************************************************************/
@font-face {
  font-family: 'Space Grotesk';
  src: url("../fonts/space-grotesk/space-grotesk-var.woff2") format("woff2");
  font-weight: 300 700;
  font-style: normal;
  font-display: swap; }
@font-face {
  font-family: ETbook;
  src: url("../fonts/et-book/et-book-roman-line-figures/et-book-roman-line-figures.woff") format("woff"), url("../fonts/et-book/et-book-roman-line-figures/et-book-roman-line-figures.ttf") format("truetype");
  font-weight: normal;
  font-style: normal;
  font-display: swap; }
@font-face {
  font-family: ETbook;
  src: url("../fonts/et-book/et-book-display-italic-old-style-figures/et-book-display-italic-old-style-figures.woff") format("woff"), url("../fonts/et-book/et-book-display-italic-old-style-figures/et-book-display-italic-old-style-figures.ttf") format("truetype");
  font-weight: normal;
  font-style: italic;
  font-display: swap; }
@font-face {
  font-family: ETbook;
  src: url("../fonts/et-book/et-book-bold-line-figures/et-book-bold-line-figures.woff") format("woff"), url("../fonts/et-book/et-book-bold-line-figures/et-book-bold-line-figures.ttf") format("truetype");
  font-weight: bold;
  font-style: normal;
  font-display: swap; }
@font-face {
  font-family: 'icomoon';
  src: url("../fonts/icomoon.woff?rgwlb8") format("woff"), url("../fonts/icomoon.ttf?rgwlb8") format("truetype");
  font-weight: normal;
  font-style: normal;
  font-display: block; }
:root {
  color-scheme: light;
  --bg: #fffff8;
  --surface: #ffffff;
  --surface-2: #f7f5e8;
  --ink: #111111;
  --ink-muted: #5b5750;
  --hairline: #ddd9c9;
  --hairline-strong: #b9b4a2;
  --accent: #a00000;
  --on-accent: #ffffff;
  --focus: #0b4fd0;
  --radius: 6px;
  --border-w: 1px; }

:root[data-theme="dark"] {
  color-scheme: dark;
  --bg: #131311;
  --surface: #1a1a17;
  --surface-2: #24241f;
  --ink: #f2efe3;
  --ink-muted: #a8a498;
  --hairline: #34342d;
  --hairline-strong: #4c4c42;
  --accent: #ff9d94;
  --on-accent: #131311;
  --focus: #8fb4ff; }

@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    color-scheme: dark;
    --bg: #131311;
    --surface: #1a1a17;
    --surface-2: #24241f;
    --ink: #f2efe3;
    --ink-muted: #a8a498;
    --hairline: #34342d;
    --hairline-strong: #4c4c42;
    --accent: #ff9d94;
    --on-accent: #131311;
    --focus: #8fb4ff; } }
*, *::before, *::after {
  box-sizing: border-box; }

* {
  margin: 0;
  padding: 0; }

[hidden] {
  display: none !important; }

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

@media (prefers-reduced-motion: reduce) {
  html {
    scroll-behavior: auto; } }
body {
  background: var(--bg);
  color: var(--ink);
  font-family: ETbook, Palatino, "Palatino Linotype", "Book Antiqua", Georgia, serif;
  font-size: 1.125rem;
  line-height: 1.62;
  -webkit-font-smoothing: antialiased;
  -moz-osx-font-smoothing: grayscale;
  overflow-x: hidden; }

:focus {
  outline: none; }

:focus-visible {
  outline: 3px solid var(--focus);
  outline-offset: 2px;
  border-radius: 3px; }

main:focus, main:focus-visible {
  outline: none; }

h1, h2, h3, h4, .display {
  font-family: 'Space Grotesk', "Helvetica Neue", Arial, sans-serif;
  font-weight: 700;
  line-height: 1.1;
  letter-spacing: -0.02em;
  color: var(--ink); }

h1 {
  font-size: clamp(2rem, 4.4vw, 2.85rem);
  margin: 0 0 1rem; }

h2 {
  font-size: clamp(1.5rem, 2.9vw, 1.95rem);
  margin: 2.4rem 0 0.9rem; }

h3 {
  font-size: clamp(1.2rem, 2.1vw, 1.4rem);
  margin: 1.8rem 0 0.6rem; }

h4 {
  font-size: 1.08rem;
  margin: 1.4rem 0 0.5rem; }

p {
  margin: 0 0 1.05rem; }

strong, b {
  font-weight: 700; }

.subtitle:empty {
  display: none; }

.subtitle {
  font-family: 'Space Grotesk', sans-serif;
  font-size: 0.9rem;
  color: var(--ink-muted);
  margin: -0.4rem 0 1.4rem; }

a {
  color: var(--accent);
  text-decoration: none;
  border-bottom: 1.5px solid var(--hairline);
  transition: border-color 120ms ease, color 120ms ease; }

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

h1 a, h2 a, h3 a, h4 a {
  border-bottom: none;
  color: inherit; }

ul, ol {
  margin: 0 0 1.05rem;
  padding-left: 1.35rem; }

li {
  margin: 0.3rem 0; }

li > ul, li > ol {
  margin: 0.3rem 0; }

ul#markdown-toc {
  background: var(--surface-2);
  border: 1.5px solid var(--hairline);
  border-radius: var(--radius);
  padding: 0.9rem 0.9rem 0.9rem 2rem;
  font-family: 'Space Grotesk', sans-serif;
  font-size: 0.95rem; }

hr, hr.slender {
  border: none;
  height: 2px;
  background: var(--hairline);
  background-image: none;
  margin: 2rem 0; }

blockquote {
  margin: 1.4rem 0;
  padding: 0.9rem 1.15rem;
  background: transparent;
  border: none;
  border-left: 2px solid var(--hairline-strong);
  border-radius: 0;
  color: var(--ink); }

blockquote p {
  width: auto;
  margin-bottom: 0.6rem; }

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

blockquote footer {
  width: auto;
  text-align: right;
  font-size: 0.9rem;
  color: var(--ink-muted); }

code, pre, kbd, samp {
  font-family: ui-monospace, SFMono-Regular, "SF Mono", Menlo, Consolas, "Liberation Mono", monospace; }

:not(pre) > code {
  background: var(--surface-2);
  border: 1px solid var(--hairline);
  border-radius: 5px;
  padding: 0.1em 0.35em;
  font-size: 0.86em;
  color: var(--ink); }

div.highlighter-rouge, figure.highlight {
  margin: 1.4rem 0;
  background: var(--surface-2);
  border: 1px solid var(--hairline);
  border-radius: var(--radius);
  overflow: hidden; }

div.highlighter-rouge pre, figure.highlight pre, pre.highlight {
  width: auto;
  overflow-x: auto;
  padding: 0.95rem 1.1rem;
  margin: 0;
  font-size: 0.86rem;
  line-height: 1.5; }

div.highlighter-rouge pre code, pre.highlight code {
  background: none;
  border: none;
  padding: 0;
  font-size: inherit; }

.table-wrapper {
  overflow-x: auto; }

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

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

th {
  font-family: 'Space Grotesk', sans-serif;
  border-bottom: 1px solid var(--hairline-strong); }

caption, .table-caption {
  float: none;
  width: auto;
  max-width: none;
  margin: 0 0 0.5rem;
  font-size: 0.9rem;
  color: var(--ink-muted);
  text-align: left; }

span.newthought {
  font-variant: small-caps;
  font-size: 1.18em;
  letter-spacing: 0.02em; }

span.sidenote, span.marginnote {
  display: inline;
  float: none;
  width: auto;
  max-width: none;
  margin: 0;
  position: relative;
  font-size: 0.92em;
  color: var(--ink-muted);
  border-bottom: 1px dotted var(--hairline); }

span.sidenote::before, span.marginnote::before {
  content: " ("; }

span.sidenote::after, span.marginnote::after {
  content: ") "; }

span.marginnote img.fullwidth {
  display: block;
  margin: 0.5rem 0; }

label.margin-toggle, input.margin-toggle {
  display: none; }

figure {
  margin: 1.6rem 0;
  max-width: 100%;
  display: block; }

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

figure.fullwidth {
  width: 100%;
  max-width: 100%; }

figcaption, figure.fullwidth figcaption {
  float: none;
  clear: both;
  width: auto;
  max-width: none;
  margin: 0.6rem 0 0;
  font-size: 0.9rem;
  line-height: 1.4;
  color: var(--ink-muted);
  text-align: left; }

figcaption:empty {
  display: none; }

.embed {
  position: relative;
  width: 100%;
  padding-bottom: 56.25%;
  height: 0;
  margin: 1.4rem 0;
  border: 1px solid var(--hairline);
  border-radius: var(--radius);
  overflow: hidden;
  background: #000; }

.embed iframe, .embed object, .embed embed {
  position: absolute;
  top: 0;
  left: 0;
  width: 100%;
  height: 100%;
  border: 0; }

iframe {
  max-width: 100%;
  border: 0; }

mjx-container {
  color: currentColor; }

mjx-container[display="true"] {
  overflow-x: auto;
  overflow-y: hidden;
  max-width: 100%;
  padding: 0.2rem 0; }

mjx-container:focus, mjx-container svg:focus {
  outline: none; }

.print-footer {
  display: none; }

@media print {
  .print-footer {
    display: block; }

  .m-nav, .m-footer, .m-filter, .m-theme-toggle {
    display: none !important; } }
@media (prefers-reduced-motion: reduce) {
  *, *::before, *::after {
    animation-duration: 0.001ms !important;
    animation-iteration-count: 1 !important;
    transition-duration: 0.001ms !important; } }
.m-wrap {
  width: 92%;
  max-width: 1120px;
  margin: 0 auto; }

.m-prose {
  width: 92%;
  max-width: 70ch;
  margin: 0 auto; }

.m-prose.m-prose--wide {
  max-width: 82ch; }

.m-visually-hidden {
  position: absolute;
  width: 1px;
  height: 1px;
  padding: 0;
  margin: -1px;
  overflow: hidden;
  clip: rect(0, 0, 0, 0);
  white-space: nowrap;
  border: 0; }

.m-home {
  max-width: 48rem;
  padding-top: 2.6rem; }

.m-skip {
  position: absolute;
  left: -9999px;
  top: 0;
  z-index: 100;
  background: var(--surface);
  color: var(--ink);
  border: 1px solid var(--ink);
  border-radius: var(--radius);
  padding: 0.7rem 1rem;
  font-family: 'Space Grotesk', sans-serif; }

.m-skip:focus {
  left: 1rem;
  top: 1rem; }

.m-nav {
  position: sticky;
  top: 0;
  z-index: 30;
  background: var(--bg);
  border-bottom: 1px solid var(--hairline); }

.m-nav__inner {
  display: flex;
  align-items: center;
  gap: 0.5rem;
  row-gap: 0.35rem;
  flex-wrap: wrap;
  padding: 0.85rem 0; }

.m-brand {
  display: inline-flex;
  align-items: center;
  gap: 0.5rem;
  border-bottom: none;
  margin-right: auto;
  color: var(--ink); }

.m-brand__cat {
  width: 24px;
  height: 24px;
  flex: none; }

.m-brand__word {
  font-family: 'Space Grotesk', sans-serif;
  font-weight: 700;
  font-size: 1.2rem;
  letter-spacing: -0.03em;
  color: var(--ink); }

.m-brand__word em {
  font-style: normal;
  color: var(--accent); }

.m-nav__links {
  display: flex;
  align-items: center;
  gap: 0.2rem;
  flex-wrap: wrap; }

.m-nav__link {
  position: relative;
  font-family: 'Space Grotesk', sans-serif;
  font-weight: 500;
  font-size: 0.78rem;
  text-transform: uppercase;
  letter-spacing: 0.08em;
  color: var(--ink-muted);
  border-bottom: none;
  padding: 0.4rem 0.7rem;
  transition: color 120ms ease; }

.m-nav__link:hover {
  color: var(--ink); }

.m-nav__link[aria-current="page"] {
  color: var(--ink); }

.m-nav__link[aria-current="page"]::after {
  content: "";
  position: absolute;
  left: 0.7rem;
  right: 0.7rem;
  bottom: 0.1rem;
  height: 2px;
  background: var(--accent); }

.m-theme-toggle {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  width: 34px;
  height: 34px;
  background: transparent;
  color: var(--ink-muted);
  border: 1px solid var(--hairline);
  border-radius: 999px;
  cursor: pointer;
  transition: color 120ms ease, border-color 120ms ease; }

.m-theme-toggle:hover {
  color: var(--ink);
  border-color: var(--hairline-strong); }

.m-theme-toggle svg {
  width: 16px;
  height: 16px;
  fill: none;
  stroke: currentColor;
  stroke-width: 2; }

.m-theme-toggle .m-icon--moon {
  display: block; }

.m-theme-toggle .m-icon--sun {
  display: none; }

:root[data-theme="dark"] .m-theme-toggle .m-icon--moon {
  display: none; }

:root[data-theme="dark"] .m-theme-toggle .m-icon--sun {
  display: block; }

@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) .m-theme-toggle .m-icon--moon {
    display: none; }

  :root:not([data-theme="light"]) .m-theme-toggle .m-icon--sun {
    display: block; } }
.m-cat-img {
  display: block; }

:root[data-theme="dark"] .m-cat-img {
  filter: invert(1); }

@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) .m-cat-img {
    filter: invert(1); } }
.m-section-head {
  display: flex;
  align-items: baseline;
  justify-content: space-between;
  gap: 0.8rem;
  padding-bottom: 0.7rem;
  margin: 1.5rem 0 1.2rem;
  border-bottom: 1px solid var(--hairline); }

.m-section-head h2, .m-section-head h1 {
  margin: 0;
  font-size: 0.8rem;
  font-weight: 500;
  letter-spacing: 0.14em;
  text-transform: uppercase;
  color: var(--ink); }

.m-count {
  font-family: 'Space Grotesk', sans-serif;
  font-size: 0.78rem;
  letter-spacing: 0.04em;
  color: var(--ink-muted); }

.m-filter {
  display: flex;
  flex-wrap: wrap;
  gap: 0.4rem;
  margin: 0 0 2.4rem;
  padding: 0;
  list-style: none; }

.m-pill {
  font-family: 'Space Grotesk', sans-serif;
  font-weight: 500;
  font-size: 0.75rem;
  text-transform: uppercase;
  letter-spacing: 0.07em;
  color: var(--ink-muted);
  background: transparent;
  border: 1px solid var(--hairline);
  border-radius: 999px;
  padding: 0.38em 0.8em;
  cursor: pointer;
  transition: color 120ms ease, border-color 120ms ease, background-color 120ms ease; }

.m-pill:hover {
  color: var(--ink);
  border-color: var(--hairline-strong); }

.m-pill[aria-pressed="true"] {
  background: var(--ink);
  border-color: var(--ink);
  color: var(--bg); }

.m-pill__n {
  opacity: 0.6;
  margin-left: 0.35em; }

.m-grid {
  display: grid;
  grid-template-columns: 1fr;
  align-items: start;
  gap: 1.25rem;
  list-style: none;
  padding: 0;
  margin: 0; }

.m-year {
  grid-column-start: 1;
  grid-column-end: -1;
  display: flex;
  align-items: center;
  gap: 0.9rem;
  margin: 1.6rem 0 0.2rem; }

.m-year:first-child {
  margin-top: 0; }

.m-year__label {
  font-family: 'Space Grotesk', sans-serif;
  font-weight: 500;
  font-size: 0.75rem;
  letter-spacing: 0.14em;
  color: var(--ink-muted); }

.m-year__rule {
  flex: 1;
  height: 1px;
  background: var(--hairline); }

.m-card {
  position: relative;
  display: flex;
  flex-direction: column;
  min-width: 0;
  overflow-wrap: break-word;
  background: var(--surface);
  border: var(--border-w) solid var(--hairline);
  border-radius: var(--radius);
  padding: 1.3rem 1.35rem 1.15rem;
  cursor: pointer;
  transition: border-color 140ms ease, transform 140ms ease; }

.m-card:hover,
.m-card:focus-within {
  border-color: var(--hairline-strong);
  transform: translateY(-1px); }

.m-card__title {
  margin: 0 0 0.45rem;
  font-size: 1.22rem;
  line-height: 1.25;
  letter-spacing: -0.015em; }

.m-card__link {
  color: var(--ink);
  border-bottom: none; }

.m-card:hover .m-card__link {
  color: var(--accent); }

.m-card__meta {
  display: flex;
  align-items: baseline;
  gap: 0.55rem;
  flex-wrap: wrap;
  margin-bottom: 0.85rem;
  font-family: 'Space Grotesk', sans-serif;
  font-size: 0.72rem;
  text-transform: uppercase;
  letter-spacing: 0.08em;
  color: var(--ink-muted); }

.m-date {
  color: var(--ink-muted); }

.m-chip {
  color: var(--ink-muted); }

.m-chip::before {
  content: "· "; }

.m-card__excerpt {
  font-size: 1.02rem;
  line-height: 1.55; }

.m-card__excerpt > p:last-child {
  margin-bottom: 0; }

.m-card__excerpt iframe, .m-card__excerpt .embed {
  display: none; }

.m-card__excerpt img {
  border-radius: 4px; }

.m-card__excerpt ul#markdown-toc {
  display: none; }

.m-more {
  display: inline-block;
  align-self: flex-start;
  margin-top: 0.9rem;
  font-family: 'Space Grotesk', sans-serif;
  font-size: 0.72rem;
  text-transform: uppercase;
  letter-spacing: 0.09em;
  color: var(--ink-muted);
  border-bottom: none; }

.m-card:hover .m-more {
  color: var(--accent); }

.m-empty {
  display: none;
  padding: 3.5rem 0;
  border-top: 1px solid var(--hairline);
  color: var(--ink-muted); }

.m-empty p {
  font-family: 'Space Grotesk', sans-serif;
  font-size: 0.9rem; }

.m-grid[data-empty="true"] + .m-empty {
  display: block; }

.m-pagination {
  display: flex;
  gap: 0.4rem;
  justify-content: center;
  align-items: center;
  margin: 2.5rem 0 0;
  font-family: 'Space Grotesk', sans-serif;
  font-size: 0.8rem; }

.m-pagination a, .m-pagination em, .m-pagination span {
  border: 1px solid var(--hairline);
  border-radius: var(--radius);
  padding: 0.35em 0.7em;
  font-style: normal; }

.m-pagination a {
  color: var(--ink); }

.m-pagination em {
  background: var(--ink);
  color: var(--bg);
  border-color: var(--ink); }

.m-pagination span {
  color: var(--ink-muted); }

.m-page-head {
  padding: 3.4rem 0 1.4rem; }

.m-page-head h1 {
  font-size: clamp(2rem, 5vw, 2.9rem);
  letter-spacing: -0.035em; }

.m-panel {
  background: var(--surface);
  border: 1px solid var(--hairline);
  border-radius: var(--radius);
  padding: 1.6rem 1.5rem;
  margin: 0 0 2rem; }

.m-prose figure.fullwidth {
  max-width: 320px;
  margin-left: 0;
  margin-right: auto;
  border: 1px solid var(--hairline);
  border-radius: var(--radius);
  overflow: hidden;
  padding: 0; }

.m-prose figure.fullwidth img {
  width: 100%;
  border-radius: 0; }

.m-prose figure.fullwidth figcaption {
  padding: 0.6rem 0.9rem;
  margin: 0; }

.m-toc {
  border-top: 1px solid var(--hairline);
  border-bottom: 1px solid var(--hairline);
  padding: 1rem 0;
  margin: 0 0 2.4rem; }

.m-toc__title {
  font-family: 'Space Grotesk', sans-serif;
  font-size: 0.7rem;
  text-transform: uppercase;
  letter-spacing: 0.14em;
  color: var(--ink-muted);
  margin-bottom: 0.7rem; }

.m-toc ul {
  list-style: none;
  padding: 0;
  margin: 0;
  display: flex;
  flex-wrap: wrap;
  gap: 0.3rem 1.1rem; }

.m-toc li {
  margin: 0; }

.m-toc a {
  font-family: 'Space Grotesk', sans-serif;
  font-size: 0.82rem;
  color: var(--ink-muted);
  border-bottom: 1px solid transparent; }

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

details.details-example {
  border-bottom: 1px solid var(--hairline);
  margin: 0; }

details.details-example:first-of-type {
  border-top: 1px solid var(--hairline); }

details.details-example > summary {
  display: flex;
  align-items: center;
  gap: 0.7rem;
  cursor: pointer;
  padding: 1rem 0.2rem;
  list-style: none; }

details.details-example > summary:focus-visible {
  outline: 3px solid var(--focus);
  outline-offset: -3px; }

details.details-example > summary::-webkit-details-marker {
  display: none; }

details.details-example > summary::before {
  content: "";
  width: 0;
  height: 0;
  border-left: 6px solid var(--ink-muted);
  border-top: 5px solid transparent;
  border-bottom: 5px solid transparent;
  transition: transform 150ms ease;
  flex: none; }

details.details-example[open] > summary::before {
  transform: rotate(90deg); }

details.details-example > summary h2 {
  margin: 0;
  font-size: 1.05rem;
  letter-spacing: -0.01em; }

details.details-example > summary:hover h2 {
  color: var(--accent); }

details.details-example > ul {
  padding: 0 0 1.1rem 1.6rem;
  margin: 0; }

details.details-example > ul li {
  margin: 0.35rem 0; }

details.abstract {
  margin: 0.4rem 0 1rem; }

details.abstract > summary {
  display: inline-flex;
  align-items: center;
  gap: 0.5rem;
  cursor: pointer;
  list-style: none;
  padding: 0.15rem 0;
  font-size: 0.85rem;
  letter-spacing: 0.04em;
  text-transform: uppercase;
  color: var(--ink-muted); }

details.abstract > summary:hover {
  color: var(--accent); }

details.abstract > summary:focus-visible {
  outline: 3px solid var(--focus);
  outline-offset: 2px; }

details.abstract > summary::-webkit-details-marker {
  display: none; }

details.abstract > summary::before {
  content: "";
  width: 0;
  height: 0;
  border-left: 6px solid currentColor;
  border-top: 5px solid transparent;
  border-bottom: 5px solid transparent;
  transition: transform 150ms ease;
  flex: none; }

details.abstract[open] > summary::before {
  transform: rotate(90deg); }

.m-footer {
  border-top: 1px solid var(--hairline);
  margin-top: 5rem;
  padding: 2.6rem 0 3.2rem;
  text-align: center; }

.m-footer__cat {
  width: 26px;
  margin: 0 auto 1.5rem;
  opacity: 0.5; }

.m-footer-links {
  display: flex;
  justify-content: center;
  gap: 1.35rem;
  list-style: none;
  padding: 0;
  margin: 0 0 1.6rem; }

.m-footer-links a {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  color: var(--ink-muted);
  border-bottom: none;
  font-size: 1.05rem;
  transition: color 120ms ease; }

.m-footer-links a:hover {
  color: var(--accent); }

[class^="icon-"], [class*=" icon-"] {
  font-family: 'icomoon';
  speak: none;
  font-style: normal;
  font-weight: normal;
  font-variant: normal;
  text-transform: none;
  line-height: 1;
  -webkit-font-smoothing: antialiased;
  -moz-osx-font-smoothing: grayscale; }

.icon-mail::before {
  content: "\e607"; }

.icon-twitter::before {
  content: "\e60a"; }

.icon-feed::before {
  content: "\e60b"; }

.icon-github::before {
  content: "\e60d"; }

.m-credits {
  font-family: 'Space Grotesk', sans-serif;
  font-size: 0.75rem;
  line-height: 1.8;
  color: var(--ink-muted); }

.m-credits a {
  color: var(--ink-muted);
  border-bottom-color: var(--hairline); }

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

.rc-scout {
  text-align: center;
  padding: 0 1rem 2rem; }

@media (max-width: 640px) {
  .m-theme-toggle {
    order: 1; }

  .m-nav__links {
    order: 2;
    flex-basis: 100%;
    justify-content: flex-start;
    gap: 0.05rem;
    margin-left: -0.7rem; }

  .m-nav__link {
    padding: 0.35rem 0.55rem;
    font-size: 0.72rem; }

  .m-nav__link[aria-current="page"]::after {
    left: 0.55rem;
    right: 0.55rem; } }
@media (prefers-reduced-motion: reduce) {
  .m-card:hover, .m-card:focus-within {
    transform: none; }

  details.details-example[open] > summary::before {
    transition: none; }

  details.abstract[open] > summary::before {
    transition: none; } }
/**
 * Syntax highlighting styles
 */
.highlight {
  margin-bottom: 15px; }

.highlight {
  background: #fffff8; }
  .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; }

.highlight,
div.highlighter-rouge,
figure.highlight {
  background: var(--surface-2); }

.highlight {
  color: #111111; }
  .highlight .c, .highlight .cm, .highlight .c1 {
    color: #66665c;
    font-style: italic; }
  .highlight .cp, .highlight .cs {
    color: #66665c;
    font-weight: bold; }
  .highlight .cs {
    font-style: italic; }
  .highlight .bp, .highlight .gh, .highlight .gu, .highlight .go {
    color: #66665c; }
  .highlight .gp, .highlight .nn {
    color: #4f4f47; }
  .highlight .k, .highlight .o, .highlight .kc, .highlight .kd, .highlight .kp, .highlight .kr, .highlight .ow, .highlight .gs {
    color: #111111;
    font-weight: bold; }
  .highlight .kt, .highlight .nc {
    color: #3d4c7a;
    font-weight: bold; }
  .highlight .ne, .highlight .nf {
    color: #8f0000;
    font-weight: bold; }
  .highlight .nt {
    color: #000080; }
  .highlight .nv, .highlight .na, .highlight .no, .highlight .vc, .highlight .vg, .highlight .vi {
    color: #006666; }
  .highlight .nb {
    color: #0a5f80; }
  .highlight .ni {
    color: #7a0080; }
  .highlight .sr {
    color: #0a6b22; }
  .highlight .ss {
    color: #8a0068; }
  .highlight .m, .highlight .mf, .highlight .mh, .highlight .mi, .highlight .mo, .highlight .il {
    color: #0a6a6a; }
  .highlight .s, .highlight .s1, .highlight .s2, .highlight .sb, .highlight .sc, .highlight .sd, .highlight .se, .highlight .sh, .highlight .si, .highlight .sx {
    color: #a3103a; }
  .highlight .err {
    color: #9c1111;
    background-color: transparent; }
  .highlight .gr, .highlight .gt {
    color: #9c1111; }
  .highlight .w {
    color: #b9b6a6; }
  .highlight .ge {
    font-style: italic; }

:root[data-theme="dark"] .highlight {
  color: #f2efe3; }
  :root[data-theme="dark"] .highlight .c, :root[data-theme="dark"] .highlight .cm, :root[data-theme="dark"] .highlight .c1 {
    color: #9ba393;
    font-style: italic; }
  :root[data-theme="dark"] .highlight .cp, :root[data-theme="dark"] .highlight .cs {
    color: #9ba393;
    font-weight: bold; }
  :root[data-theme="dark"] .highlight .cs {
    font-style: italic; }
  :root[data-theme="dark"] .highlight .bp, :root[data-theme="dark"] .highlight .gh, :root[data-theme="dark"] .highlight .gu, :root[data-theme="dark"] .highlight .go {
    color: #9ba393; }
  :root[data-theme="dark"] .highlight .gp, :root[data-theme="dark"] .highlight .nn {
    color: #a8a498; }
  :root[data-theme="dark"] .highlight .k, :root[data-theme="dark"] .highlight .o, :root[data-theme="dark"] .highlight .kc, :root[data-theme="dark"] .highlight .kd, :root[data-theme="dark"] .highlight .kp, :root[data-theme="dark"] .highlight .kr, :root[data-theme="dark"] .highlight .ow, :root[data-theme="dark"] .highlight .gs {
    color: #f2efe3;
    font-weight: bold; }
  :root[data-theme="dark"] .highlight .kt, :root[data-theme="dark"] .highlight .nc {
    color: #a5b4ff;
    font-weight: bold; }
  :root[data-theme="dark"] .highlight .ne, :root[data-theme="dark"] .highlight .nf {
    color: #ff9d94;
    font-weight: bold; }
  :root[data-theme="dark"] .highlight .nt {
    color: #9ab8ff; }
  :root[data-theme="dark"] .highlight .nv, :root[data-theme="dark"] .highlight .na, :root[data-theme="dark"] .highlight .no, :root[data-theme="dark"] .highlight .vc, :root[data-theme="dark"] .highlight .vg, :root[data-theme="dark"] .highlight .vi {
    color: #6fd7c8; }
  :root[data-theme="dark"] .highlight .nb {
    color: #7cc7e8; }
  :root[data-theme="dark"] .highlight .ni {
    color: #dfa3ec; }
  :root[data-theme="dark"] .highlight .sr {
    color: #7fd88f; }
  :root[data-theme="dark"] .highlight .ss {
    color: #eda3d3; }
  :root[data-theme="dark"] .highlight .m, :root[data-theme="dark"] .highlight .mf, :root[data-theme="dark"] .highlight .mh, :root[data-theme="dark"] .highlight .mi, :root[data-theme="dark"] .highlight .mo, :root[data-theme="dark"] .highlight .il {
    color: #7fd4d4; }
  :root[data-theme="dark"] .highlight .s, :root[data-theme="dark"] .highlight .s1, :root[data-theme="dark"] .highlight .s2, :root[data-theme="dark"] .highlight .sb, :root[data-theme="dark"] .highlight .sc, :root[data-theme="dark"] .highlight .sd, :root[data-theme="dark"] .highlight .se, :root[data-theme="dark"] .highlight .sh, :root[data-theme="dark"] .highlight .si, :root[data-theme="dark"] .highlight .sx {
    color: #f5a29a; }
  :root[data-theme="dark"] .highlight .err {
    color: #ffb4b4;
    background-color: transparent; }
  :root[data-theme="dark"] .highlight .gr, :root[data-theme="dark"] .highlight .gt {
    color: #ffb4b4; }
  :root[data-theme="dark"] .highlight .w {
    color: #55524a; }
  :root[data-theme="dark"] .highlight .ge {
    font-style: italic; }
  :root[data-theme="dark"] .highlight .gd {
    color: #ffb4b4;
    background-color: #3a1f1f; }
  :root[data-theme="dark"] .highlight .gi {
    color: #b6e6b6;
    background-color: #1f3324; }

@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) .highlight {
    color: #f2efe3; }
    :root:not([data-theme="light"]) .highlight .c, :root:not([data-theme="light"]) .highlight .cm, :root:not([data-theme="light"]) .highlight .c1 {
      color: #9ba393;
      font-style: italic; }
    :root:not([data-theme="light"]) .highlight .cp, :root:not([data-theme="light"]) .highlight .cs {
      color: #9ba393;
      font-weight: bold; }
    :root:not([data-theme="light"]) .highlight .cs {
      font-style: italic; }
    :root:not([data-theme="light"]) .highlight .bp, :root:not([data-theme="light"]) .highlight .gh, :root:not([data-theme="light"]) .highlight .gu, :root:not([data-theme="light"]) .highlight .go {
      color: #9ba393; }
    :root:not([data-theme="light"]) .highlight .gp, :root:not([data-theme="light"]) .highlight .nn {
      color: #a8a498; }
    :root:not([data-theme="light"]) .highlight .k, :root:not([data-theme="light"]) .highlight .o, :root:not([data-theme="light"]) .highlight .kc, :root:not([data-theme="light"]) .highlight .kd, :root:not([data-theme="light"]) .highlight .kp, :root:not([data-theme="light"]) .highlight .kr, :root:not([data-theme="light"]) .highlight .ow, :root:not([data-theme="light"]) .highlight .gs {
      color: #f2efe3;
      font-weight: bold; }
    :root:not([data-theme="light"]) .highlight .kt, :root:not([data-theme="light"]) .highlight .nc {
      color: #a5b4ff;
      font-weight: bold; }
    :root:not([data-theme="light"]) .highlight .ne, :root:not([data-theme="light"]) .highlight .nf {
      color: #ff9d94;
      font-weight: bold; }
    :root:not([data-theme="light"]) .highlight .nt {
      color: #9ab8ff; }
    :root:not([data-theme="light"]) .highlight .nv, :root:not([data-theme="light"]) .highlight .na, :root:not([data-theme="light"]) .highlight .no, :root:not([data-theme="light"]) .highlight .vc, :root:not([data-theme="light"]) .highlight .vg, :root:not([data-theme="light"]) .highlight .vi {
      color: #6fd7c8; }
    :root:not([data-theme="light"]) .highlight .nb {
      color: #7cc7e8; }
    :root:not([data-theme="light"]) .highlight .ni {
      color: #dfa3ec; }
    :root:not([data-theme="light"]) .highlight .sr {
      color: #7fd88f; }
    :root:not([data-theme="light"]) .highlight .ss {
      color: #eda3d3; }
    :root:not([data-theme="light"]) .highlight .m, :root:not([data-theme="light"]) .highlight .mf, :root:not([data-theme="light"]) .highlight .mh, :root:not([data-theme="light"]) .highlight .mi, :root:not([data-theme="light"]) .highlight .mo, :root:not([data-theme="light"]) .highlight .il {
      color: #7fd4d4; }
    :root:not([data-theme="light"]) .highlight .s, :root:not([data-theme="light"]) .highlight .s1, :root:not([data-theme="light"]) .highlight .s2, :root:not([data-theme="light"]) .highlight .sb, :root:not([data-theme="light"]) .highlight .sc, :root:not([data-theme="light"]) .highlight .sd, :root:not([data-theme="light"]) .highlight .se, :root:not([data-theme="light"]) .highlight .sh, :root:not([data-theme="light"]) .highlight .si, :root:not([data-theme="light"]) .highlight .sx {
      color: #f5a29a; }
    :root:not([data-theme="light"]) .highlight .err {
      color: #ffb4b4;
      background-color: transparent; }
    :root:not([data-theme="light"]) .highlight .gr, :root:not([data-theme="light"]) .highlight .gt {
      color: #ffb4b4; }
    :root:not([data-theme="light"]) .highlight .w {
      color: #55524a; }
    :root:not([data-theme="light"]) .highlight .ge {
      font-style: italic; }
    :root:not([data-theme="light"]) .highlight .gd {
      color: #ffb4b4;
      background-color: #3a1f1f; }
    :root:not([data-theme="light"]) .highlight .gi {
      color: #b6e6b6;
      background-color: #1f3324; } }