.manual-heading{
  max-width:var(--reading-width);
  padding-bottom:var(--space-6);
}
.manual-heading h1{
  margin-bottom:var(--space-3);
}
.manual-lead{
  font-size:var(--size-lead);
  color:var(--text-muted);
  margin-bottom:var(--space-3);
}
.manual-body{
  padding-bottom:var(--space-8);
}
.manual-body .toc-tabs a{
  text-decoration:none;
}
.manual-body section{
  padding-top:var(--space-2);
}
.manual-body .table-scroll{
  margin-top:var(--space-3);
  margin-bottom:var(--space-3);
}
.manual-body pre{
  margin-top:var(--space-3);
  margin-bottom:var(--space-3);
}