body {
  background-color: white;
}
nav ul {
  list-style-type: none;
  padding-inline-start: 1rem;
}
div.sourceCode {
  overflow: visible;
  margin-left: 0;
}
pre.numberSource {
  margin: 0;
}
pre.sourceCode {
  overflow: auto;
}
pre.sourceCode.numberSource {
  overflow: visible;
  >code {
    white-space: pre-wrap;
    >span {
      left: 8px;
      text-indent: -4.5em;
    }
  }
}
pre>code {
  white-space: pre;
}
