.deepdoc-intro{
  margin-bottom:32px;
}
.deepdoc-intro h1{
  margin-bottom:24px;
}
.deepdoc-lede{
  margin-top:24px;
  color:var(--muted);
  font-size:18px;
}
.deepdoc section{
  padding-top:8px;
  padding-bottom:24px;
}
.deepdoc section+section{
  border-top:1px solid var(--border);
}
.deepdoc .table-scroll{
  margin-block:28px;
}
.deepdoc .toc-tabs a{
  text-decoration:none;
}
@media(max-width:640px){
  .deepdoc-lede{
    font-size:16px;
  }
}