.deepdoc-intro h1 {
  margin-top:var(--space-lg);
  margin-bottom:var(--space-lg);
}

.deepdoc-intro__lede {
  font-size:var(--text-large);
  color:var(--text-muted);
}

.deepdoc-intro .toc {
  margin-top:var(--space-xl);
}

.deepdoc-chapter h2:first-child {
  margin-top:0;
}

.deepdoc-chapter pre {
  margin-block:var(--space-lg);
}

.deepdoc-chapter .table-scroll {
  margin-block:var(--space-lg);
}

.deepdoc-chapter ol {
  padding-left:var(--space-lg);
}

.deepdoc-chapter .prose > :last-child {
  margin-bottom:0;
}