body {
  padding-top: 20px;
  padding-bottom: 20px;
}

.navbar {
  margin-bottom: 20px;
}

.globaltoc-container span.caption-text {
  font-weight: bold;
}

.globaltoc-container p.caption {
  padding: 10px 10px 0px 10px;
}