a.content-links {
  text-decoration: none;
  cursor: pointer;
  padding-left: 10px;
}

h2.section-heading {
  font-weight: bold;
  font-size: 1.5em;
  border-style: solid;
  border-color: #0a0a2d;
  background-color: #f3f9ff;
  text-align: center;
  margin-left: 10px;
  margin-right: 10px;
  color: #152e49;
  padding-top: 10px;
  padding-bottom: 10px;
}

h4.toc-heading {
  border-bottom: #b7c6d4;
  font-size: 1.1em;
  border-bottom-width: 1px;
  border-bottom-style: solid;
  padding-left: 5px;
  margin-top: 20px;
  font-weight: bold;
}

h3.font-bold {
  font-weight: bold;
  font-size: 1.25em;
  padding-top: 15px;
}

pre.table-text {
  background-color: #e6f2f5;
  padding: 10px 2px 2px 2px;
  margin: 2px 0px 0px 1px;
  font-family: sans-serif, 'Lato', 'Noto Sans', 'Helvetica', 'Corbel', 'Helvetica', 'Corbel';
  font-size: 1.2em;
  word-break: break-all;
  overflow-wrap: break-word;
  line-break: anywhere;
}

.test-links a {
  display: block;
  color: #000;
  padding: 8px 16px;
  text-decoration: none;
  cursor: pointer;
}

div.top-link a {
  text-decoration: none;
  cursor: pointer;
  float: right;
  padding-bottom: 20px;
  padding-right: 15px;
}

.toc-divider {
  padding-top: 15px;
  padding-bottom: 15px;
  border-top: solid;
  border-top-color: #e6eaf1;
}

div.nav-links-list {
  overflow: scroll;
  z-index: 1;
}