hr {
  margin-top: 6pt;
  margin-bottom: 6pt;
  border-color: #b5cfda;
}

li {
  margin-left: 10pt;
}

.section {
  border-top: 2px solid #B5CFDA;
  margin-top: 10pt;
  padding-top: 10pt;
  margin-left: 0pt;
  font-size: 20pt;
}

pre {
  font-family: Monaco, "Courier New", monospace;
}

.sidebar {
  overflow-y: auto;
}

.error {
  color: red;
}