.deepdoc-intro {
  max-width: 860px;
  margin-top: 20px;
  margin-bottom: 24px;
  color: var(--muted);
  line-height: 1.85;
}
.deepdoc-intro a {
  color: var(--accent-dark);
  text-decoration: underline;
  text-underline-offset: 4px;
}
.article-hero h1 {
  margin-top: 24px;
}
.deepdoc-manual {
  padding-bottom: 48px;
}
.deepdoc-chapter {
  border-bottom: 1px solid var(--line);
}
.deepdoc-chapter:last-child {
  border-bottom: 0;
}
.deepdoc-heading,
.deepdoc-chapter > .prose {
  margin-inline: auto;
  max-width: 860px;
}
.deepdoc-heading > .badge {
  margin-bottom: 20px;
}
.deepdoc-heading > p {
  line-height: 1.85;
}
.deepdoc-chapter .table-scroll {
  margin-top: 28px;
  margin-bottom: 28px;
}
.deepdoc-chapter pre {
  margin-top: 24px;
  margin-bottom: 24px;
  font-size: var(--small-size);
}
.deepdoc-ticket {
  margin-top: 28px;
  margin-bottom: 28px;
}
.deepdoc-ticket h3 {
  margin-top: 0;
}
.deepdoc-ticket ul {
  margin-bottom: 0;
}
.deepdoc-ticket li + li {
  margin-top: 10px;
}
@media (max-width: 640px) {
  .deepdoc-manual {
    padding-bottom: 24px;
  }
}