@font-face {
  font-family: Atkinson;
  src: url("/assets/fonts/atkinson-hyperlegible-next-latin-400-normal.woff2")
    format("woff2");
  font-weight: 400;
  font-style: normal;
  font-display: swap;
}
@font-face {
  font-family: Atkinson;
  src: url("/assets/fonts/atkinson-hyperlegible-next-latin-400-italic.woff2")
    format("woff2");
  font-weight: 400;
  font-style: italic;
  font-display: swap;
}
@font-face {
  font-family: Atkinson;
  src: url("/assets/fonts/atkinson-hyperlegible-next-latin-600-normal.woff2")
    format("woff2");
  font-weight: 600;
  font-style: normal;
  font-display: swap;
}
@font-face {
  font-family: Atkinson;
  src: url("/assets/fonts/atkinson-hyperlegible-next-latin-600-italic.woff2")
    format("woff2");
  font-weight: 600;
  font-style: italic;
  font-display: swap;
}
@font-face {
  font-family: Atkinson;
  src: url("/assets/fonts/atkinson-hyperlegible-next-latin-700-normal.woff2")
    format("woff2");
  font-weight: 700;
  font-style: normal;
  font-display: swap;
}
@font-face {
  font-family: Atkinson;
  src: url("/assets/fonts/atkinson-hyperlegible-next-latin-700-italic.woff2")
    format("woff2");
  font-weight: 700;
  font-style: italic;
  font-display: swap;
}
@font-face {
  font-family: "Atkinson Mono";
  src: url("/assets/fonts/atkinson-hyperlegible-mono-latin-400-normal.woff2")
    format("woff2");
  font-weight: 400;
  font-display: swap;
}
@font-face {
  font-family: "Atkinson Mono";
  src: url("/assets/fonts/atkinson-hyperlegible-mono-latin-600-normal.woff2")
    format("woff2");
  font-weight: 600;
  font-display: swap;
}
:root {
  color-scheme: light;
  --paper: #f7f7f4;
  --ink: #242627;
  --secondary: #505552;
  --rule: #d5d9d3;
  --cyan: #00748e;
  --magenta: #a12560;
  --highlight: #f3e79b;
  --measure: 66ch;
  --plot-cyan: #008ba3;
  --plot-magenta: #c12b78;
  --plot-orange: #dc6818;
  --plot-green: #287943;
  --plot-yellow: #efd43b;
  --plot-purple: #58449b;
  font:
    18px/1.6 Atkinson,
    Arial,
    sans-serif;
  background: var(--paper);
  color: var(--ink);
}
* {
  box-sizing: border-box;
}
body {
  margin: 0;
}
a {
  color: inherit;
  text-decoration: underline;
  text-underline-offset: 0.2em;
}
a:hover {
  color: var(--cyan);
  text-decoration-thickness: 2px;
}
:focus-visible {
  outline: 2px solid var(--ink);
  outline-offset: 4px;
}
::selection {
  background: var(--highlight);
  color: var(--ink);
}
[id] {
  scroll-margin-block: 24px;
}
img,
svg,
video {
  max-width: 100%;
}
img {
  height: auto;
}
button,
input,
select,
textarea {
  font: inherit;
}
button,
select {
  color: var(--ink);
  background: var(--paper);
  border: 1px solid var(--secondary);
  border-radius: 0;
  min-height: 44px;
  padding: 7px 12px;
}
button {
  cursor: pointer;
}
input[type="range"] {
  accent-color: var(--cyan);
  min-height: 44px;
  width: 100%;
}
[hidden] {
  display: none !important;
}
.visually-hidden {
  position: absolute;
  width: 1px;
  height: 1px;
  padding: 0;
  overflow: hidden;
  clip-path: inset(50%);
  white-space: nowrap;
}
.skip-link {
  position: absolute;
  left: 16px;
  top: -100px;
  background: var(--paper);
  padding: 10px;
  z-index: 10;
}
.skip-link:focus {
  top: 12px;
}
.preview-banner {
  padding: 12px 22px;
  border-bottom: 1px solid var(--rule);
  font-size: 15px;
  color: var(--secondary);
  text-align: center;
}
.page-shell {
  width: 100%;
  max-width: 1024px;
  margin: auto;
  padding: 20px 22px 32px;
}
.site-header {
  display: flex;
  align-items: center;
  justify-content: space-between;
  flex-wrap: wrap;
  gap: 12px 24px;
  border-bottom: 1px solid var(--rule);
  padding-bottom: 18px;
}
.identity {
  display: inline-flex;
  align-items: center;
  gap: 10px;
  min-height: 44px;
  font-weight: 600;
  text-decoration: none;
  color: var(--ink);
}
.identity:hover {
  color: var(--ink);
}
.identity-mark {
  width: 32px;
  height: 32px;
  flex: none;
}
.cell {
  transition: fill 200ms ease;
}
.c0 {
  fill: #00a6ce;
}
.c1 {
  fill: #db287d;
}
.c2 {
  fill: #f1d931;
}
.identity:is(:hover, :focus-visible) .cell,
.identity-triangular .cell {
  fill: #db287d;
}
.identity:is(:hover, :focus-visible) :is(.r1.c0, .r2.c0, .r2.c1),
.identity-triangular :is(.r1.c0, .r2.c0, .r2.c1) {
  fill: #00a6ce;
}
.identity:is(:hover, :focus-visible) :is(.r0.c1, .r0.c2, .r1.c2),
.identity-triangular :is(.r0.c1, .r0.c2, .r1.c2) {
  fill: #f1d931;
}
.identity-triangular:is(:hover, :focus-visible) .c0 {
  fill: #00a6ce;
}
.identity-triangular:is(:hover, :focus-visible) .c1 {
  fill: #db287d;
}
.identity-triangular:is(:hover, :focus-visible) .c2 {
  fill: #f1d931;
}
.site-header nav {
  display: flex;
  gap: 20px;
}
.site-header nav a,
.site-footer a {
  display: inline-flex;
  align-items: center;
  min-height: 44px;
  font-size: 16px;
}
.site-header [aria-current] {
  font-weight: 600;
  text-decoration-thickness: 2px;
}
.site-footer {
  display: flex;
  flex-wrap: wrap;
  gap: 10px 24px;
  margin-top: 64px;
  padding-top: 18px;
  border-top: 1px solid var(--rule);
  color: var(--secondary);
}
.site-footer a:last-child {
  margin-left: auto;
}
h1,
h2,
h3,
h4 {
  font-weight: 600;
  line-height: 1.25;
  overflow-wrap: anywhere;
}
h1 {
  font-size: 34px;
  line-height: 1.15;
  margin: 0 0 22px;
  text-wrap: pretty;
}
h2 {
  font-size: 25px;
  margin: 34px 0 18px;
}
h3 {
  font-size: 21px;
  margin: 28px 0 16px;
}
p {
  margin: 0 0 23px;
}
.home-intro {
  margin: 52px 0 48px;
  max-width: 36rem;
}
.home-intro p {
  color: var(--secondary);
  max-width: 46ch;
  margin: 0;
}
.personal-intro p {
  color: var(--secondary);
  max-width: 60ch;
  margin-bottom: 0;
}
.personal-intro .intro-strapline {
  color: var(--ink);
  font-size: 24px;
  font-weight: 600;
  line-height: 1.35;
  margin-bottom: 18px;
  text-wrap: pretty;
}
.contact-links {
  display: flex;
  flex-wrap: wrap;
  gap: 12px 24px;
  list-style: none;
  padding: 0;
  margin: 32px 0 0;
}
.launch-home .home-intro {
  margin-block: 36px 0;
}
.launch-home .contact-links {
  margin-top: 32px;
}
.launch-home .site-footer {
  margin-top: 36px;
}
.index-heading {
  font-size: 17px;
  border-bottom: 1px solid var(--ink);
  padding-bottom: 14px;
  margin: 0;
}
.writing-list {
  list-style: none;
  padding: 0;
  margin: 0;
}
.writing-entry {
  padding: 24px 0 28px;
  border-bottom: 1px solid var(--rule);
  display: grid;
  gap: 12px;
}
.writing-entry h3 {
  font-size: 24px;
  line-height: 1.25;
  margin: 0 0 12px;
}
.writing-entry p {
  max-width: 52ch;
  color: var(--secondary);
  margin: 0;
}
.entry-date {
  font:
    14px/1.6 "Atkinson Mono",
    monospace;
  color: var(--secondary);
}
.page-content {
  max-width: var(--measure);
  margin: 52px 0 64px;
}
.article {
  --body-width: var(--measure);
}
.reading-width,
.article-body > :not(.annotated-row):not(figure) {
  max-width: var(--body-width);
}
.article-header {
  margin: 38px 0 28px;
}
.deck {
  color: var(--secondary);
  margin: 0;
}
.draft-label {
  font-size: 15px;
  color: var(--secondary);
  margin-bottom: 16px;
}
.article-dates {
  display: flex;
  flex-wrap: wrap;
  gap: 14px 28px;
  margin: 26px 0 22px;
  font-size: 16px;
}
.article-dates dt {
  font-size: 14px;
  color: var(--secondary);
}
.article-dates dd {
  margin: 3px 0 0;
}
.article-status {
  margin-top: 24px;
  border-left: 3px solid var(--secondary);
  padding-left: 14px;
  font-size: 16px;
}
.article-status strong {
  display: block;
  margin-bottom: 5px;
}
.article-status p {
  margin: 0;
}
.revision {
  font-size: 15px;
  color: var(--secondary);
  margin-top: 18px;
}
.contents {
  margin-bottom: 34px;
  padding: 12px 0;
  border-block: 1px solid var(--rule);
  font-size: 16px;
}
.contents summary {
  min-height: 44px;
  align-content: center;
  cursor: pointer;
  font-weight: 600;
}
.contents ul {
  list-style: none;
  margin: 6px 0;
  padding: 0;
}
.contents ul ul {
  padding-left: 18px;
  margin-left: 2px;
  border-left: 1px solid var(--rule);
}
.contents a {
  display: inline-block;
  padding: 7px 0;
  min-height: 38px;
}
.prose {
  overflow-wrap: anywhere;
}
.prose ul,
.prose ol {
  padding-left: 1.4em;
}
.prose li {
  margin-bottom: 8px;
}
.prose blockquote {
  margin: 24px 0;
  border-left: 3px solid var(--secondary);
  padding-left: 18px;
  color: var(--secondary);
}
.prose hr {
  border: 0;
  border-top: 1px solid var(--rule);
  margin: 32px 0;
}
.prose code {
  font:
    0.9em/1.6 "Atkinson Mono",
    monospace;
}
.prose :not(pre) > code {
  background: #edeee9;
  padding: 0.05em 0.2em;
  overflow-wrap: anywhere;
}
.prose pre {
  white-space: pre-wrap;
  overflow-wrap: anywhere;
  tab-size: 4;
  padding: 18px 14px;
  background: #edeee9;
  color: var(--ink);
  font:
    16px/1.6 "Atkinson Mono",
    monospace;
  margin: 0 0 24px;
}
.prose pre code {
  font: inherit;
  background: none;
  padding: 0;
}
.code-label {
  font-size: 14px;
  color: var(--secondary);
  margin: 22px 0 8px;
}
.annotated-row {
  display: grid;
  grid-template-columns: minmax(0, 1fr);
}
.annotation-text {
  min-width: 0;
}
.aside {
  font-size: 16px;
  line-height: 1.5;
  color: var(--secondary);
  border-left: 3px solid var(--magenta);
  padding-left: 14px;
  margin: 0 0 25px;
}
.aside p {
  margin: 0 0 12px;
}
.aside p:last-of-type {
  margin-bottom: 0;
}
.aside-return {
  display: inline-flex;
  align-items: center;
  min-height: 44px;
  font-size: 15px;
}
.aside:target {
  background: #f2e9ee;
}
.aside-source {
  text-decoration-color: var(--magenta);
  text-decoration-thickness: 2px;
}
.aside-source:hover {
  color: var(--ink);
  text-decoration-thickness: 3px;
}
.aside-inline {
  padding: 8px 0 8px 16px;
}
.citation {
  text-decoration-style: dotted;
}
.citation:target,
.references li:target,
.footnote-item:target {
  outline: 2px solid var(--ink);
  outline-offset: 6px;
}
sup {
  line-height: 0;
  font-size: 0.78em;
}
.footnote-ref a {
  font-weight: 600;
  text-decoration: none;
  padding: 0.15em 0.2em;
}
.footnotes,
.references {
  border-top: 1px solid var(--rule);
  padding-top: 22px;
  margin-top: 34px;
  font-size: 16px;
  line-height: 1.55;
}
.footnotes h2,
.references h2 {
  font-size: 18px;
  margin: 0 0 18px;
}
.references ul {
  list-style: none;
  padding: 0;
}
.references li {
  margin-bottom: 26px;
}
.references p {
  margin: 0 0 5px;
}
.paper-title {
  font-size: 18px;
  font-weight: 600;
}
.paper-meta {
  color: var(--secondary);
}
.paper-links {
  display: flex;
  flex-wrap: wrap;
  gap: 8px 24px;
}
.paper-links a,
.footnote-backref {
  display: inline-flex;
  align-items: center;
  min-height: 44px;
  font-size: 15px;
}
.prose figure {
  margin: 32px 0;
  max-width: 760px;
}
.prose figure img {
  display: block;
  width: 100%;
  height: auto;
}
.prose figcaption {
  max-width: var(--measure);
  font-size: 15px;
  line-height: 1.5;
  color: var(--secondary);
  margin-top: 12px;
}
.figure-surface {
  border-block: 1px solid var(--rule);
  padding: 20px 16px;
  background: #fff;
}
.figure-title {
  font-size: 18px;
  margin: 0 0 20px;
}
.table-scroll {
  overflow-x: auto;
  overscroll-behavior-inline: contain;
  min-width: 0;
  margin: 20px 0 24px;
  padding: 4px 2px 10px;
}
.prose table {
  border-collapse: collapse;
  width: 100%;
  font-size: 16px;
  background: var(--paper);
  color: var(--ink);
}
.prose th,
.prose td {
  padding: 12px 8px;
  border-bottom: 1px solid var(--rule);
  text-align: right;
}
.prose th:first-child,
.prose td:first-child {
  text-align: left;
}
.prose caption {
  text-align: left;
  font-size: 17px;
  margin-bottom: 14px;
}
.prose td {
  font-family: "Atkinson Mono", monospace;
  font-size: 15px;
}
.prose table :is(th, td, caption) {
  background: var(--paper);
  color: var(--ink);
}
.equation {
  display: grid;
  grid-template-columns: minmax(0, 1fr);
  gap: 8px;
  align-items: center;
  border-block: 1px solid var(--rule);
  padding: 20px 0;
  margin: 26px 0;
}
.equation-scroll {
  min-width: 0;
  overflow-x: auto;
  overscroll-behavior-inline: contain;
  padding: 8px 4px;
  max-width: 100%;
}
.equation-number {
  justify-self: end;
  font:
    14px "Atkinson Mono",
    monospace;
  color: var(--secondary);
}
.equation-scroll .katex-display {
  margin: 0;
  width: max-content;
  min-width: 100%;
  text-align: center;
}
.prose .katex {
  font-size: 1.1em;
}
.prose .katex-display > .katex {
  white-space: nowrap;
}
.equation-scroll .katex-display > .katex {
  display: block;
}
.prose .katex-html {
  overflow-wrap: normal;
}
@media (min-width: 600px) {
  .page-shell {
    padding: 26px 38px 40px;
  }
  h1 {
    font-size: 40px;
  }
  .home-intro {
    margin: 82px 0 68px;
  }
  .home-intro h1 {
    font-size: 44px;
  }
  .writing-entry {
    grid-template-columns: minmax(0, 1fr) 150px;
    gap: 36px;
    padding-block: 30px;
  }
  .writing-entry h3 {
    font-size: 27px;
  }
  .entry-date {
    text-align: right;
    padding-top: 4px;
  }
  .article-header {
    margin-top: 45px;
  }
  .prose pre {
    padding: 22px;
  }
  .equation {
    grid-template-columns: 32px minmax(0, 1fr) 32px;
  }
  .equation-scroll {
    grid-column: 2;
  }
  .equation-number {
    grid-column: 3;
  }
  .figure-surface {
    padding: 24px;
  }
}
@media (min-width: 1000px) {
  .article {
    --body-width: min(var(--measure), calc(min(100vw, 1024px) - 348px));
  }
  .annotated-row {
    grid-template-columns: minmax(0, var(--body-width)) 240px;
    gap: 32px;
  }
  .aside {
    margin: 4px 0 0;
    align-self: start;
  }
  .aside-return {
    display: none;
  }
  .aside-inline {
    margin: 0 0 25px;
  }
  .aside-inline .aside-return {
    display: inline-flex;
  }
}
@media (prefers-reduced-motion: reduce) {
  .cell {
    transition: none;
  }
}
@media print {
  .site-header nav,
  .site-footer,
  .skip-link,
  .preview-banner {
    display: none;
  }
  .page-shell {
    max-width: none;
    padding: 0;
  }
  .article {
    --body-width: 100%;
  }
  .annotated-row {
    display: block;
  }
  .aside {
    margin: 0 0 20px;
  }
  .contents {
    display: none;
  }
  a {
    color: inherit;
  }
  .equation-scroll,
  .table-scroll {
    overflow: visible;
  }
  pre,
  figure {
    break-inside: avoid;
  }
}
@media (max-width: 600px) {
  .prose picture:has(source[width="320"]) img {
    aspect-ratio: 320 / 440;
  }
}