* {
  box-sizing: border-box;
}

body {
  margin: 0;
  font-family: "Georgia", "Times New Roman", serif;
  color: #111;
  background: #f5f2e9;
  min-height: 100vh;
}

html {
  scroll-behavior: smooth;
}

.mondrian-bg {
  position: fixed;
  inset: 0;
  z-index: -1;
  background-color: #f5f2e9;
  background-image:
    linear-gradient(#111 0 0),
    linear-gradient(#111 0 0),
    linear-gradient(#111 0 0),
    linear-gradient(#111 0 0),
    linear-gradient(#e53935 0 0),
    linear-gradient(#1e88e5 0 0),
    linear-gradient(#fdd835 0 0),
    linear-gradient(#e53935 0 0),
    linear-gradient(#fdd835 0 0),
    linear-gradient(#1e88e5 0 0),
    linear-gradient(#ffffff 0 0),
    linear-gradient(#ffffff 0 0),
    linear-gradient(#111 0 0),
    linear-gradient(#111 0 0),
    linear-gradient(#111 0 0),
    linear-gradient(#111 0 0),
    linear-gradient(#111 0 0),
    linear-gradient(#111 0 0),
    linear-gradient(#111 0 0),
    linear-gradient(#111 0 0),
    linear-gradient(#111 0 0),
    linear-gradient(#111 0 0),
    linear-gradient(#111 0 0);
  background-size:
    100% 4px,
    100% 6px,
    4px 100%,
    5px 100%,
    1vw 10vh,
    2.1vw 2vh,
    2.7vw 1.7vh,
    26vw 26vh,
    16vw 36vh,
    20vw 28vh,
    30vw 22vh,
    18vw 18vh,
    10vw 10vh,
    3.2vw 2.6vh,
    3.0vw 2.4vh,
    1.6vw 1.3vh,
    0.8vw 0.8vh,
    3.8vw 1.1vh,
    1.2vw 1vh,
    1.4vw 1.2vh,
    1.8vw 1.4vh,
    1.1vw 1vh,
    1.6vw 1.6vh;
  background-position:
    0 28vh,
    0 68vh,
    36vw 0,
    68vw 0,
    97vw 80vh,
    92vw 89vh,
    87.5vw 89vh,
    6vw 8vh,
    62vw 5vh,
    14vw 58vh,
    58vw 45vh,
    78vw 70vh,
    87vw 68vh,
    12vw 84vh,
    86vw 46vh,
    24vw 14vh,
    18vw 28vh,
    52vw 76vh,
    72vw 18vh,
    8vw 62vh,
    90vw 12vh,
    68vw 84vh,
    40vw 88vh;
  background-repeat: no-repeat;
}

.page {
  max-width: 720px;
  margin: 8vh auto;
  padding: 2.5rem;
  background: rgba(255, 255, 255, 0.9);
  border: 2px solid #111;
  box-shadow: 8px 8px 0 #111;
}

.header h1 {
  margin: 0 0 0.5rem;
  font-size: 2.6rem;
  font-weight: 700;
  letter-spacing: 0.3px;
}

.affiliation {
  margin: 0;
  font-size: 1.1rem;
}

.section {
  margin-top: 2rem;
}

.section h2 {
  margin: 0 0 0.75rem;
  font-size: 1.3rem;
  text-transform: uppercase;
  letter-spacing: 1px;
}

.publications {
  margin: 0;
  padding-left: 1.2rem;
}

.publications li {
  margin-bottom: 0.6rem;
  line-height: 1.5;
}

.publication {
  margin-bottom: 1.2rem;
}

.pub-title {
  font-weight: 700;
}

.pub-authors,
.pub-venue {
  margin-top: 0.2rem;
}

.pub-venue a {
  color: inherit;
  text-decoration: none;
  border-bottom: 1px solid #111;
}

.pub-venue a:hover,
.note-link:hover,
.note-article a:hover {
  text-decoration: none;
  border-bottom-width: 2px;
}

.email-image {
  width: min(11.75rem, 100%);
  height: auto;
  vertical-align: -0.35em;
}

.note-list {
  margin: 0;
  padding-left: 1.35rem;
}

.note-list li {
  margin-bottom: 0.45rem;
  line-height: 1.45;
}

.note-date {
  color: #555;
  white-space: nowrap;
}

.note-date::before {
  content: " · ";
}

.note-link,
.note-article a {
  color: inherit;
  text-decoration: none;
  border-bottom: 1px solid #111;
}

.note-page {
  max-width: 920px;
}

.note-nav {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 0.85rem;
  margin-bottom: 1.75rem;
  font-size: 0.95rem;
}

.note-nav a {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  min-width: 3.25rem;
  min-height: 2.5rem;
  padding: 0.45rem 0.75rem;
  color: #111;
  background: rgba(255, 255, 255, 0.94);
  border: 2px solid #111;
  box-shadow: 4px 4px 0 #111;
  font-weight: 700;
  line-height: 1;
  text-decoration: none;
}

.note-article {
  font-size: 1rem;
  line-height: 1.55;
}

.note-header {
  margin-bottom: 1.8rem;
  text-align: center;
}

.note-header h1 {
  margin: 0 0 0.6rem;
  font-size: 1.45rem;
  line-height: 1.25;
}

.note-header p {
  margin: 0;
}

.note-article p {
  margin: 0.35em 0;
}

.note-article strong {
  font-weight: 700;
}

.note-bullets {
  margin: 0.55rem 0 0.55rem 1.15rem;
  padding: 0;
}

.note-bullets li {
  margin-bottom: 0.55rem;
  line-height: 1.55;
}

.math-block {
  margin: 0.25rem 0;
  overflow-x: auto;
  overflow-y: hidden;
}

.note-plot {
  margin: 1rem 0 1.15rem;
}

.plot-frame {
  position: relative;
}

.note-plot svg {
  display: block;
  width: 100%;
  height: auto;
}

.note-plot figcaption {
  margin-top: 0.35rem;
  color: #444;
  font-size: 0.92rem;
  line-height: 1.45;
}

.plot-x-label {
  position: absolute;
  left: 50%;
  bottom: 0.25rem;
  transform: translateX(-50%);
}

.plot-curve-label {
  position: absolute;
  top: 4%;
  left: 14%;
  color: #111;
  line-height: 1;
}

.plot-endpoint-label {
  position: absolute;
  top: 4%;
  right: 10%;
  color: #111;
  line-height: 1;
}

.plot-axis {
  stroke: #111;
  stroke-width: 2;
}

.plot-curve {
  fill: none;
  stroke: #e53935;
  stroke-linecap: round;
  stroke-linejoin: round;
  stroke-width: 4;
}

.plot-point {
  fill: #111;
}

.plot-label {
  fill: #111;
  font-family: Georgia, "Times New Roman", serif;
  font-size: 15px;
}

.clickable-proof {
  margin: 2rem 0 1.6rem;
}

.clickable-proof-heading {
  margin: 0;
  font-size: inherit;
  line-height: inherit;
}

.clickable-proof-toggle {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
  width: 100%;
  padding: 0.8rem 0.9rem;
  color: #111;
  background: #fff;
  border: 2px solid #111;
  border-radius: 2px;
  box-shadow: none;
  font: inherit;
  font-size: 1rem;
  font-weight: 700;
  line-height: 1.3;
  text-align: left;
  cursor: pointer;
  transition: background 120ms ease, color 120ms ease, box-shadow 120ms ease;
}

.clickable-proof-toggle span {
  min-width: 0;
}

.clickable-proof-toggle::after {
  content: "+";
  flex: 0 0 auto;
  display: inline-grid;
  place-items: center;
  width: 1.35rem;
  height: 1.35rem;
  color: #111;
  background: #fff;
  border: 1.5px solid #111;
  font-size: 1rem;
  font-weight: 700;
  line-height: 1;
}

.clickable-proof-toggle[aria-expanded="true"] {
  color: #111;
  background: #fff;
  box-shadow: inset 0 -2px 0 #111;
}

.clickable-proof-toggle[aria-expanded="true"]::after {
  content: "\2212";
  color: #111;
  background: #fff;
  border-color: #111;
}

.clickable-proof-toggle:focus-visible {
  outline: 2px solid #111;
  outline-offset: 3px;
}

.clickable-proof-panel {
  margin: 0.75rem 0 0;
  padding: 1.05rem 1.15rem;
  background: #fff;
  border: 2px solid #111;
  border-radius: 2px;
  box-shadow: 4px 4px 0 #111;
}

.clickable-proof-panel[hidden] {
  display: none;
}

.clickable-proof-panel > :first-child {
  margin-top: 0;
}

.clickable-proof-panel > :last-child {
  margin-bottom: 0;
}

.prompt-transcript {
  margin: 0;
  overflow-wrap: anywhere;
  white-space: pre-wrap;
  font-family: "SFMono-Regular", Consolas, "Liberation Mono", monospace;
  font-size: 0.78rem;
  line-height: 1.5;
}

.note-background {
  margin: 1.35rem 0 2rem;
  padding-left: 1rem;
  border-left: 3px solid #111;
  font-family: "Avenir Next", Avenir, "Helvetica Neue", Arial, sans-serif;
  font-size: 0.9rem;
  line-height: 1.55;
}

.citation {
  white-space: nowrap;
}

.references {
  margin-top: 1.8rem;
}

.references h2 {
  margin: 0 0 0.75rem;
  font-size: 1rem;
}

.references ol {
  margin: 0;
  padding: 0;
  list-style: none;
}

.references li {
  margin-bottom: 0.75rem;
  padding-left: 4.25rem;
  text-indent: -4.25rem;
  line-height: 1.45;
}

.ref-label {
  display: inline-block;
  width: 4.25rem;
  text-indent: 0;
}

.back-to-top {
  position: fixed;
  right: 1.25rem;
  bottom: 1.25rem;
  z-index: 2;
  display: inline-flex;
  align-items: center;
  justify-content: center;
  min-width: 3.25rem;
  min-height: 2.5rem;
  padding: 0.45rem 0.75rem;
  color: #111;
  background: rgba(255, 255, 255, 0.94);
  border: 2px solid #111;
  box-shadow: 4px 4px 0 #111;
  font-size: 0.95rem;
  font-weight: 700;
  line-height: 1;
  text-decoration: none;
}

.back-to-top[hidden] {
  display: none;
}

.note-nav a:hover,
.note-nav a:focus-visible,
.back-to-top:hover,
.back-to-top:focus-visible {
  transform: translate(-1px, -1px);
  box-shadow: 5px 5px 0 #111;
}

.note-nav a:focus-visible,
.back-to-top:focus-visible {
  outline: 2px solid #1e88e5;
  outline-offset: 3px;
}

@media (max-width: 720px) {
  .page {
    margin: 4vh 1rem;
    padding: 1.75rem;
    box-shadow: 6px 6px 0 #111;
  }

  .header h1 {
    font-size: 2.1rem;
  }

  .note-page {
    padding: 1.5rem;
  }

  .note-header h1 {
    font-size: 1.3rem;
  }

  .references li {
    padding-left: 0;
    text-indent: 0;
  }

  .ref-label {
    display: block;
    width: auto;
    margin-bottom: 0.15rem;
  }

  .back-to-top {
    right: 0.9rem;
    bottom: 0.9rem;
    min-width: 3rem;
    min-height: 2.35rem;
  }
}
.inline-footnote-trigger {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  min-width: 1.25rem;
  height: 1.1rem;
  margin: 0 0.12rem;
  padding: 0;
  color: #111;
  background: #fff;
  border: 1.5px solid #111;
  border-radius: 2px;
  font: inherit;
  font-size: 0.68rem;
  font-weight: 700;
  line-height: 1;
  vertical-align: super;
  cursor: pointer;
  transition: background 120ms ease, color 120ms ease, box-shadow 120ms ease;
}

.inline-footnote-trigger[aria-expanded="true"] {
  color: #fff;
  background: #111;
  box-shadow: 0 0 0 1px #111;
}

.inline-footnote-trigger:focus-visible {
  outline: 2px solid #111;
  outline-offset: 2px;
}

.local-footnote-window {
  margin: 0.75rem 0 1.1rem;
  padding: 0.85rem 1rem 0.95rem;
  background: #fff;
  border: 2px solid #111;
  border-radius: 2px;
  box-shadow: 4px 4px 0 #111;
  font-size: 0.95rem;
  line-height: 1.5;
}

.local-footnote-window::before {
  content: none;
}

.local-footnote-window[hidden] {
  display: none;
}

.local-footnote-window p {
  margin: 0;
}

.proof-credit {
  margin-top: 1.2rem;
  padding-top: 0.75rem;
  border-top: 1.5px solid #111;
  color: #444;
  font-size: 0.9rem;
  font-style: italic;
  line-height: 1.45;
}

.abstract {
  margin: 1.35rem 0 1.8rem;
}

.abstract h2 {
  margin: 0 0 0.5rem;
  font-size: 1rem;
  text-align: center;
}

.theorem,
.proof {
  margin: 1rem 0;
}

.theorem-label {
  font-weight: 700;
}

.proof-label {
  font-style: italic;
}

@media (max-width: 720px) {
  .citation {
    white-space: normal;
  }
}