:root,
:root[data-course-theme="teal"] {
  color-scheme: light dark;
  --page: #fbfaf7;
  --panel: #ffffff;
  --panel-alt: #f3f0e9;
  --ink: #1d252d;
  --muted: #65717d;
  --rule: #d8d1c6;
  --accent: #0f766e;
  --accent-border: rgba(15, 118, 110, 0.18);
  --accent-soft: rgba(15, 118, 110, 0.1);
  --warn-soft: rgba(180, 83, 9, 0.11);
  --warn: #92400e;
  --danger: #8f1d1d;
  --danger-border: rgba(185, 28, 28, 0.18);
  --danger-soft: rgba(185, 28, 28, 0.07);
  --surface-glass: rgba(255, 255, 255, 0.72);
  --surface-glass-strong: rgba(255, 255, 255, 0.94);
  --surface-glass-solid: rgba(255, 255, 255, 0.98);
  --shadow-soft: rgba(29, 37, 45, 0.09);
  --shadow-panel: rgba(29, 37, 45, 0.14);
  --tag-immediate-bg: #fed7aa;
  --tag-immediate-ink: #7c2d12;
  --tag-header-bg: #f3e8ff;
  --tag-header-border: #ddd6fe;
}

:root[data-course-theme="logo"] {
  --accent: #dd701b;
  --accent-border: rgba(221, 112, 27, 0.24);
  --accent-soft: rgba(221, 112, 27, 0.13);
}

@media (prefers-color-scheme: dark) {
  :root,
  :root[data-course-theme="teal"] {
    --page: #101311;
    --panel: #171c19;
    --panel-alt: #202620;
    --ink: #edf4ef;
    --muted: #a8b5ae;
    --rule: #354139;
    --accent: #67d6c9;
    --accent-border: rgba(103, 214, 201, 0.32);
    --accent-soft: rgba(103, 214, 201, 0.14);
    --warn: #f2b66d;
    --warn-soft: rgba(242, 182, 109, 0.14);
    --danger: #ff9aa3;
    --danger-border: rgba(255, 154, 163, 0.28);
    --danger-soft: rgba(255, 154, 163, 0.13);
    --surface-glass: rgba(23, 28, 25, 0.72);
    --surface-glass-strong: rgba(23, 28, 25, 0.94);
    --surface-glass-solid: rgba(23, 28, 25, 0.98);
    --shadow-soft: rgba(0, 0, 0, 0.26);
    --shadow-panel: rgba(0, 0, 0, 0.38);
    --tag-immediate-bg: rgba(242, 182, 109, 0.2);
    --tag-immediate-ink: #ffd09a;
    --tag-header-bg: rgba(196, 167, 255, 0.16);
    --tag-header-border: rgba(196, 167, 255, 0.34);
  }

  :root[data-course-theme="logo"] {
    --accent: #ffb06a;
    --accent-border: rgba(255, 176, 106, 0.34);
    --accent-soft: rgba(255, 176, 106, 0.15);
  }
}

* {
  box-sizing: border-box;
}

body {
  margin: 0;
  background: var(--page);
  color: var(--ink);
  font-family: Avenir Next, Segoe UI, system-ui, sans-serif;
  line-height: 1.6;
}

main {
  max-width: 1120px;
  width: calc(100vw - 32px);
  margin: 0 auto;
  padding: 44px 0 72px;
}

header {
  border-bottom: 1px solid var(--rule);
  margin-bottom: 32px;
  padding-bottom: 28px;
}

header.no-rule {
  border-bottom: 0;
  margin-bottom: 18px;
  padding-bottom: 0;
}

h1,
h2,
h3 {
  line-height: 1.15;
}

h1 {
  margin: 0 0 12px;
  font-size: clamp(2.25rem, 5vw, 4rem);
  letter-spacing: 0;
  overflow-wrap: normal;
}

h2 {
  margin: 0 0 16px;
  font-size: 1.6rem;
}

h3 {
  margin: 0 0 8px;
  font-size: 1.05rem;
}

p {
  max-width: 78ch;
}

a {
  color: var(--accent);
  text-decoration-thickness: 0.08em;
  text-underline-offset: 0.18em;
}

.lede {
  color: var(--muted);
  font-size: 1.08rem;
  max-width: 78ch;
}

.section-band {
  border-bottom: 1px solid var(--rule);
  padding: 26px 0;
}

.section-band:last-child {
  border-bottom: 0;
}

.overview-page .section-band {
  border-bottom: 0;
  padding: 30px 0;
}

.overview-page .section-band + .section-band {
  padding-top: 38px;
}

.course-index {
  max-width: 980px;
  padding-bottom: 34px;
  padding-top: 26px;
}

.course-index header.no-rule {
  margin-bottom: 8px;
}

.course-index .section-band {
  padding: 16px 0;
}

.course-header-lockup {
  align-items: center;
  display: grid;
  gap: 34px;
  grid-template-columns: minmax(180px, 260px) minmax(0, 1fr);
  margin-bottom: 18px;
}

.course-index .course-header-lockup {
  gap: 28px;
  grid-template-columns: minmax(160px, 220px) minmax(0, 1fr);
  margin-bottom: 8px;
}

.course-mark {
  margin: 0;
}

.course-mark picture {
  display: block;
}

.course-mark img {
  display: block;
  height: auto;
  width: 100%;
}

.course-header-copy {
  min-width: 0;
}

.course-header-copy .lede {
  margin: 0;
  max-width: 46ch;
  overflow-wrap: break-word;
}

.course-sequence {
  counter-reset: course-step;
  list-style: none;
  margin: 0;
  max-width: 900px;
  padding: 0;
}

.course-sequence li {
  display: grid;
  gap: 24px;
  grid-template-columns: 56px minmax(0, 1fr);
  padding: 18px 0;
}

.course-index .course-sequence li {
  padding: 12px 0;
}

.course-sequence li + li {
  margin-top: 6px;
}

.course-index .course-sequence li + li {
  margin-top: 2px;
}

.sequence-number {
  color: var(--accent);
  font-size: 0.95rem;
  font-variant-numeric: tabular-nums;
  font-weight: 750;
  line-height: 1.15;
  padding-top: 1px;
  text-align: right;
}

.sequence-main h3 {
  font-size: 1.16rem;
  margin-bottom: 6px;
}

.course-index .sequence-main h3 {
  margin-bottom: 4px;
}

.sequence-main h3 a {
  color: var(--ink);
  text-decoration: none;
}

.sequence-main h3 a:hover {
  color: var(--accent);
  text-decoration: underline;
  text-decoration-thickness: 0.08em;
}

.sequence-main p {
  color: var(--muted);
  margin: 0;
}

.sequence-main .sequence-meta {
  color: var(--accent);
  font-size: 0.9rem;
  font-weight: 650;
  margin-top: 5px;
}

.course-side-toc,
.course-compact-toc {
  font-size: 0.86rem;
}

.course-side-toc {
  display: none;
}

.course-toc-section + .course-toc-section {
  margin-top: 20px;
}

.course-toc-heading {
  color: var(--muted);
  font-size: 0.72rem;
  font-weight: 750;
  letter-spacing: 0.08em;
  margin-bottom: 8px;
  text-transform: uppercase;
}

.course-toc-list {
  list-style: none;
  margin: 0;
  padding: 0;
}

.course-toc-list li + li {
  margin-top: 2px;
}

.course-toc-pages {
  display: flex;
  flex-wrap: nowrap;
  gap: 6px;
  overflow-x: auto;
}

.course-toc-pages li + li {
  align-items: center;
  display: flex;
  margin-top: 0;
}

.course-toc-pages li + li::before {
  color: var(--muted);
  content: "·";
  line-height: 1;
  margin-right: 6px;
}

.course-toc-pages li:nth-child(2)::before {
  content: none;
  margin-right: 0;
}

.course-toc-pages .course-toc-link {
  align-items: center;
  border: 1px solid transparent;
  font-size: 0.78rem;
  font-weight: 650;
  min-height: calc(1.25em + 8px);
  padding: 3px 6px;
  white-space: nowrap;
}

.course-toc-pages .course-toc-link.is-active {
  background: var(--accent-soft);
  border-color: var(--accent-border);
}

.course-toc-home-link {
  justify-content: center;
  min-width: 1.7rem;
}

.course-toc-home-icon {
  align-items: center;
  display: inline-flex;
  height: 1.25em;
  justify-content: center;
  line-height: 1;
  width: 1em;
}

.course-toc-home-icon svg {
  display: block;
  fill: none;
  height: 1em;
  stroke: currentColor;
  stroke-linejoin: round;
  stroke-width: 1.8;
  width: 1em;
}

.course-toc-link {
  align-items: baseline;
  border-radius: 6px;
  color: var(--muted);
  display: flex;
  gap: 7px;
  line-height: 1.25;
  padding: 4px 5px;
  text-decoration: none;
}

.course-toc-link:hover {
  background: var(--accent-soft);
  color: var(--ink);
}

.course-toc-link.is-active {
  background: var(--accent-soft);
  color: var(--accent);
}

.course-toc-number {
  flex: 0 0 1.35rem;
  font-variant-numeric: tabular-nums;
  text-align: right;
}

.course-toc-local-list li + li {
  margin-top: 1px;
}

.course-toc-local .course-toc-link {
  font-size: 0.8rem;
  padding-bottom: 3px;
  padding-top: 3px;
}

.course-toc-local .course-toc-link-level-1 {
  color: var(--ink);
  font-weight: 750;
  padding-left: 5px;
}

.course-toc-local .course-toc-link-level-2 {
  padding-left: 12px;
}

.course-toc-local .course-toc-link-level-3 {
  font-size: 0.76rem;
  padding-left: 25px;
  position: relative;
}

.course-toc-local .course-toc-link-level-3::before {
  background: var(--rule);
  content: "";
  height: 1px;
  left: 13px;
  position: absolute;
  top: 0.85em;
  width: 6px;
}

.course-toc-local .course-toc-link-kind-exercise .course-toc-text {
  font-style: italic;
}

.course-toc-local .course-toc-link-kind-checkpoint .course-toc-text {
  font-style: italic;
}

.course-toc-local .course-toc-text {
  display: -webkit-box;
  -webkit-box-orient: vertical;
  -webkit-line-clamp: 2;
  overflow: hidden;
}

.course-next-exercise {
  align-items: center;
  background: #0f766e;
  border: 1px solid #0b5f59;
  border-radius: 999px;
  box-shadow: 0 8px 24px var(--shadow-soft);
  color: #ffffff;
  display: inline-flex;
  font-size: 0.84rem;
  font-weight: 760;
  gap: 6px;
  letter-spacing: 0;
  line-height: 1;
  padding: 10px 13px;
  position: fixed;
  right: calc(12px + env(safe-area-inset-right));
  text-decoration: none;
  top: calc(12px + env(safe-area-inset-top));
  z-index: 42;
}

.course-next-exercise::after {
  content: "↓";
  font-size: 0.92rem;
  line-height: 1;
}

.course-next-exercise:hover,
.course-next-exercise:focus-visible {
  background: #0b5f59;
  border-color: #094b47;
  color: #ffffff;
  text-decoration: none;
}

.course-compact-toc {
  align-items: flex-end;
  bottom: 12px;
  display: flex;
  flex-direction: column-reverse;
  position: fixed;
  right: 12px;
  width: auto;
  z-index: 40;
}

.course-compact-summary {
  align-items: baseline;
  background: var(--surface-glass-strong);
  border: 1px solid var(--rule);
  border-radius: 8px;
  box-shadow: 0 8px 24px var(--shadow-soft);
  cursor: pointer;
  display: flex;
  gap: 8px;
  max-width: min(280px, calc(100vw - 24px));
  padding: 8px 10px;
}

.course-compact-summary::-webkit-details-marker {
  display: none;
}

.course-compact-label {
  color: var(--ink);
  font-weight: 750;
}

.course-compact-current {
  color: var(--muted);
  font-size: 0.78rem;
  max-width: 145px;
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
}

.course-compact-panel {
  background: var(--surface-glass-solid);
  border: 1px solid var(--rule);
  border-radius: 8px;
  box-shadow: 0 16px 36px var(--shadow-panel);
  margin-bottom: 6px;
  max-height: min(72vh, 560px);
  overflow: auto;
  padding: 12px;
  width: min(440px, calc(100vw - 24px));
}

@media (min-width: 1320px) {
  body.course-toc-ready main {
    margin-left: 424px;
    margin-right: 24px;
    width: auto;
  }

  body.course-toc-ready .course-index {
    margin-left: 424px;
    width: auto;
  }

  .course-side-toc {
    border-left: 2px solid var(--rule);
    border-right: 1px solid var(--rule);
    display: block;
    left: 20px;
    max-height: calc(100vh - 64px);
    overflow: auto;
    padding: 6px 12px 8px;
    position: fixed;
    top: 32px;
    width: 360px;
    z-index: 20;
  }

  .course-side-toc .course-toc-pages .course-toc-link {
    font-size: 0.64rem;
    padding-left: 3px;
    padding-right: 3px;
  }

  .course-side-toc .course-toc-pages li + li::before {
    margin-right: 2px;
  }

  .course-side-toc .course-toc-pages {
    gap: 2px;
    overflow-x: visible;
  }

  .course-side-toc .course-toc-section + .course-toc-section {
    margin-top: 24px;
  }

  .course-side-toc .course-toc-local .course-toc-link {
    padding-bottom: 3.5px;
    padding-top: 3.5px;
  }

  .course-side-toc .course-toc-home-link {
    min-width: 1.35rem;
  }

  .course-compact-toc {
    display: none;
  }
}

.example-page > h1,
.lecture-page > h1 {
  margin-bottom: 30px;
}

.example-page > p,
.lecture-page > p {
  color: var(--muted);
}

.example-page > section,
.lecture-page > section {
  border-bottom: 0;
  margin: 0;
  padding: 30px 0;
}

.example-page > section + section,
.lecture-page > section + section {
  padding-top: 38px;
}

.grid {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(260px, 1fr));
  gap: 14px;
}

.card {
  background: var(--panel);
  border: 1px solid var(--rule);
  border-radius: 8px;
  padding: 16px;
}

.card p {
  margin: 8px 0 0;
  color: var(--muted);
}

.course-figure {
  margin: 18px 0 20px;
  max-width: 860px;
}

.course-figure.narrow {
  max-width: 560px;
}

.value-model-figure {
  margin: 22px 0 20px;
  max-width: 920px;
}

.value-model-grid {
  display: grid;
  gap: 18px;
  grid-template-columns: repeat(2, minmax(0, 1fr));
}

.value-model-panel {
  background: var(--surface-glass);
  border: 1px solid var(--rule);
  border-radius: 8px;
  padding: 16px;
}

.value-model-panel h3 {
  margin-bottom: 12px;
}

.value-model-panel p {
  color: var(--muted);
  font-size: 0.94rem;
  margin: 12px 0 0;
}

.value-word {
  display: grid;
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 0.9rem;
  font-weight: 700;
  grid-template-columns: minmax(0, 1fr) 42px;
  line-height: 1.2;
  min-height: 48px;
  text-align: center;
}

.value-word-main,
.value-word-tag {
  align-items: center;
  border: 1px solid var(--rule);
  display: flex;
  justify-content: center;
  padding: 10px 8px;
}

.value-word-main {
  background: var(--panel);
  border-radius: 8px 0 0 8px;
}

.value-word-tag {
  border-left: 0;
  border-radius: 0 8px 8px 0;
}

.value-word-immediate .value-word-tag {
  background: var(--tag-immediate-bg);
  color: var(--tag-immediate-ink);
}

.value-word-pointer .value-word-tag {
  background: var(--accent-soft);
  color: var(--accent);
}

.value-pointer-line {
  border-left: 2px solid var(--accent);
  height: 22px;
  margin: 4px auto;
  position: relative;
  width: 0;
  z-index: 1;
}

.value-pointer-line::after {
  border-left: 5px solid transparent;
  border-right: 5px solid transparent;
  border-top: 6px solid var(--accent);
  bottom: -1px;
  content: "";
  left: -6px;
  position: absolute;
}

.heap-block-model {
  background: var(--surface-glass);
  border: 1px solid var(--rule);
  border-radius: 8px;
  margin-top: -1px;
  padding: 9px;
  position: relative;
}

.heap-block-label {
  color: var(--accent);
  font-size: 0.72rem;
  font-weight: 750;
  line-height: 1;
  margin: -2px 0 8px;
  text-transform: uppercase;
}

.heap-model {
  align-items: stretch;
  display: grid;
  gap: 6px;
  grid-template-columns: minmax(0, 1.1fr) minmax(0, 1fr) 34px minmax(0, 1fr);
}

.heap-model-word {
  background: var(--panel);
  border: 1px solid var(--rule);
  border-radius: 7px;
  min-height: 64px;
  padding: 10px 8px;
}

.heap-model-word strong,
.heap-model-word span {
  display: block;
}

.heap-model-word strong {
  font-size: 0.86rem;
}

.heap-model-word span {
  color: var(--muted);
  font-size: 0.78rem;
  line-height: 1.25;
  margin-top: 4px;
}

.heap-model-header {
  background: var(--tag-header-bg);
  border-color: var(--tag-header-border);
}

.heap-model-ellipsis {
  align-items: center;
  color: var(--muted);
  display: flex;
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 1rem;
  font-weight: 750;
  justify-content: center;
  min-height: 64px;
}

oxcaml,
.oxcaml-embed {
  display: block;
  max-width: 820px;
  --oxcaml-bg: var(--panel);
  --oxcaml-ink: var(--ink);
  --oxcaml-muted: var(--muted);
  --oxcaml-border: var(--rule);
  --oxcaml-editor-selection: var(--accent-soft);
  --oxcaml-editor-cursor: var(--accent);
  --oxcaml-output-bg: var(--panel-alt);
  --oxcaml-output-border: var(--rule);
  --oxcaml-accent: var(--accent);
  --oxcaml-ok: var(--accent);
  --oxcaml-file: #49627d;
  --oxcaml-radius: 8px;
  --oxcaml-margin-block: 1rem 1.15rem;
  --oxcaml-font-family: Avenir Next, Segoe UI, system-ui, sans-serif;
  --oxcaml-mono-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
}

.course-scroll-anchor:has(> oxcaml),
.course-scroll-anchor:has(> .oxcaml-embed) {
  margin-block: 1.25rem 2rem;
  max-width: 820px;
}

.course-scroll-anchor:has(> oxcaml) + h2,
.course-scroll-anchor:has(> oxcaml) + h3,
.course-scroll-anchor:has(> .oxcaml-embed) + h2,
.course-scroll-anchor:has(> .oxcaml-embed) + h3 {
  margin-top: 2rem;
}

oxcaml .transcript-line.file,
.oxcaml-embed .transcript-line.file {
  color: var(--oxcaml-file, var(--oxcaml-detail, var(--muted)));
}

@media (prefers-color-scheme: dark) {
  oxcaml,
  .oxcaml-embed {
    --oxcaml-bg: var(--panel);
    --oxcaml-ink: var(--ink);
    --oxcaml-editor: #101511;
    --oxcaml-editor-ink: var(--ink);
    --oxcaml-editor-gutter: #0d120f;
    --oxcaml-editor-gutter-ink: var(--muted);
    --oxcaml-editor-gutter-border: rgba(237, 244, 239, 0.08);
    --oxcaml-editor-active: rgba(237, 244, 239, 0.06);
    --oxcaml-output-bg: var(--panel-alt);
    --oxcaml-output-border: var(--rule);
    --oxcaml-stream: var(--ink);
    --oxcaml-code: #dfe8e2;
    --oxcaml-detail: var(--muted);
    --oxcaml-prefix: #93a29a;
    --oxcaml-interface-bg: rgba(34, 197, 94, 0.14);
    --oxcaml-interface-ink: #dff7eb;
    --oxcaml-tooltip-bg: var(--panel-alt);
    --oxcaml-tooltip-ink: var(--ink);
    --oxcaml-file: #c8d4cd;
  }
}

.checkpoint,
.exercise {
  display: block;
  max-width: 820px;
}

.exercise-freeform {
  display: grid;
  gap: 6px;
  margin-top: 12px;
}

.exercise-freeform-label {
  color: var(--text, var(--ink, #1d252d));
  font-size: 0.92rem;
  font-weight: 700;
}

.exercise-freeform-textarea {
  min-height: 7rem;
  width: 100%;
  resize: vertical;
  border: 1px solid var(--border, #d8d1c6);
  border-radius: 8px;
  background: var(--panel, #ffffff);
  color: var(--text, var(--ink, #1d252d));
  font: inherit;
  line-height: 1.45;
  padding: 10px 12px;
}

.exercise-freeform-textarea:focus {
  border-color: var(--accent, #0f766e);
  box-shadow: 0 0 0 3px color-mix(in srgb, var(--accent, #0f766e) 18%, transparent);
  outline: none;
}

.exercise-context {
  margin: 0 0 10px;
  font-size: 0.92rem;
  color: var(--muted, #65717d);
}

.exercise-context strong {
  color: var(--text, var(--ink, #1d252d));
}

.course-exercise-targeted {
  animation: courseExerciseTarget 1.4s ease-out;
  border-radius: 10px;
}

@keyframes courseExerciseTarget {
  0% {
    box-shadow: 0 0 0 0 rgba(15, 118, 110, 0.46);
    outline: 2px solid rgba(15, 118, 110, 0.72);
    outline-offset: 8px;
  }

  58% {
    box-shadow: 0 0 0 14px rgba(15, 118, 110, 0);
    outline-color: rgba(15, 118, 110, 0.52);
    outline-offset: 11px;
  }

  100% {
    box-shadow: 0 0 0 18px rgba(15, 118, 110, 0);
    outline-color: rgba(15, 118, 110, 0);
    outline-offset: 14px;
  }
}

.native-check-example {
  max-width: 820px;
}

.native-check-example .code-sketch {
  margin-bottom: 8px;
}

.native-check-result,
.native-diagnostic {
  border-radius: 8px;
  font-size: 0.9rem;
  margin: 0 0 1.15rem;
}

.native-check-result {
  background: var(--accent-soft);
  border: 1px solid var(--accent-border);
  color: var(--accent);
  font-weight: 700;
  padding: 8px 12px;
}

.native-diagnostic {
  background: var(--danger-soft);
  border: 1px solid var(--danger-border);
  color: var(--danger);
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  line-height: 1.45;
  overflow-x: auto;
  padding: 10px 12px;
}

.native-diagnostic code {
  background: transparent;
  padding: 0;
  white-space: pre;
}

.code-with-figure {
  align-items: start;
  display: grid;
  gap: 18px;
  grid-template-columns: minmax(0, 1fr) minmax(220px, 0.34fr);
  margin: 1rem 0;
}

.course-aside {
  background: color-mix(in srgb, var(--panel-alt) 42%, var(--panel));
  border: 1px solid color-mix(in srgb, var(--rule) 78%, var(--panel));
  border-left: 4px solid color-mix(in srgb, var(--muted) 72%, var(--rule));
  border-radius: 8px;
  color: var(--ink);
  font-size: 0.92rem;
  line-height: 1.45;
  margin: 1rem 0 1.15rem;
  max-width: 820px;
  padding: 12px 14px;
}

.course-aside h3 {
  color: var(--muted);
  font-size: 0.78rem;
  font-weight: 800;
  letter-spacing: 0.08em;
  margin: 0 0 7px;
  text-transform: uppercase;
}

::target-text {
  background: color-mix(in srgb, var(--accent-soft) 72%, transparent);
  color: inherit;
}

.course-aside p {
  margin: 0;
}

.course-aside p + p {
  margin-top: 8px;
}

.course-aside code {
  overflow-wrap: anywhere;
  white-space: normal;
}

.code-with-figure > oxcaml,
.code-with-figure > .oxcaml-embed {
  margin: 0;
  max-width: none;
  min-width: 0;
}

.code-with-figure .course-figure {
  margin: 0;
  max-width: none;
  min-width: 0;
}

.code-with-figure > .course-aside {
  align-self: start;
  margin: 0;
}

@media (max-width: 640px) {
  main {
    width: calc(100vw - 28px);
    padding-top: 34px;
  }

  h1 {
    font-size: 2rem;
    overflow-wrap: anywhere;
  }

  .course-sequence li {
    gap: 14px;
    grid-template-columns: 38px minmax(0, 1fr);
  }

  .sequence-number {
    font-size: 0.88rem;
  }

  .sequence-main h3 {
    font-size: 1.05rem;
  }

  p code,
  li code,
  summary code {
    overflow-wrap: anywhere;
    white-space: normal;
  }

  .course-header-lockup,
  .course-index .course-header-lockup {
    align-items: start;
    gap: 20px;
    grid-template-columns: 1fr;
  }

  .course-mark img {
    max-width: min(230px, 62vw);
  }

  .course-header-copy .lede {
    max-width: 100%;
  }

  main.course-index ~ .course-compact-toc {
    display: none;
  }

  .course-compact-current {
    display: none;
  }

  .schedule {
    display: block;
    overflow-x: auto;
  }
}

@media (max-width: 820px) {
  .code-with-figure {
    grid-template-columns: 1fr;
  }

  .code-with-figure > oxcaml,
  .code-with-figure > .oxcaml-embed,
  .code-with-figure > .course-figure,
  .code-with-figure > .course-aside {
    max-width: 100%;
    min-width: 0;
  }

  .value-model-grid {
    grid-template-columns: 1fr;
  }
}

.course-figure img {
  border-radius: 8px;
  display: block;
  height: auto;
  width: 100%;
}

.course-figure figcaption {
  color: var(--muted);
  font-size: 0.92rem;
  margin-top: 8px;
}

.code-sketch {
  --syntax-annotation: #8c5f16;
  --syntax-comment: #6d7988;
  --syntax-constructor: #8a5a00;
  --syntax-function: #0d638c;
  --syntax-keyword: #98521a;
  --syntax-label: #8b3aa8;
  --syntax-module: #0d638c;
  --syntax-number: #846000;
  --syntax-operator: #4f5c6b;
  --syntax-oxcaml: #b8462b;
  --syntax-package: #007260;
  --syntax-package-open: #475fa5;
  --syntax-parameter: #805514;
  --syntax-property: #7a4d9b;
  --syntax-string: #276a3f;
  --syntax-type: #0d638c;
  background: var(--panel);
  border: 1px solid var(--rule);
  border-radius: 8px;
  color: var(--ink);
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 0.92rem;
  line-height: 1.45;
  margin: 1rem 0 1.15rem;
  max-width: 820px;
  overflow-x: auto;
  padding: 13px 15px;
}

@media (prefers-color-scheme: dark) {
  .code-sketch {
    --syntax-annotation: #ffd28f;
    --syntax-comment: #8391a4;
    --syntax-constructor: #f2c572;
    --syntax-function: #9fd8ff;
    --syntax-keyword: #ffb57e;
    --syntax-label: #f4b5ff;
    --syntax-module: #8ed2ff;
    --syntax-number: #f7cd74;
    --syntax-operator: #d8e1ec;
    --syntax-oxcaml: #ff9f7a;
    --syntax-package: #7fd6c2;
    --syntax-package-open: #a8bcff;
    --syntax-parameter: #ffd7a1;
    --syntax-property: #d7c1ff;
    --syntax-string: #b6f09c;
    --syntax-type: #88c6ff;
  }
}

.code-sketch code {
  background: transparent;
  border-radius: 0;
  padding: 0;
  white-space: pre;
}

.code-sketch .tok-keyword {
  color: var(--syntax-keyword);
  font-weight: 650;
}

.code-sketch .tok-module {
  color: var(--syntax-module);
}

.code-sketch .tok-string {
  color: var(--syntax-string);
}

.code-sketch .tok-comment {
  color: var(--syntax-comment);
  font-style: italic;
}

.code-sketch .tok-number {
  color: var(--syntax-number);
}

.code-sketch .tok-operator {
  color: var(--syntax-operator);
}

.code-sketch .tok-function {
  color: var(--syntax-function);
}

.code-sketch .tok-parameter {
  color: var(--syntax-parameter);
}

.code-sketch .tok-type {
  color: var(--syntax-type);
}

.code-sketch .tok-constructor {
  color: var(--syntax-constructor);
}

.code-sketch .tok-property {
  color: var(--syntax-property);
}

.code-sketch .tok-tag,
.code-sketch .tok-oxcaml {
  color: var(--syntax-oxcaml);
  font-weight: 700;
}

.code-sketch .tok-annotation {
  color: var(--syntax-annotation);
  font-style: italic;
}

.code-sketch .tok-package {
  color: var(--syntax-package);
  font-weight: 700;
}

.code-sketch .tok-package-open {
  color: var(--syntax-package-open);
}

.code-sketch .tok-label {
  color: var(--syntax-label);
}

.feature-list {
  display: grid;
  gap: 0;
  list-style: none;
  margin: 0;
  padding: 0;
}

.feature-list li {
  display: grid;
  gap: 22px;
  grid-template-columns: minmax(150px, 0.34fr) 1fr;
  padding: 7px 0;
}

.feature-list strong {
  color: var(--ink);
  font-size: 0.9rem;
  letter-spacing: 0.02em;
  text-align: right;
}

.feature-list .feature-copy {
  color: var(--muted);
}

.feature-list code {
  color: var(--ink);
}

@media (max-width: 640px) {
  .feature-list li {
    gap: 4px;
    grid-template-columns: 1fr;
  }

  .feature-list strong {
    text-align: left;
  }
}

.outcome-list {
  margin: 0;
  max-width: 78ch;
  padding-left: 1.25rem;
}

.outcome-list li + li {
  margin-top: 8px;
}

.meta {
  display: flex;
  flex-wrap: wrap;
  gap: 8px;
  margin-top: 12px;
}

.pill {
  display: inline-flex;
  align-items: center;
  border-radius: 999px;
  background: var(--accent-soft);
  color: var(--accent);
  font-size: 0.82rem;
  font-weight: 650;
  padding: 4px 8px;
}

.pill.warn {
  background: var(--warn-soft);
  color: var(--warn);
}

.schedule {
  width: 100%;
  border-collapse: collapse;
  background: var(--panel);
  border: 1px solid var(--rule);
  border-radius: 8px;
  overflow: hidden;
}

.schedule th,
.schedule td {
  border-bottom: 1px solid var(--rule);
  padding: 10px 12px;
  text-align: left;
  vertical-align: top;
}

.schedule th {
  background: var(--panel-alt);
  font-size: 0.9rem;
}

.schedule tr:last-child td {
  border-bottom: 0;
}

.page-nav {
  display: flex;
  justify-content: space-between;
  gap: 12px;
  padding-top: 24px;
}

.page-nav a {
  align-items: flex-start;
  background: var(--panel);
  border: 1px solid var(--rule);
  border-radius: 8px;
  color: var(--ink);
  display: flex;
  flex-direction: column;
  min-width: min(240px, 48%);
  padding: 12px 14px;
  text-decoration: none;
}

.page-nav a:hover {
  border-color: var(--accent);
}

.page-nav span {
  color: var(--muted);
  font-size: 0.78rem;
  font-weight: 650;
  text-transform: uppercase;
}

.page-nav strong {
  font-size: 1rem;
}

.page-nav .prev::before {
  content: "←";
  color: var(--accent);
  font-weight: 700;
  margin-bottom: 2px;
}

.page-nav .next {
  align-items: flex-end;
  margin-left: auto;
  text-align: right;
}

.page-nav .next::before {
  content: "→";
  color: var(--accent);
  font-weight: 700;
  margin-bottom: 2px;
}

main details:not([open]) {
  margin-bottom: 18px;
}

code {
  background: var(--panel-alt);
  border-radius: 5px;
  padding: 0.1em 0.28em;
}

p code,
li code,
summary code,
figcaption code,
td code,
th code {
  white-space: nowrap;
}