.deepdoc-intro {
  margin-bottom: 40px;
}
.deepdoc-intro h1 {
  margin-top: 20px;
  margin-bottom: 16px;
}
.deepdoc-lede {
  color: var(--text-muted);
  font-size: 20px;
  line-height: 1.6;
}
.deepdoc-intro .tag-row {
  margin-top: 24px;
}
.deepdoc-body > section {
  padding-top: 16px;
  padding-bottom: 32px;
  scroll-margin-top: 100px;
}
.deepdoc-body > section + section {
  border-top: 1px solid var(--border);
}
.deepdoc-body > section > h2 {
  margin-top: 24px;
}
.deepdoc-body .table-scroll {
  margin-top: 28px;
  margin-bottom: 28px;
}
.deepdoc-body ol {
  padding-left: 1.5em;
}
.deepdoc-body li + li {
  margin-top: 12px;
}
@media (max-width: 768px) {
  .deepdoc-lede {
    font-size: 18px;
  }
  .deepdoc-body > section {
    scroll-margin-top: 96px;
  }
}