/* Indentation. */
div.doc-contents:not(.first) {
  padding-left: 25px;
  border-left: 0.1rem solid var(--md-typeset-table-color);
}