.deepdoc {
  padding-top: 64px;
}
.deepdoc-intro {
  padding-bottom: 20px;
}
.deepdoc-intro h1 {
  margin-top: 18px;
  margin-bottom: 20px;
}
.deepdoc-lead {
  margin-bottom: 24px;
  color: var(--text-muted);
  font-size: 20px;
  line-height: 1.7;
}
.deepdoc-intro a {
  color: var(--accent-dark);
  text-decoration: underline;
  text-underline-offset: 3px;
}
.deepdoc-intro .badge-row {
  margin-top: 24px;
}
.deepdoc-chapter {
  padding-top: 36px;
  padding-bottom: 40px;
  border-bottom: 1px solid var(--border);
  scroll-margin-top: 148px;
}
.deepdoc-chapter > .mono {
  margin-bottom: 12px;
  font-size: 12px;
  letter-spacing: 0.1em;
}
.deepdoc-chapter h2 {
  margin-top: 0;
}
.deepdoc-chapter .table-scroll {
  margin-top: 28px;
  margin-bottom: 32px;
}
.deepdoc-chapter .table-scroll table {
  display: table;
  overflow: visible;
}
.deepdoc-chapter:last-child {
  border-bottom: 0;
  padding-bottom: 0;
}
@media (max-width: 768px) {
  .deepdoc-chapter {
    scroll-margin-top: 220px;
  }
  .deepdoc-lead {
    font-size: 18px;
  }
}
@media (max-width: 640px) {
  .deepdoc {
    padding-top: 40px;
  }
  .deepdoc-chapter {
    padding-top: 28px;
    padding-bottom: 32px;
    scroll-margin-top: 24px;
  }
  .deepdoc-intro > .mono {
    overflow-wrap: anywhere;
    font-size: 11px;
  }
}