:root {
  color-scheme: light;
  --font-body: system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial, sans-serif;
  --font-monospace: "Iosevka PSCTerminal Regular", Consolas, Courier, monospace;
  --ox-tufte-font-body: var(--font-body);
  --ox-tufte-font-monospace: var(--font-monospace);
  --color-background: var(--bg);
  --color-background-accent: var(--accent-bg);
  --color-font: var(--text);
  --color-tufte-red: var(--red);
  --bg: #fff8dc;
  --bg-translucent: rgba(255, 248, 220, 0.96);
  --card-bg: #fff;
  --accent-bg: #eee8d5;
  --code-bg: #f6f8fa;
  --code-text: #24292f;
  --code-inline-bg: #f0ead6;
  --code-label-bg: #dfe8ef;
  --border: #ddd;
  --border-accent: #d0d8e0;
  --border-light: #eee;
  --text: #111213;
  --muted: #888;
  --muted-dark: #666;
  --link: #2266aa;
  --link-hover: #1a5090;
  --green: #2a7a2a;
  --green-bg: #CCFFCC;
  --green-bg-strong: #e5f5e5;
  --green-border: #CCFFCC;
  --solution-details-bg: #e5f5e5;
  --solution-details-color: hsl(157 75%);
  --solution-details-shadow: 0.05em 0.1em 5px 0.01em #00000057;
  --red: #a00000;
  --space-1: 0.25em;
  --space-2: 0.5em;
  --space-3: 0.8em;
  --space-4: 1em;
  --space-5: 1.5em;
  --space-6: 2em;
  --root-font-size: 12px;
  --reader-font-size: 1.4rem;
  --reader-line-height: 2rem;
  --reader-font-weight: 450;
  --text-sm: 1.1rem;
  --text-md: 1.2rem;
  --text-lg: 1.8rem;
  --text-xl: 2.2rem;
  --text-2xl: 3.2rem;
  --code-font-size: 1.2rem;
  --code-line-height: 1.4;
  --heading-line-height: 1;
  --heading-weight: var(--reader-font-weight);
  --nav-font-weight: 700;
  --h1-margin-top: 4rem;
  --h1-margin-bottom: 1.5rem;
  --h2-margin-top: 1rem;
  --h2-margin-bottom: 1.4rem;
  --h3-margin-top: 1.8rem;
  --h3-margin-bottom: 1.4rem;
  --paragraph-margin: 1.4rem;
  --list-item-gap: 0.25rem;
  --scroll-offset: 4.5rem;
  --block-border-width: 1px;
  --accent-border-width: 4px;
  --topbar-padding-block: 0.8em;
  --topbar-figure-width: 18rem;
  --topbar-figure-height: 7.7rem;
  --transition-fast: 0.15s;
  --radius-sm: 4px;
  --radius-md: 6px;
  --radius-lg: 8px;
  --container-max: 100%;
  --container-tablet: 720px;
  --container-desktop: 960px;
  --container-wide: 1120px;
  --ox-tufte-content-width: 65%;
  --ox-tufte-fullwidth: 150%;
  --ox-tufte-src-code-width: 97%;
  --ox-tufte-list-width: 50%;
  --ox-tufte-list-padding-left: 5%;
  --ox-tufte-content-font-size: var(--reader-font-size);
  --ox-tufte-content-line-height: var(--reader-line-height);
  --ox-tufte-note-line-height: 1.3;
  --ox-tufte-note-font-size: var(--text-sm);
  --ox-tufte-note-code-font-size: 1rem;
}

@media (min-width: 600px) {
  :root { --container-max: var(--container-tablet); }
}

@media (min-width: 1024px) {
  :root { --container-max: var(--container-desktop); }
}

@media (min-width: 1440px) {
  :root { --container-max: var(--container-wide); }
}

* {
  box-sizing: border-box;
}

html {
  font-size: var(--root-font-size);
  -webkit-text-size-adjust: 100%;
}

body {
  margin: 0;
  padding: 0;
  background: var(--bg);
  color: var(--text);
  font-family: var(--font-body);
  font-size: var(--reader-font-size);
  line-height: var(--reader-line-height);
  font-weight: var(--reader-font-weight);
  counter-reset: sidenote-counter;
}

.topbar {
  border-bottom: var(--block-border-width) solid var(--border);
  position: sticky;
  top: 0;
  z-index: 5;
  background: var(--bg-translucent);
  font-size: var(--reader-font-size);
}

.topbar-inner {
  max-width: var(--container-max);
  margin: 0 auto;
  padding: var(--topbar-padding-block) var(--space-4);
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: var(--space-4);
}

.topbar-brand {
  flex: 0 0 auto;
  display: flex;
  align-items: center;
  gap: var(--space-3);
  min-width: 0;
}

.topbar-title {
  white-space: nowrap;
}

.topbar-figure {
  display: block;
  width: var(--topbar-figure-width);
  height: var(--topbar-figure-height);
  overflow: hidden;
  background: var(--card-bg);
  border: var(--block-border-width) solid var(--border-accent);
  border-radius: var(--radius-sm);
}

.topbar-figure img {
  display: block;
  width: 100%;
  height: 100%;
  object-fit: contain;
  object-position: center;
}

.topbar-nav {
  display: flex;
  align-items: center;
  justify-content: flex-end;
  gap: var(--space-3);
  font-size: var(--text-md);
}

.topbar-search input {
  width: 9rem;
  padding: 0.25em 0.45em;
  background: var(--card-bg);
  border: var(--block-border-width) solid var(--border-accent);
  border-radius: var(--radius-sm);
  color: var(--text);
  font: inherit;
  font-size: var(--text-md);
}

.topbar a {
  color: var(--text);
  font-weight: var(--nav-font-weight);
  text-decoration: none;
}

.topbar a:hover {
  color: var(--link);
}

.page {
  box-sizing: content-box;
  width: 87.5%;
  max-width: 1400px;
  margin: var(--space-6) auto;
  padding: 0 0 var(--space-6) 12.5%;
  font-size: var(--ox-tufte-content-font-size);
  line-height: var(--ox-tufte-content-line-height);
}

.landing-intro {
  display: grid;
  grid-template-columns: minmax(0, 1fr) minmax(16rem, 24rem);
  gap: var(--space-6);
  align-items: end;
}

.landing h1,
.search-page h1 {
  margin-top: var(--space-6);
  margin-bottom: var(--space-3);
}

.landing-subtitle {
  color: var(--muted-dark);
  max-width: 34em;
  margin-top: 0;
}

.landing-search,
.search-page-form {
  display: grid;
  gap: var(--space-2);
}

.landing-search label {
  color: var(--muted-dark);
  font-size: var(--text-md);
}

.search-row,
.search-page-form {
  display: flex;
  gap: var(--space-2);
}

.search-row input,
.search-page-form input {
  flex: 1 1 auto;
  min-width: 0;
  padding: var(--space-2) var(--space-3);
  background: var(--card-bg);
  border: var(--block-border-width) solid var(--border-accent);
  border-radius: var(--radius-sm);
  color: var(--text);
  font: inherit;
}

.search-row button,
.search-page-form button,
.code-copy {
  padding: var(--space-2) var(--space-3);
  background: var(--accent-bg);
  border: var(--block-border-width) solid var(--border-accent);
  border-radius: var(--radius-sm);
  color: var(--text);
  cursor: pointer;
  font: inherit;
  font-size: var(--text-md);
  font-weight: var(--nav-font-weight);
}

.search-row button:hover,
.search-page-form button:hover,
.code-copy:hover {
  background: var(--green-bg);
}

.landing-stats {
  display: flex;
  gap: var(--space-3);
  margin: var(--space-5) 0 0;
}

.landing-stats div {
  min-width: 7rem;
  padding: var(--space-2) var(--space-3);
  background: var(--green-bg);
  border: var(--block-border-width) solid var(--green-border);
  border-radius: var(--radius-sm);
}

.landing-stats dt {
  color: var(--muted-dark);
  font-size: var(--text-sm);
}

.landing-stats dd {
  margin: 0;
  color: var(--green);
  font-size: var(--text-lg);
  font-weight: var(--nav-font-weight);
}

.landing-toc {
  margin-top: var(--space-6);
}

.search-count,
.search-empty {
  color: var(--muted-dark);
}

.search-results {
  list-style: none;
  margin: var(--space-5) 0 0;
  padding: 0;
}

.search-result {
  border-top: var(--block-border-width) solid var(--border);
  padding: var(--space-3) 0;
}

.search-result a {
  font-weight: var(--nav-font-weight);
}

.search-result p {
  margin: var(--space-2) 0;
  color: var(--muted-dark);
  font-size: var(--text-md);
  line-height: 1.4;
}

.search-chips {
  display: flex;
  flex-wrap: wrap;
  gap: var(--space-1);
}

.search-chip {
  padding: 0.05em 0.35em;
  background: var(--code-inline-bg);
  border-radius: var(--radius-sm);
  color: var(--muted-dark);
  font-family: var(--font-monospace);
  font-size: var(--text-sm);
}

.chapter-section {
  border-top: var(--block-border-width) solid var(--border);
  padding-top: var(--space-4);
  margin-top: var(--space-5);
}

.chapter-section h2 {
  display: grid;
  grid-template-columns: minmax(7em, auto) 1fr;
  gap: var(--space-3);
  align-items: baseline;
  margin-top: 0;
  color: var(--text);
}

.chapter-kicker {
  color: var(--red);
  font-size: var(--text-md);
  font-weight: var(--nav-font-weight);
}

.chapter-pages {
  list-style: none;
  margin: var(--space-3) 0 0;
  padding: 0;
}

.chapter-pages li {
  border-top: var(--block-border-width) solid var(--border-light);
  margin-top: 0;
}

.chapter-pages a {
  display: block;
  padding: var(--space-2) 0;
  text-decoration: none;
}

.chapter-pages a:hover {
  text-decoration: underline;
}

h1 {
  color: var(--red);
  font-size: var(--text-2xl);
  margin-top: var(--h1-margin-top);
  margin-bottom: var(--h1-margin-bottom);
}

h2 {
  font-size: var(--text-xl);
  margin-top: var(--h2-margin-top);
  margin-bottom: var(--h2-margin-bottom);
}

h3 {
  font-style: italic;
  font-size: var(--text-lg);
  margin-top: var(--h3-margin-top);
  margin-bottom: var(--h3-margin-bottom);
}

h1,
h2,
h3 {
  font-weight: var(--heading-weight);
  line-height: var(--heading-line-height);
}

p,
dl,
ol,
ul {
  font-size: inherit;
  line-height: inherit;
}

p {
  margin-top: var(--paragraph-margin);
  margin-bottom: var(--paragraph-margin);
  padding-right: 0;
  vertical-align: baseline;
}

dt:not(:first-child),
li:not(:first-child) {
  margin-top: var(--list-item-gap);
}

a {
  color: var(--link);
}

a:hover {
  color: var(--link-hover);
  text-decoration: underline;
}

.sidenote,
.marginnote {
  float: right;
  clear: right;
  width: 35%;
  margin-right: -40%;
  margin-top: 0.3rem;
  margin-bottom: 0;
  color: var(--muted-dark);
  font-size: var(--ox-tufte-note-font-size);
  line-height: var(--ox-tufte-note-line-height);
  vertical-align: baseline;
  position: relative;
}

input.margin-toggle {
  display: none;
}

label.sidenote-number {
  display: inline-block;
  max-height: var(--reader-line-height);
  cursor: pointer;
}

label.margin-toggle:not(.sidenote-number) {
  display: none;
}

.sidenote-number > sup.numeral,
.sidenote > sup.numeral {
  color: var(--red);
  font-size: var(--text-sm);
  line-height: 1;
}

.sidenote > sup.numeral {
  margin-right: 0.2em;
}

.sidenote code,
.marginnote code {
  font-size: var(--ox-tufte-note-code-font-size);
  line-height: var(--ox-tufte-note-line-height);
}

.cref {
  text-decoration-style: dotted;
}

.cref.unresolved {
  color: var(--muted-dark);
}

.equation-anchor,
figure,
.exercise,
.truefalse,
.extra,
.definition,
.theorem,
.lemma,
.proposition,
.corollary,
.remark,
.example {
  scroll-margin-top: var(--scroll-offset);
}

.equation-anchor {
  display: block;
}

.outline-2,
.outline-3 {
  background: transparent;
}

.page :is(.outline-2, .outline-3, .outline-4) > :is(h2, h3, h4),
.page :is(.outline-text-2, .outline-text-3, .outline-text-4) > :is(
  p,
  dl,
  table,
  figure,
  .exercise,
  .truefalse,
  .extra,
  .definition,
  .theorem,
  .lemma,
  .proposition,
  .corollary,
  .remark,
  .example,
  .step-details
) {
  width: var(--ox-tufte-content-width);
  max-width: var(--ox-tufte-content-width);
}

.page :is(.outline-text-2, .outline-text-3, .outline-text-4) > :is(ol, ul) {
  width: var(--ox-tufte-list-width);
  padding-inline-start: var(--ox-tufte-list-padding-left);
}

.page :is(.outline-text-2, .outline-text-3, .outline-text-4) > :is(
  .org-src-container,
  .highlight
) {
  width: var(--ox-tufte-fullwidth);
  max-width: var(--ox-tufte-fullwidth);
  clear: both;
}

.katex-display {
  width: var(--ox-tufte-content-width);
  max-width: var(--ox-tufte-content-width);
  margin-left: 0;
  margin-right: 0;
  overflow-x: visible;
  overflow-y: visible;
}

.katex-display.math-overflows {
  overflow-x: auto;
  overflow-y: hidden;
}

.katex-display > .katex {
  display: block;
  text-align: center;
}

figure {
  margin: var(--space-6) 0;
}

figure img {
  max-width: 100%;
  height: auto;
  border-radius: var(--radius-sm);
}

figcaption {
  color: var(--muted-dark);
  font-size: inherit;
  line-height: inherit;
}

.org-src-container,
.highlight {
  clear: both;
  margin: var(--space-4) 0;
}

pre,
.highlight pre {
  overflow-x: auto;
  padding: var(--space-5) var(--space-4) var(--space-3);
  background: var(--code-bg);
  border: var(--block-border-width) solid var(--border);
  border-radius: var(--radius-md);
  color: var(--code-text);
  font-family: var(--font-monospace);
  font-size: var(--code-font-size);
  line-height: var(--code-line-height);
  font-weight: 400;
  tab-size: 4;
}

pre.src {
  position: relative;
}

.highlight {
  position: relative;
}

pre.src::before {
  content: "code";
  position: absolute;
  top: 0;
  right: 0;
  padding: var(--space-1) var(--space-3);
  background: var(--code-label-bg);
  border-bottom-left-radius: var(--radius-sm);
  color: var(--muted-dark);
  font-family: var(--font-body);
  font-size: var(--text-sm);
  line-height: 1.2;
}

pre.src-python::before {
  content: "Python";
}

.highlight pre {
  margin: 0;
}

.code-toolbar {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: var(--space-3);
  padding: var(--space-1) var(--space-2);
  background: var(--code-label-bg);
  border: var(--block-border-width) solid var(--border);
  border-bottom: 0;
  border-top-left-radius: var(--radius-md);
  border-top-right-radius: var(--radius-md);
  color: var(--muted-dark);
  font-size: var(--text-sm);
  line-height: 1.2;
}

.code-labels {
  display: flex;
  flex-wrap: wrap;
  gap: var(--space-2);
  min-width: 0;
}

.code-label,
.code-language {
  color: var(--muted-dark);
  font-family: var(--font-body);
  font-weight: var(--nav-font-weight);
}

.code-label {
  color: var(--link);
}

.code-copy {
  flex: 0 0 auto;
  padding: var(--space-1) var(--space-2);
  font-size: var(--text-sm);
  line-height: 1.2;
}

.highlight .code-toolbar + pre {
  border-top-left-radius: 0;
  border-top-right-radius: 0;
}

code {
  padding: 0.05em 0.25em;
  background: var(--code-inline-bg);
  border-radius: var(--radius-sm);
  color: var(--code-text);
  font-family: var(--font-monospace);
  font-size: 0.92em;
}

pre code {
  padding: 0;
  background: transparent;
  border-radius: 0;
  font-size: inherit;
}

table {
  border-collapse: collapse;
  margin: var(--space-4) 0;
}

th,
td {
  padding: var(--space-2) var(--space-3);
  border-bottom: var(--block-border-width) solid var(--border);
}

th {
  background: var(--accent-bg);
}

.exercise,
.truefalse,
.extra,
.definition,
.theorem,
.lemma,
.proposition,
.corollary,
.remark,
.example {
  background: var(--green-bg);
  border: 0;
  border-radius: 15px;
  padding: 0.5em;
  font-size: 1em;
  margin: var(--space-4) 0;
}

.definition,
.theorem,
.lemma,
.proposition,
.corollary {
  background: var(--green-bg-strong);
}

.exercise-label {
  color: var(--text);
  font-size: var(--text-md);
  font-weight: var(--nav-font-weight);
  margin-bottom: var(--space-2);
}

.theorem-label {
  color: var(--green);
  font-size: var(--text-md);
  font-weight: var(--nav-font-weight);
  margin-bottom: var(--space-2);
}

.truefalse .exercise-label {
  color: var(--text);
}

.hint {
  color: var(--muted-dark);
  font-size: inherit;
  margin-top: 0;
}

.step-details {
  margin-top: var(--space-3);
}

.step-details.solution-toggle,
.step-details.hint-toggle {
  padding: 1em;
  background-color: var(--solution-details-bg);
  border-radius: 15px;
  color: var(--solution-details-color);
  box-shadow: var(--solution-details-shadow);
}

.step-details summary,
.step-details-inner summary {
  cursor: pointer;
  color: var(--link);
  font-size: var(--text-md);
  padding: var(--space-2) var(--space-3);
  border-radius: var(--radius-sm);
  transition: background var(--transition-fast);
}

.step-details summary:hover,
.step-details-inner summary:hover {
  color: var(--link-hover);
  background: var(--accent-bg);
}

.solution-toggle > summary,
.hint-toggle > summary {
  color: var(--text);
  font-family: Courier, var(--font-monospace);
  font-size: var(--reader-font-size);
  font-weight: var(--nav-font-weight);
}

.step-details-inner {
  margin-top: 0.3em;
  margin-left: 0;
}

.solution-check {
  background: var(--green-bg);
  border-radius: 15px;
  color: var(--text);
  font-size: 1em;
  padding: 0.5em;
}

.solution-check > b {
  font-weight: var(--nav-font-weight);
}

.solution-check .step-details-inner > summary {
  color: red;
  font-family: Courier, var(--font-monospace);
  font-size: var(--reader-font-size);
  font-weight: var(--nav-font-weight);
}

.solution-box {
  background: var(--solution-details-bg);
  border: 0;
  border-radius: 15px;
  padding: 1em;
  margin: var(--space-3) 0 var(--space-4);
  color: var(--text);
  font-size: var(--reader-font-size);
  line-height: var(--reader-line-height);
}

.solution-box p,
.solution-box dl,
.solution-box ol,
.solution-box ul {
  font-size: var(--reader-font-size);
  line-height: var(--reader-line-height);
}

.hint-box {
  background: var(--green-bg);
  border-color: var(--green-border);
}

.proof-box {
  background: var(--accent-bg);
  border-color: var(--border-accent);
}

.solution-box > .solution > :first-child,
.hint-box > .hint > :first-child,
.proof-box > .proof > :first-child,
.exercise > :first-child,
.truefalse > :first-child,
.extra > :first-child,
.definition > :first-child,
.theorem > :first-child {
  margin-top: 0;
}

.exercise > .exercise-label + *,
.truefalse > .exercise-label + *,
.extra > .exercise-label + *,
.definition > .theorem-label + *,
.theorem > .theorem-label + *,
.lemma > .theorem-label + *,
.proposition > .theorem-label + *,
.corollary > .theorem-label + *,
.remark > .theorem-label + *,
.example > .theorem-label + * {
  margin-top: 0;
}

.solution-box > .solution > :last-child,
.hint-box > .hint > :last-child,
.proof-box > .proof > :last-child,
.exercise > :last-child,
.truefalse > :last-child,
.extra > :last-child,
.definition > :last-child,
.theorem > :last-child {
  margin-bottom: 0;
}

.footpara {
  display: inline;
}

#footnotes {
  border-top: var(--block-border-width) solid var(--border);
  margin-top: var(--space-6);
  color: var(--muted-dark);
  font-size: var(--text-sm);
}

#footnotes h2 {
  color: var(--text);
}

.page-bottom-nav {
  display: grid;
  grid-template-columns: 1fr auto 1fr;
  gap: var(--space-3);
  align-items: stretch;
  border-top: var(--block-border-width) solid var(--border);
  margin-top: var(--space-6);
  padding-top: var(--space-4);
}

.page-bottom-nav a {
  padding: var(--space-3);
  background: var(--accent-bg);
  border: var(--block-border-width) solid var(--border-accent);
  border-radius: var(--radius-md);
  text-decoration: none;
}

.page-nav-link {
  display: grid;
  gap: var(--space-1);
}

.page-nav-next {
  text-align: right;
}

.page-nav-link span,
.page-nav-contents {
  color: var(--muted-dark);
  font-size: var(--text-sm);
}

.page-nav-link strong {
  color: var(--text);
  font-size: var(--text-md);
}

.site-footer {
  border-top: var(--block-border-width) solid var(--border);
  margin-top: var(--space-5);
  padding-top: var(--space-3);
  color: var(--muted-dark);
  font-size: var(--text-sm);
  line-height: 1.35;
}

.site-footer p {
  margin: 0;
}

@media (max-width: 760px) {
  :root {
    --ox-tufte-content-width: 100%;
    --ox-tufte-fullwidth: 100%;
    --ox-tufte-list-width: 90%;
    --ox-tufte-list-padding-left: 10%;
  }

  .page {
    width: 84%;
    max-width: none;
    padding-left: 8%;
    padding-right: 8%;
  }

  label.margin-toggle:not(.sidenote-number) {
    display: inline;
  }

  .sidenote,
  .marginnote {
    display: none;
  }

  .margin-toggle:checked + .sidenote,
  .margin-toggle:checked + .marginnote {
    display: block;
    float: right;
    clear: both;
    left: 0;
    width: 95%;
    margin: 1rem 0 1rem auto;
    vertical-align: baseline;
    position: relative;
  }

  label {
    cursor: pointer;
  }

  figure {
    max-width: 90%;
  }
}

@media (max-width: 599px) {
  :root {
    --topbar-figure-width: 11rem;
    --topbar-figure-height: 4.7rem;
  }

  .topbar-inner {
    align-items: flex-start;
    flex-direction: column;
    gap: var(--space-1);
  }

  .topbar-nav {
    flex-wrap: wrap;
    justify-content: flex-start;
  }

  .topbar-search {
    flex-basis: 100%;
  }

  .topbar-search input {
    width: min(100%, 18rem);
  }

  .landing-intro,
  .page-bottom-nav {
    grid-template-columns: 1fr;
  }

  .search-row,
  .search-page-form {
    flex-direction: column;
  }

  .landing-stats {
    flex-wrap: wrap;
  }

  .chapter-section h2 {
    grid-template-columns: 1fr;
    gap: var(--space-1);
  }

  .exercise,
  .truefalse,
  .extra,
  .definition,
  .theorem,
  .lemma,
  .proposition,
  .corollary,
  .remark,
  .example {
    padding: var(--space-4);
  }
}